Searched refs:ConstrainedPropertyVal (Results 1 – 1 of 1) sorted by relevance
242 struct ConstrainedPropertyVal { struct250 ConstrainedPropertyVal(DefinedOrUnknownSVal SV) in ConstrainedPropertyVal() argument259 bool operator==(const ConstrainedPropertyVal &Lhs, in operator ==()260 const ConstrainedPropertyVal &Rhs) { in operator ==()270 ConstrainedPropertyVal)957 ConstrainedPropertyVal Replacement = PropVal; in evalAssume()1089 const ConstrainedPropertyVal *PrevPropVal = in checkPostObjCMessage()1103 Key, ConstrainedPropertyVal(*ReturnSVal)); in checkPostObjCMessage()