Searched refs:PrevState (Results 1 – 7 of 7) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | LoopWidening.cpp | 29 ProgramStateRef getWidenedLoopState(ProgramStateRef PrevState, in getWidenedLoopState() argument 41 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState() 77 return PrevState->invalidateRegions(Regions, Elem, BlockCount, LCtx, true, in getWidenedLoopState()
|
| H A D | ExprEngine.cpp | 2848 ProgramStateRef PrevState = PredN->getState(); in processBranch() local 2850 ProgramStateRef StTrue = PrevState, StFalse = PrevState; in processBranch() 2866 didEagerlyAssumeBifurcateAt(PrevState, dyn_cast<Expr>(Condition)); in processBranch()
|
| H A D | BugReporterVisitors.cpp | 2840 ProgramStateRef PrevState = N->getFirstPred()->getState(); in VisitTrueTest() local 2858 !BRC.getStateManager().haveEqualConstraints(CurrentState, PrevState) || in VisitTrueTest()
|
| /freebsd/contrib/llvm-project/llvm/lib/Target/X86/AsmParser/ |
| H A D | X86AsmParser.cpp | 441 IntelExprState State = IES_INIT, PrevState = IES_ERROR; member in __anonee973c6c0111::X86AsmParser::IntelExprStateMachine 528 PrevState = CurrState; in onOr() 543 PrevState = CurrState; in onXor() 558 PrevState = CurrState; in onAnd() 573 PrevState = CurrState; in onEq() 588 PrevState = CurrState; in onNE() 603 PrevState = CurrState; in onLT() 618 PrevState = CurrState; in onLE() 633 PrevState = CurrState; in onGT() 648 PrevState = CurrState; in onGE() [all …]
|
| /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/ |
| H A D | X86WinEHState.cpp | 747 int PrevState = getPredState(FinalStates, F, ParentBaseState, BB); in addStateStores() local 749 << " PrevState=" << PrevState << '\n'); in addStateStores() 757 if (State != PrevState) in addStateStores() 759 PrevState = State; in addStateStores() 765 if (EndState->second != PrevState) in addStateStores()
|
| /freebsd/contrib/llvm-project/clang/include/clang/Serialization/ |
| H A D | ASTReader.h | 1392 bool PrevState; variable 1396 : Reader(reader), PrevState(Reader.ProcessingUpdateRecords) { in ProcessingUpdatesRAIIObj() 1403 ~ProcessingUpdatesRAIIObj() { Reader.ProcessingUpdateRecords = PrevState; } in ~ProcessingUpdatesRAIIObj()
|