#include "clang/StaticAnalyzer/Core/PathSensitive/APSIntType.h"#include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
Include dependency graph for SimpleSValBuilder.cpp:
Go to the source code of this file.
Functions | |
| static BinaryOperator::Opcode | NegateComparison (BinaryOperator::Opcode op) |
| static BinaryOperator::Opcode | ReverseComparison (BinaryOperator::Opcode op) |
Function Documentation
| static BinaryOperator::Opcode NegateComparison | ( | BinaryOperator::Opcode | op | ) | [static] |
Definition at line 177 of file SimpleSValBuilder.cpp.
References clang::BO_EQ, clang::BO_GE, clang::BO_GT, clang::BO_LE, clang::BO_LT, and clang::BO_NE.
| static BinaryOperator::Opcode ReverseComparison | ( | BinaryOperator::Opcode | op | ) | [static] |
Definition at line 190 of file SimpleSValBuilder.cpp.
References clang::BO_EQ, clang::BO_GE, clang::BO_GT, clang::BO_LE, clang::BO_LT, and clang::BO_NE.