Home
last modified time | relevance | path

Searched refs:HasMoreIteraton (Results 1 – 2 of 2) sorted by relevance

/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h933 const LocationContext *LC, bool HasMoreIteraton);
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp2653 const LocationContext *LC, bool HasMoreIteraton) { in REGISTER_MAP_WITH_PROGRAMSTATE()
2655 return State->set<ObjCForHasMoreIterations>({O, LC}, HasMoreIteraton); in REGISTER_MAP_WITH_PROGRAMSTATE()
2680 bool HasMoreIteraton = in assumeCondition() local
2687 if (HasMoreIteraton) in assumeCondition()