Home
last modified time | relevance | path

Searched refs:checkInvariantViolation (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DNullabilityChecker.cpp408 static bool checkInvariantViolation(ProgramStateRef State, ExplodedNode *N, in checkInvariantViolation() function
443 if (checkInvariantViolation(OriginalState, N, C)) in reportBugIfInvariantHolds()
471 if (checkInvariantViolation(State, C.getPredecessor(), C)) in checkDeadSymbols()