Searched refs:new_invariant (Results 1 – 2 of 2) sorted by relevance
812 new_invariant = attr.evolve(815 setattr(precondition_wrapper, INVARIANT_MARKER, new_invariant)
3201 bool new_invariant; in verify_expr() local3220 new_invariant = TREE_INVARIANT (t); in verify_expr()3224 if (old_invariant != new_invariant) in verify_expr()