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