Searched refs:OriginalState (Results 1 – 2 of 2) sorted by relevance
477 ProgramStateRef OriginalState = N->getState(); in reportBugIfInvariantHolds() local479 if (checkInvariantViolation(OriginalState, N, C)) in reportBugIfInvariantHolds()482 OriginalState = OriginalState->set<InvariantViolated>(true); in reportBugIfInvariantHolds()483 N = C.addTransition(OriginalState, N); in reportBugIfInvariantHolds()
2025 LineState OriginalState = State; in handleEndOfLine() local2038 LineState StrictState = OriginalState; in handleEndOfLine()2052 breakProtrudingToken(Current, OriginalState, AllowBreak, /*DryRun=*/false, in handleEndOfLine()