Searched refs:OriginalState (Results 1 – 3 of 3) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | NullabilityChecker.cpp | 461 ProgramStateRef OriginalState = N->getState(); in reportBugIfInvariantHolds() local
463 if (checkInvariantViolation(OriginalState, N, C)) in reportBugIfInvariantHolds()
466 OriginalState = OriginalState->set<InvariantViolated>(true); in reportBugIfInvariantHolds()
467 N = C.addTransition(OriginalState, N); in reportBugIfInvariantHolds()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | NullabilityChecker.cpp | 441 ProgramStateRef OriginalState = N->getState(); in reportBugIfInvariantHolds() local
443 if (checkInvariantViolation(OriginalState, N, C)) in reportBugIfInvariantHolds()
446 OriginalState = OriginalState->set<InvariantViolated>(true); in reportBugIfInvariantHolds()
447 N = C.addTransition(OriginalState, N); in reportBugIfInvariantHolds()
|
| /external/llvm-project/clang/lib/Format/ |
| D | ContinuationIndenter.cpp | 1828 LineState OriginalState = State; in handleEndOfLine() local
1841 LineState StrictState = OriginalState; in handleEndOfLine()
1855 breakProtrudingToken(Current, OriginalState, AllowBreak, /*DryRun=*/false, in handleEndOfLine()
|