Searched refs:isConstrainedNonnull (Results 1 – 1 of 1) sorted by relevance
251 bool isConstrainedNonnull; member254 : Value(SV), isConstrainedNonnull(false) {} in ConstrainedPropertyVal()258 ID.AddInteger(isConstrainedNonnull ? 1 : 0); in Profile()265 Lhs.isConstrainedNonnull == Rhs.isConstrainedNonnull; in operator ==()954 if (!PropVal.isConstrainedNonnull) { in evalAssume()958 Replacement.isConstrainedNonnull = true; in evalAssume()1091 if (PrevPropVal && PrevPropVal->isConstrainedNonnull) { in checkPostObjCMessage()