Searched refs:PrevState (Results 1 – 7 of 7) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | LoopWidening.cpp | 45 ProgramStateRef getWidenedLoopState(ProgramStateRef PrevState, in getWidenedLoopState() argument
60 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
94 return PrevState->invalidateRegions(Regions, getLoopCondition(LoopStmt), in getWidenedLoopState()
|
| H A D | ExprEngine.cpp | 2071 ProgramStateRef PrevState = PredI->getState(); in processBranch() local
2072 SVal X = PrevState->getSVal(Condition, PredI->getLocationContext()); in processBranch()
2082 SVal recovered = RecoverCastedSymbol(PrevState, Condition, in processBranch()
2095 builder.generateNode(PrevState, true, PredI); in processBranch()
2096 builder.generateNode(PrevState, false, PredI); in processBranch()
2103 std::tie(StTrue, StFalse) = PrevState->assume(V); in processBranch()
|
| H A D | BugReporterVisitors.cpp | 1830 ProgramStateRef PrevState = N->getFirstPred()->getState(); in VisitNodeImpl() local
1836 PrevState->getGDM().getRoot()) in VisitNodeImpl()
|
| /freebsd-12.1/contrib/llvm/lib/Target/X86/AsmParser/ |
| H A D | X86AsmParser.cpp | 380 PrevState = CurrState; in onOr()
395 PrevState = CurrState; in onXor()
410 PrevState = CurrState; in onAnd()
425 PrevState = CurrState; in onLShift()
440 PrevState = CurrState; in onRShift()
598 PrevState = State; in onIdentifierExpr()
664 PrevState = State; in onStar()
678 PrevState = State; in onDivide()
691 PrevState = State; in onMod()
706 PrevState = State; in onLBrac()
[all …]
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | LoopWidening.h | 29 ProgramStateRef getWidenedLoopState(ProgramStateRef PrevState,
|
| /freebsd-12.1/contrib/llvm/lib/Target/X86/ |
| H A D | X86WinEHState.cpp | 741 int PrevState = getPredState(FinalStates, F, ParentBaseState, BB); in addStateStores() local
743 << " PrevState=" << PrevState << '\n'); in addStateStores()
751 if (State != PrevState) in addStateStores()
753 PrevState = State; in addStateStores()
759 if (EndState->second != PrevState) in addStateStores()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/Serialization/ |
| H A D | ASTReader.h | 1179 bool PrevState; variable
1183 : Reader(reader), PrevState(Reader.ProcessingUpdateRecords) { in ProcessingUpdatesRAIIObj()
1190 ~ProcessingUpdatesRAIIObj() { Reader.ProcessingUpdateRecords = PrevState; } in ~ProcessingUpdatesRAIIObj()
|