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

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

Definition at line 21 of file ConstraintManager.cpp.

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