Searched refs:ConstrainedPropertyVal (Results 1 – 1 of 1) sorted by relevance
245 struct ConstrainedPropertyVal { struct253 ConstrainedPropertyVal(DefinedOrUnknownSVal SV) in ConstrainedPropertyVal() function262 bool operator==(const ConstrainedPropertyVal &Lhs, in operator ==()263 const ConstrainedPropertyVal &Rhs) { in operator ==()273 ConstrainedPropertyVal)957 ConstrainedPropertyVal Replacement = PropVal; in evalAssume()1089 const ConstrainedPropertyVal *PrevPropVal = in checkPostObjCMessage()1103 Key, ConstrainedPropertyVal(*ReturnSVal)); in checkPostObjCMessage()