Searched refs:checkInvariantViolation (Results 1 – 1 of 1) sorted by relevance
429 static bool checkInvariantViolation(ProgramStateRef State, ExplodedNode *N, in checkInvariantViolation() function463 if (checkInvariantViolation(OriginalState, N, C)) in reportBugIfInvariantHolds()494 if (checkInvariantViolation(State, C.getPredecessor(), C)) in checkDeadSymbols()