Home | History | Annotate | Download | only in cp

Lines Matching defs:sat_info

129 struct sat_info : subst_info
131   sat_info (tsubst_flags_t cmp, tree in, bool diag_unsat = false)
149 static tree constraint_satisfaction_value (tree, tree, sat_info);
1923 tsubst_valid_expression_requirement (tree t, tree args, sat_info info)
1956 tsubst_simple_requirement (tree t, tree args, sat_info info)
1969 tsubst_type_requirement_1 (tree t, tree args, sat_info info, location_t loc)
1996 tsubst_type_requirement (tree t, tree args, sat_info info)
2048 tsubst_compound_requirement (tree t, tree args, sat_info info)
2122 tsubst_nested_requirement (tree t, tree args, sat_info info)
2124   sat_info quiet (tf_none, info.in_decl);
2150 tsubst_requirement (tree t, tree args, sat_info info)
2252 tsubst_requires_expr (tree t, tree args, sat_info info)
2305   sat_info info (complain, in_decl);
2546   satisfaction_cache (tree, tree, sat_info);
2551   sat_info info;
2559 ::satisfaction_cache (tree atom, tree args, sat_info info)
2718 static tree satisfy_constraint_r (tree, tree, sat_info info);
2723 sat_info info)
2777 satisfy_disjunction (tree t, tree args, sat_info info)
2780   sat_info sub = info;
2907 static void diagnose_atomic_constraint (tree, tree, tree, sat_info);
2912 satisfy_atom (tree t, tree args, sat_info info)
3016 satisfy_constraint_r (tree t, tree args, sat_info info)
3037 satisfy_normalized_constraints (tree t, tree args, sat_info info)
3092 satisfy_nondeclaration_constraints (tree t, tree args, sat_info info)
3142 satisfy_declaration_constraints (tree t, sat_info info)
3239 satisfy_declaration_constraints (tree t, tree args, sat_info info)
3289 constraint_satisfaction_value (tree t, tree args, sat_info info)
3305       sat_info noisy (tf_warning_or_error, info.in_decl);
3331   sat_info quiet (tf_none, NULL_TREE);
3347   sat_info quiet (tf_none, NULL_TREE);
3359   sat_info quiet (tf_none, NULL_TREE);
3721 sat_info info)
3817   sat_info noisy (tf_warning_or_error, NULL_TREE, /*diag_unsat=*/true);