Searched refs:Constr (Results 1 – 2 of 2) sorted by relevance
80 std::optional<DefinedOrUnknownSVal> Constr = in checkLocation() local83 if (Constr) { in checkLocation()86 ProgramStateRef OutputState = State->assume(*Constr, true); in checkLocation()
590 for (const auto &Constr : Template.getConstraints()) { in serializeTemplateMixin() local592 Constraint["kind"] = Constr.Kind; in serializeTemplateMixin()593 Constraint["lhs"] = Constr.LHS; in serializeTemplateMixin()594 Constraint["rhs"] = Constr.RHS; in serializeTemplateMixin()