Searched refs:FoldedState (Results 1 – 1 of 1) sorted by relevance
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BitwiseShiftChecker.cpp | 55 ProgramStateRef FoldedState; member in __anon760d32cd0111::BitwiseShiftValidator
69 : Ctx(C), FoldedState(C.getState()), Op(O), BT(B), PedanticFlag(P) {} in BitwiseShiftValidator()
130 Ctx.addTransition(FoldedState, createNoteTag()); in run()
147 auto ResultVal = SVB.evalBinOp(FoldedState, Comparison, OperandVal, LimitVal, in assumeRequirement()
150 auto [StTrue, StFalse] = FoldedState->assume(DURes.value()); in assumeRequirement()
153 FoldedState = StFalse; in assumeRequirement()
157 FoldedState = StTrue; in assumeRequirement()
180 if (const llvm::APSInt *MinRight = SVB.getMinValue(FoldedState, Right)) { in checkOvershift()
|