Searched refs:FoldedState (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BitwiseShiftChecker.cpp | 53 ProgramStateRef FoldedState; member in __anon1c4322b80111::BitwiseShiftValidator
67 : Ctx(C), FoldedState(C.getState()), Op(O), BT(B), PedanticFlag(P) {} in BitwiseShiftValidator()
128 Ctx.addTransition(FoldedState, createNoteTag()); in run()
145 auto ResultVal = SVB.evalBinOp(FoldedState, Comparison, OperandVal, LimitVal, in assumeRequirement()
148 auto [StTrue, StFalse] = FoldedState->assume(DURes.value()); in assumeRequirement()
151 FoldedState = StFalse; in assumeRequirement()
155 FoldedState = StTrue; in assumeRequirement()
178 if (const llvm::APSInt *MinRight = SVB.getMinValue(FoldedState, Right); in checkOvershift()
|