Searched refs:OriginalState (Results 1 – 2 of 2) sorted by relevance
441 ProgramStateRef OriginalState = N->getState(); in reportBugIfInvariantHolds() local443 if (checkInvariantViolation(OriginalState, N, C)) in reportBugIfInvariantHolds()446 OriginalState = OriginalState->set<InvariantViolated>(true); in reportBugIfInvariantHolds()447 N = C.addTransition(OriginalState, N); in reportBugIfInvariantHolds()
1828 LineState OriginalState = State; in handleEndOfLine() local1841 LineState StrictState = OriginalState; in handleEndOfLine()1855 breakProtrudingToken(Current, OriginalState, AllowBreak, /*DryRun=*/false, in handleEndOfLine()