Searched refs:OriginalState (Results 1 – 2 of 2) sorted by relevance
439 ProgramStateRef OriginalState = N->getState(); in reportBugIfInvariantHolds() local441 if (checkInvariantViolation(OriginalState, N, C)) in reportBugIfInvariantHolds()444 OriginalState = OriginalState->set<InvariantViolated>(true); in reportBugIfInvariantHolds()445 N = C.addTransition(OriginalState, N); in reportBugIfInvariantHolds()
1636 LineState OriginalState = State; in handleEndOfLine() local1649 LineState StrictState = OriginalState; in handleEndOfLine()1663 breakProtrudingToken(Current, OriginalState, AllowBreak, /*DryRun=*/false, in handleEndOfLine()