clang  6.0.0svn
Functions
ConstraintManager.cpp File Reference
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
Include dependency graph for ConstraintManager.cpp:

Go to the source code of this file.

Functions

static DefinedSVal getLocFromSymbol (const ProgramStateRef &State, SymbolRef Sym)
 

Function Documentation

◆ getLocFromSymbol()

static DefinedSVal getLocFromSymbol ( const ProgramStateRef State,
SymbolRef  Sym 
)
static

Definition at line 21 of file ConstraintManager.cpp.

Referenced by clang::ento::ConstraintManager::checkNull().