Searched refs:StateZero (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DivZeroChecker.cpp | 29 void reportBug(StringRef Msg, ProgramStateRef StateZero,
31 void reportTaintBug(StringRef Msg, ProgramStateRef StateZero,
55 void DivZeroChecker::reportBug(StringRef Msg, ProgramStateRef StateZero, in reportBug() argument
59 if (ExplodedNode *N = C.generateErrorNode(StateZero)) { in reportBug()
68 StringRef Msg, ProgramStateRef StateZero, CheckerContext &C, in reportTaintBug() argument
72 if (ExplodedNode *N = C.generateErrorNode(StateZero)) { in reportTaintBug()
|
| H A D | VLASizeChecker.cpp | 168 ProgramStateRef StateNotZero, StateZero; in checkVLAIndexSize() local
169 std::tie(StateNotZero, StateZero) = State->assume(SizeD); in checkVLAIndexSize()
171 if (StateZero && !StateNotZero) { in checkVLAIndexSize()
172 reportBug(VLA_Zero, SizeE, StateZero, C); in checkVLAIndexSize()
201 if ((StateNeg || StateZero) && isTainted(State, SizeV)) { in checkVLAIndexSize()
|