Home
last modified time | relevance | path

Searched refs:CreateRangeConstraintManager (Results 1 – 3 of 3) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DConstraintManager.h181 CreateRangeConstraintManager(ProgramStateManager &statemgr,
/external/clang/include/clang/StaticAnalyzer/Core/
DAnalyses.def24 …traints, "range", "Use constraint tracking of concrete value ranges", CreateRangeConstraintManager)
/external/clang/lib/StaticAnalyzer/Core/
DRangeConstraintManager.cpp363 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { in CreateRangeConstraintManager() function in ento