gcc/cp/pt.c

7640 coerce_template_args_for_ttp (tree templ, tree arglist,
7679     arglist = add_to_template_args (outer, arglist);
7682   return coerce_template_parms (parmlist, arglist, templ,
9514 lookup_template_function (tree fns, tree arglist)
9516   if (fns == error_mark_node || arglist == error_mark_node)
9519   gcc_assert (!arglist || TREE_CODE (arglist) == TREE_VEC);
9532 					 arglist);
9536   return build2 (TEMPLATE_ID_EXPR, unknown_type_node, fns, arglist);
9610 lookup_template_class_1 (tree d1, tree arglist, tree in_decl, tree context,
9699   if (pack_expansion_args_count (INNERMOST_TEMPLATE_ARGS (arglist)))
9705       tree arglist2 = coerce_template_args_for_ttp (templ, arglist, complain);
9734       arg_depth = TMPL_ARGS_DEPTH (arglist);
9751 	  arglist = add_outermost_template_args (TI_ARGS (ti), arglist);
9752 	  arg_depth = TMPL_ARGS_DEPTH (arglist);
9764       arglist = coerce_innermost_template_parms (parmlist, arglist, gen_tmpl,
9769       if (arglist == error_mark_node)
9787 	  if (tinfo && comp_template_args (TI_ARGS (tinfo), arglist))
9793       elt.args = arglist;
9809 	  && !constraints_satisfied_p (gen_tmpl, arglist))
9815               diagnose_constraints (input_location, gen_tmpl, arglist);
9820       is_dependent_type = uses_template_parms (arglist);
9826 				      INNERMOST_TEMPLATE_ARGS (arglist),
9844 	  context = tsubst_aggr_type (context, arglist, complain, in_decl, true);
9848 	context = tsubst (context, arglist, complain, in_decl);
9870 	  t = tsubst (TREE_TYPE (gen_tmpl), arglist, complain, in_decl);
9888 				      arglist, complain, in_decl),
9890 						 arglist, complain, in_decl),
9926 	  if (comp_template_args (CLASSTYPE_TI_ARGS (template_type), arglist))
9931 	  else if (any_template_arguments_need_structural_equality_p (arglist))
10028 	  && TMPL_ARGS_HAVE_MULTIPLE_LEVELS (arglist)
10033 	  TREE_VEC_LENGTH (arglist)--;
10038 		    arglist, complain, NULL_TREE);
10040 	  TREE_VEC_LENGTH (arglist)++;
10046 	    !comp_template_args (INNERMOST_TEMPLATE_ARGS (arglist),
10060 	  TREE_VEC_LENGTH (arglist)--;
10071 	  found = tsubst (gen_tmpl, arglist, tf_none, NULL_TREE);
10072 	  TREE_VEC_LENGTH (arglist)++;
10091 	      elt.args = arglist = INNERMOST_TEMPLATE_ARGS (arglist);
10097       SET_TYPE_TEMPLATE_INFO (t, build_template_info (found, arglist));
10109 	= tree_cons (arglist, t,
10121 	tsubst_enum (template_type, t, arglist);
10141 lookup_template_class (tree d1, tree arglist, tree in_decl, tree context,
10146   ret = lookup_template_class_1 (d1, arglist, in_decl, context,
10155 lookup_template_variable (tree templ, tree arglist)
10158     return build_concept_check (templ, arglist, tf_none);
10162   return build2 (TEMPLATE_ID_EXPR, NULL_TREE, templ, arglist);
10171   tree arglist = TREE_OPERAND (var, 1);
10174   arglist = add_outermost_template_args (tmpl_args, arglist);
10178   arglist = coerce_innermost_template_parms (parms, arglist, templ, complain,
10182   if (flag_concepts && !constraints_satisfied_p (templ, arglist))
10188 	  diagnose_constraints (location_of (var), templ, arglist);
10193   return instantiate_template (templ, arglist, complain);
10912       tree template_id, arglist, fns;
10925       arglist = tsubst (DECL_TI_ARGS (decl), args,
10927       template_id = lookup_template_function (fns, arglist);