class OperatorRelationsTable
Declaration
class OperatorRelationsTable { /* full declaration omitted */ };
Declared at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:35
Member Variables
- private const OperatorRelationsTable::TriStateKind[6][7] CmpOpTable = {{True, False, Unknown, False, False, Unknown, True}, {False, True, False, Unknown, False, Unknown, True}, {True, False, True, Unknown, True, Unknown, False}, {False, True, Unknown, True, True, Unknown, False}, {False, False, Unknown, Unknown, True, False, True}, {True, True, Unknown, Unknown, False, True, False}}
- private static const size_t CmpOpCount = BO_NE - BO_LT + 1
Method Overview
- public constexpr size_t getCmpOpCount() const
- public OperatorRelationsTable::TriStateKind getCmpOpState(clang::BinaryOperatorKind CurrentOP, clang::BinaryOperatorKind QueriedOP) const
- public OperatorRelationsTable::TriStateKind getCmpOpStateForUnknownX2(clang::BinaryOperatorKind CurrentOP) const
- private static size_t getIndexFromOp(clang::BinaryOperatorKind OP)
- public static clang::BinaryOperatorKind getOpFromIndex(size_t Index)
Methods
¶constexpr size_t getCmpOpCount() const
constexpr size_t getCmpOpCount() const
Declared at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:91
¶OperatorRelationsTable::TriStateKind
getCmpOpState(
clang::BinaryOperatorKind CurrentOP,
clang::BinaryOperatorKind QueriedOP) const
OperatorRelationsTable::TriStateKind
getCmpOpState(
clang::BinaryOperatorKind CurrentOP,
clang::BinaryOperatorKind QueriedOP) const
Declared at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:97
Parameters
- clang::BinaryOperatorKind CurrentOP
- clang::BinaryOperatorKind QueriedOP
¶OperatorRelationsTable::TriStateKind
getCmpOpStateForUnknownX2(
clang::BinaryOperatorKind CurrentOP) const
OperatorRelationsTable::TriStateKind
getCmpOpStateForUnknownX2(
clang::BinaryOperatorKind CurrentOP) const
Declared at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:102
Parameters
- clang::BinaryOperatorKind CurrentOP
¶static size_t getIndexFromOp(
clang::BinaryOperatorKind OP)
static size_t getIndexFromOp(
clang::BinaryOperatorKind OP)
Declared at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:86
Parameters
- clang::BinaryOperatorKind OP
¶static clang::BinaryOperatorKind getOpFromIndex(
size_t Index)
static clang::BinaryOperatorKind getOpFromIndex(
size_t Index)
Declared at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:93
Parameters
- size_t Index