Searched refs:OriginalState (Results 1 – 2 of 2) sorted by relevance
482 ProgramStateRef OriginalState = N->getState(); in reportBugIfInvariantHolds() local484 if (checkInvariantViolation(OriginalState, N, C)) in reportBugIfInvariantHolds()487 OriginalState = OriginalState->set<InvariantViolated>(true); in reportBugIfInvariantHolds()488 N = C.addTransition(OriginalState, N); in reportBugIfInvariantHolds()
2357 LineState OriginalState = State; in handleEndOfLine() local2370 LineState StrictState = OriginalState; in handleEndOfLine()2384 breakProtrudingToken(Current, OriginalState, AllowBreak, /*DryRun=*/false, in handleEndOfLine()