Searched refs:StateZero (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DivZeroChecker.cpp | 31 void reportBug(StringRef Msg, ProgramStateRef StateZero,
33 void reportTaintBug(StringRef Msg, ProgramStateRef StateZero,
49 void DivZeroChecker::reportBug(StringRef Msg, ProgramStateRef StateZero, in reportBug() argument
51 if (ExplodedNode *N = C.generateErrorNode(StateZero)) { in reportBug()
59 StringRef Msg, ProgramStateRef StateZero, CheckerContext &C, in reportTaintBug() argument
61 if (ExplodedNode *N = C.generateErrorNode(StateZero)) { in reportTaintBug()
|
| H A D | VLASizeChecker.cpp | 176 ProgramStateRef StateNotZero, StateZero; in checkVLAIndexSize() local
177 std::tie(StateNotZero, StateZero) = State->assume(SizeD); in checkVLAIndexSize()
179 if (StateZero && !StateNotZero) { in checkVLAIndexSize()
180 reportBug(VLA_Zero, SizeE, StateZero, C); in checkVLAIndexSize()
|