Searched refs:OriginalState (Results 1 – 2 of 2) sorted by relevance
485 ProgramStateRef OriginalState = N->getState(); in reportBugIfInvariantHolds() local487 if (checkInvariantViolation(OriginalState, N, C)) in reportBugIfInvariantHolds()490 OriginalState = OriginalState->set<InvariantViolated>(true); in reportBugIfInvariantHolds()491 N = C.addTransition(OriginalState, N); in reportBugIfInvariantHolds()
2239 LineState OriginalState = State; in handleEndOfLine() local2252 LineState StrictState = OriginalState; in handleEndOfLine()2266 breakProtrudingToken(Current, OriginalState, AllowBreak, /*DryRun=*/false, in handleEndOfLine()