Searched refs:Constr (Results 1 – 2 of 2) sorted by relevance
81 std::optional<DefinedOrUnknownSVal> Constr = in checkLocation() local84 if (Constr) { in checkLocation()87 ProgramStateRef OutputState = State->assume(*Constr, true); in checkLocation()
570 for (const auto &Constr : Template.getConstraints()) { in serializeTemplateMixin() local572 Constraint["kind"] = Constr.Kind; in serializeTemplateMixin()573 Constraint["lhs"] = Constr.LHS; in serializeTemplateMixin()574 Constraint["rhs"] = Constr.RHS; in serializeTemplateMixin()