Searched refs:StateZero (Results 1 – 2 of 2) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DivZeroChecker.cpp | 28 void reportBug(const char *Msg, ProgramStateRef StateZero, CheckerContext &C,
44 const char *Msg, ProgramStateRef StateZero, CheckerContext &C, in reportBug() argument
46 if (ExplodedNode *N = C.generateErrorNode(StateZero)) { in reportBug()
|
| H A D | VLASizeChecker.cpp | 177 ProgramStateRef StateNotZero, StateZero; in checkVLAIndexSize() local
178 std::tie(StateNotZero, StateZero) = State->assume(SizeD); in checkVLAIndexSize()
180 if (StateZero && !StateNotZero) { in checkVLAIndexSize()
181 reportBug(VLA_Zero, SizeE, StateZero, C); in checkVLAIndexSize()
|