Searched refs:PrevState (Results 1 – 7 of 7) sorted by relevance
| /openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | LoopWidening.cpp | 44 ProgramStateRef getWidenedLoopState(ProgramStateRef PrevState, in getWidenedLoopState() argument
58 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
94 return PrevState->invalidateRegions(Regions, getLoopCondition(LoopStmt), in getWidenedLoopState()
|
| H A D | ExprEngine.cpp | 2763 ProgramStateRef PrevState = PredN->getState(); in processBranch() local
2770 builder.generateNode(PrevState, true, PredN); in processBranch()
2771 builder.generateNode(PrevState, false, PredN); in processBranch()
|
| H A D | BugReporterVisitors.cpp | 2861 ProgramStateRef PrevState = N->getFirstPred()->getState(); in VisitTrueTest() local
2869 !BRC.getStateManager().haveEqualConstraints(CurrentState, PrevState) || in VisitTrueTest()
|
| /openbsd/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | LoopWidening.h | 28 ProgramStateRef getWidenedLoopState(ProgramStateRef PrevState,
|
| /openbsd/gnu/llvm/llvm/lib/Target/X86/AsmParser/ |
| H A D | X86AsmParser.cpp | 508 PrevState = CurrState; in onOr()
523 PrevState = CurrState; in onXor()
538 PrevState = CurrState; in onAnd()
825 PrevState = State; in onIdentifierExpr()
895 PrevState = State; in onStar()
909 PrevState = State; in onDivide()
922 PrevState = State; in onMod()
937 PrevState = State; in onLBrac()
1025 PrevState = State; in onRParen()
1043 PrevState = State; in onOffset()
[all …]
|
| /openbsd/gnu/llvm/llvm/lib/Target/X86/ |
| H A D | X86WinEHState.cpp | 730 int PrevState = getPredState(FinalStates, F, ParentBaseState, BB); in addStateStores() local
732 << " PrevState=" << PrevState << '\n'); in addStateStores()
740 if (State != PrevState) in addStateStores()
742 PrevState = State; in addStateStores()
748 if (EndState->second != PrevState) in addStateStores()
|
| /openbsd/gnu/llvm/clang/include/clang/Serialization/ |
| H A D | ASTReader.h | 1249 bool PrevState; variable
1253 : Reader(reader), PrevState(Reader.ProcessingUpdateRecords) { in ProcessingUpdatesRAIIObj()
1260 ~ProcessingUpdatesRAIIObj() { Reader.ProcessingUpdateRecords = PrevState; } in ~ProcessingUpdatesRAIIObj()
|