clang
9.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/Basic/Builtins.h"
#include "clang/Lex/Lexer.h"
Go to the source code of this file.
Functions | |
static bool | evalComparison (SVal LHSVal, BinaryOperatorKind ComparisonOp, SVal RHSVal, ProgramStateRef State) |
Evaluate comparison and return true if it's known that condition is true. More... | |
|
static |
Evaluate comparison and return true if it's known that condition is true.
Definition at line 101 of file CheckerContext.cpp.
Referenced by clang::ento::CheckerContext::isGreaterOrEqual(), and clang::ento::CheckerContext::isNegative().