TautologicalCompare.h file
Checks for comparisons that always evaluate to the same result.
Namespaces
- namespace slang
- Root namespace.
- namespace slang::ast
- The SystemVerilog AST.
- namespace slang::analysis
- Post-elaboration analysis framework.
Classes
- class slang::analysis::TautologicalCompare
- Lint checks for comparisons (and logical combinations of comparisons) whose result can be determined without knowing the runtime values involved, which almost always indicates a bug.