Searched refs:PrevState (Results 1 – 7 of 7) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | LoopWidening.cpp | 46 ProgramStateRef getWidenedLoopState(ProgramStateRef PrevState, in getWidenedLoopState() argument
60 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
96 return PrevState->invalidateRegions(Regions, getLoopCondition(LoopStmt), in getWidenedLoopState()
|
| H A D | ExprEngine.cpp | 2782 ProgramStateRef PrevState = PredN->getState(); in processBranch() local
2789 builder.generateNode(PrevState, true, PredN); in processBranch()
2790 builder.generateNode(PrevState, false, PredN); in processBranch()
|
| H A D | BugReporterVisitors.cpp | 2879 ProgramStateRef PrevState = N->getFirstPred()->getState(); in VisitTrueTest() local
2887 !BRC.getStateManager().haveEqualConstraints(CurrentState, PrevState) || in VisitTrueTest()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | LoopWidening.h | 28 ProgramStateRef getWidenedLoopState(ProgramStateRef PrevState,
|
| /freebsd/contrib/llvm-project/llvm/lib/Target/X86/AsmParser/ |
| H A D | X86AsmParser.cpp | 514 PrevState = CurrState; in onOr()
529 PrevState = CurrState; in onXor()
544 PrevState = CurrState; in onAnd()
831 PrevState = State; in onIdentifierExpr()
901 PrevState = State; in onStar()
915 PrevState = State; in onDivide()
928 PrevState = State; in onMod()
943 PrevState = State; in onLBrac()
1032 PrevState = State; in onRParen()
1050 PrevState = State; in onOffset()
[all …]
|
| /freebsd/contrib/llvm-project/llvm/lib/Target/X86/ |
| H A D | X86WinEHState.cpp | 726 int PrevState = getPredState(FinalStates, F, ParentBaseState, BB); in addStateStores() local
728 << " PrevState=" << PrevState << '\n'); in addStateStores()
736 if (State != PrevState) in addStateStores()
738 PrevState = State; in addStateStores()
744 if (EndState->second != PrevState) in addStateStores()
|
| /freebsd/contrib/llvm-project/clang/include/clang/Serialization/ |
| H A D | ASTReader.h | 1273 bool PrevState; variable
1277 : Reader(reader), PrevState(Reader.ProcessingUpdateRecords) { in ProcessingUpdatesRAIIObj()
1284 ~ProcessingUpdatesRAIIObj() { Reader.ProcessingUpdateRecords = PrevState; } in ~ProcessingUpdatesRAIIObj()
|