Searched refs:NegatedConstraint (Results 1 – 1 of 1) sorted by relevance
1322 ValueConstraintPtr NegatedConstraint = Constraint->negate(); in checkPreCall() local1325 NegatedConstraint->apply(NewState, Call, Summary, C); in checkPreCall()1329 reportBug(Call, N, Constraint.get(), NegatedConstraint.get(), Summary, in checkPreCall()