#include "SimpleConstraintManager.h"#include "clang/StaticAnalyzer/Core/PathSensitive/APSIntType.h"#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
Include dependency graph for SimpleConstraintManager.cpp:
Go to the source code of this file.
Namespaces | |
| namespace | clang |
| namespace | clang::ento |
Functions | |
| static void | clang::ento::computeAdjustment (SymbolRef &Sym, llvm::APSInt &Adjustment) |