Searched refs:PrevState (Results 1 – 7 of 7) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| HD | LoopWidening.cpp | 44 ProgramStateRef getWidenedLoopState(ProgramStateRef PrevState, in getWidenedLoopState() argument 59 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState() 93 return PrevState->invalidateRegions(Regions, getLoopCondition(LoopStmt), in getWidenedLoopState()
|
| HD | ExprEngine.cpp | 2140 ProgramStateRef PrevState = PredI->getState(); in processBranch() local 2141 SVal X = PrevState->getSVal(Condition, PredI->getLocationContext()); in processBranch() 2151 SVal recovered = RecoverCastedSymbol(PrevState, Condition, in processBranch() 2164 builder.generateNode(PrevState, true, PredI); in processBranch() 2165 builder.generateNode(PrevState, false, PredI); in processBranch() 2172 std::tie(StTrue, StFalse) = PrevState->assume(V); in processBranch()
|
| HD | BugReporterVisitors.cpp | 2254 ProgramStateRef PrevState = N->getFirstPred()->getState(); in VisitTrueTest() local 2262 !BRC.getStateManager().haveEqualConstraints(CurrentState, PrevState) || in VisitTrueTest()
|
| /freebsd-11-stable/contrib/llvm-project/llvm/lib/Target/X86/AsmParser/ |
| HD | X86AsmParser.cpp | 344 IntelExprState State, PrevState; member in __anon0bf27a230111::X86AsmParser::IntelExprStateMachine 368 : State(IES_INIT), PrevState(IES_ERROR), BaseReg(0), IndexReg(0), in IntelExprStateMachine() 402 PrevState = CurrState; in onOr() 417 PrevState = CurrState; in onXor() 432 PrevState = CurrState; in onAnd() 447 PrevState = CurrState; in onLShift() 462 PrevState = CurrState; in onRShift() 476 if (CurrState == IES_REGISTER && PrevState != IES_MULTIPLY) { in onPlus() 492 PrevState = CurrState; in onPlus() 525 else if (PrevState == IES_REGISTER && CurrState == IES_MULTIPLY) { in onMinus() [all …]
|
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| HD | LoopWidening.h | 28 ProgramStateRef getWidenedLoopState(ProgramStateRef PrevState,
|
| /freebsd-11-stable/contrib/llvm-project/llvm/lib/Target/X86/ |
| HD | X86WinEHState.cpp | 737 int PrevState = getPredState(FinalStates, F, ParentBaseState, BB); in addStateStores() local 739 << " PrevState=" << PrevState << '\n'); in addStateStores() 747 if (State != PrevState) in addStateStores() 749 PrevState = State; in addStateStores() 755 if (EndState->second != PrevState) in addStateStores()
|
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/Serialization/ |
| HD | ASTReader.h | 1171 bool PrevState; variable 1175 : Reader(reader), PrevState(Reader.ProcessingUpdateRecords) { in ProcessingUpdatesRAIIObj() 1182 ~ProcessingUpdatesRAIIObj() { Reader.ProcessingUpdateRecords = PrevState; } in ~ProcessingUpdatesRAIIObj()
|