Home
last modified time | relevance | path

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

/openbsd/src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DExprEngine.h971 static ProgramStateRef removePendingInitLoop(ProgramStateRef State,
/openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
DExprEngineCallAndReturn.cpp234 State = removePendingInitLoop(State, E, LCtx); in removeStateTraitsUsedForArrayEvaluation()
DExprEngine.cpp487 ProgramStateRef ExprEngine::removePendingInitLoop(ProgramStateRef State, in removePendingInitLoop() function in ExprEngine