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()
610 for (const auto &Constr : Template.getConstraints()) { in serializeTemplateMixinImpl() local612 Constraint["kind"] = Constr.Kind; in serializeTemplateMixinImpl()613 Constraint["lhs"] = Constr.LHS; in serializeTemplateMixinImpl()614 Constraint["rhs"] = Constr.RHS; in serializeTemplateMixinImpl()