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

Declared at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:91

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

Declared at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:102

Parameters

clang::BinaryOperatorKind CurrentOP

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)

Declared at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:93

Parameters

size_t Index