ConstraintManager.cpp File Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h"
#include "clang/AST/Type.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState_Fwd.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
#include "llvm/ADT/ScopeExit.h"

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 26 of file ConstraintManager.cpp.

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