clang
6.0.0
|
Go to the source code of this file.
Functions | |
static DefinedSVal | getLocFromSymbol (const ProgramStateRef &State, SymbolRef Sym) |
|
static |
Definition at line 21 of file ConstraintManager.cpp.
Referenced by clang::ento::ConstraintManager::checkNull().