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