Searched refs:NewViol (Results 1 – 1 of 1) sorted by relevance
393 void checkAddViolation(bool Inferring, const Violation &NewViol) { in checkAddViolation() argument395 ViolationsForExplicitEffects.push_back(NewViol); in checkAddViolation()397 InferrableEffectToFirstViolation.maybeInsert(NewViol); in checkAddViolation()