LCOV - code coverage report
Current view: top level - gcc/cp - constraint.cc (source / functions) Hit Total Coverage
Test: gcc.info Lines: 1277 1406 90.8 %
Date: 2020-03-28 11:57:23 Functions: 138 149 92.6 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 0 0 -

           Branch data     Line data    Source code
       1                 :            : /* Processing rules for constraints.
       2                 :            :    Copyright (C) 2013-2020 Free Software Foundation, Inc.
       3                 :            :    Contributed by Andrew Sutton (andrew.n.sutton@gmail.com)
       4                 :            : 
       5                 :            : This file is part of GCC.
       6                 :            : 
       7                 :            : GCC is free software; you can redistribute it and/or modify
       8                 :            : it under the terms of the GNU General Public License as published by
       9                 :            : the Free Software Foundation; either version 3, or (at your option)
      10                 :            : any later version.
      11                 :            : 
      12                 :            : GCC is distributed in the hope that it will be useful,
      13                 :            : but WITHOUT ANY WARRANTY; without even the implied warranty of
      14                 :            : MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
      15                 :            : GNU General Public License for more details.
      16                 :            : 
      17                 :            : You should have received a copy of the GNU General Public License
      18                 :            : along with GCC; see the file COPYING3.  If not see
      19                 :            : <http://www.gnu.org/licenses/>.  */
      20                 :            : 
      21                 :            : #include "config.h"
      22                 :            : #include "system.h"
      23                 :            : #include "coretypes.h"
      24                 :            : #include "tm.h"
      25                 :            : #include "timevar.h"
      26                 :            : #include "hash-set.h"
      27                 :            : #include "machmode.h"
      28                 :            : #include "vec.h"
      29                 :            : #include "double-int.h"
      30                 :            : #include "input.h"
      31                 :            : #include "alias.h"
      32                 :            : #include "symtab.h"
      33                 :            : #include "wide-int.h"
      34                 :            : #include "inchash.h"
      35                 :            : #include "tree.h"
      36                 :            : #include "stringpool.h"
      37                 :            : #include "attribs.h"
      38                 :            : #include "intl.h"
      39                 :            : #include "flags.h"
      40                 :            : #include "cp-tree.h"
      41                 :            : #include "c-family/c-common.h"
      42                 :            : #include "c-family/c-objc.h"
      43                 :            : #include "cp-objcp-common.h"
      44                 :            : #include "tree-inline.h"
      45                 :            : #include "decl.h"
      46                 :            : #include "toplev.h"
      47                 :            : #include "type-utils.h"
      48                 :            : 
      49                 :            : static tree satisfaction_value (tree t);
      50                 :            : 
      51                 :            : /* When we're parsing or substuting a constraint expression, we have slightly
      52                 :            :    different expression semantics.  In particular, we don't want to reduce a
      53                 :            :    concept-id to a satisfaction value.  */
      54                 :            : 
      55                 :    9223100 : processing_constraint_expression_sentinel::
      56                 :            : processing_constraint_expression_sentinel ()
      57                 :            : {
      58                 :    9223100 :   ++scope_chain->x_processing_constraint;
      59                 :    9223100 : }
      60                 :            : 
      61                 :    9223100 : processing_constraint_expression_sentinel::
      62                 :            : ~processing_constraint_expression_sentinel ()
      63                 :            : {
      64                 :    9223100 :   --scope_chain->x_processing_constraint;
      65                 :    9223100 : }
      66                 :            : 
      67                 :            : bool
      68                 :   13242400 : processing_constraint_expression_p ()
      69                 :            : {
      70                 :   13242400 :   return scope_chain->x_processing_constraint != 0;
      71                 :            : }
      72                 :            : 
      73                 :            : /*---------------------------------------------------------------------------
      74                 :            :                        Constraint expressions
      75                 :            : ---------------------------------------------------------------------------*/
      76                 :            : 
      77                 :            : /* Information provided to substitution.  */
      78                 :            : 
      79                 :            : struct subst_info
      80                 :            : {
      81                 :   37504700 :   subst_info (tsubst_flags_t cmp, tree in)
      82                 :   37504700 :     : complain (cmp), in_decl (in)
      83                 :            :   { }
      84                 :            : 
      85                 :            :   /* True if we should not diagnose errors.  */
      86                 :   47584600 :   bool quiet() const
      87                 :            :   {
      88                 :   47584600 :     return complain == tf_none;
      89                 :            :   }
      90                 :            : 
      91                 :            :   /* True if we should diagnose errors.  */
      92                 :   26524400 :   bool noisy() const
      93                 :            :   {
      94                 :   26524400 :     return !quiet ();
      95                 :            :   }
      96                 :            : 
      97                 :            :   tsubst_flags_t complain;
      98                 :            :   tree in_decl;
      99                 :            : };
     100                 :            : 
     101                 :            : static tree satisfy_constraint (tree, tree, subst_info);
     102                 :            : 
     103                 :            : /* True if T is known to be some type other than bool. Note that this
     104                 :            :    is false for dependent types and errors.  */
     105                 :            : 
     106                 :            : static inline bool
     107                 :     531043 : known_non_bool_p (tree t)
     108                 :            : {
     109                 :     503177 :   return (t && !WILDCARD_TYPE_P (t) && TREE_CODE (t) != BOOLEAN_TYPE);
     110                 :            : }
     111                 :            : 
     112                 :            : static bool
     113                 :     531043 : check_constraint_atom (cp_expr expr)
     114                 :            : {
     115                 :     531043 :   if (known_non_bool_p (TREE_TYPE (expr)))
     116                 :            :     {
     117                 :          3 :       error_at (expr.get_location (),
     118                 :            :                 "constraint expression does not have type %<bool%>");
     119                 :          3 :       return false;
     120                 :            :     }
     121                 :            : 
     122                 :            :   /* Check that we're using function concepts correctly.  */
     123                 :     531040 :   if (concept_check_p (expr))
     124                 :            :     {
     125                 :     376504 :       tree id = unpack_concept_check (expr);
     126                 :     376504 :       tree tmpl = TREE_OPERAND (id, 0);
     127                 :     376504 :       if (OVL_P (tmpl) && TREE_CODE (expr) == TEMPLATE_ID_EXPR)
     128                 :            :         {
     129                 :          0 :           error_at (EXPR_LOC_OR_LOC (expr, input_location),
     130                 :            :                     "function concept must be called");
     131                 :          0 :           return false;
     132                 :            :         }
     133                 :            :     }
     134                 :            : 
     135                 :            :   return true;
     136                 :            : }
     137                 :            : 
     138                 :            : static bool
     139                 :     163758 : check_constraint_operands (location_t, cp_expr lhs, cp_expr rhs)
     140                 :            : {
     141                 :     163758 :   return check_constraint_atom (lhs) && check_constraint_atom (rhs);
     142                 :            : }
     143                 :            : 
     144                 :            : /* Validate the semantic properties of the constraint expression.  */
     145                 :            : 
     146                 :            : static cp_expr
     147                 :     163758 : finish_constraint_binary_op (location_t loc,
     148                 :            :                              tree_code code,
     149                 :            :                              cp_expr lhs,
     150                 :            :                              cp_expr rhs)
     151                 :            : {
     152                 :     163758 :   gcc_assert (processing_constraint_expression_p ());
     153                 :     163758 :   if (lhs == error_mark_node || rhs == error_mark_node)
     154                 :          0 :     return error_mark_node;
     155                 :     163758 :   if (!check_constraint_operands (loc, lhs, rhs))
     156                 :          0 :     return error_mark_node;
     157                 :     163758 :   tree overload;
     158                 :     163758 :   cp_expr expr = build_x_binary_op (loc, code,
     159                 :     163758 :                                     lhs, TREE_CODE (lhs),
     160                 :     163758 :                                     rhs, TREE_CODE (rhs),
     161                 :     163758 :                                     &overload, tf_none);
     162                 :            :   /* When either operand is dependent, the overload set may be non-empty.  */
     163                 :     163758 :   if (expr == error_mark_node)
     164                 :          0 :     return error_mark_node;
     165                 :     163758 :   expr.set_range (lhs.get_start (), rhs.get_finish ());
     166                 :     163758 :   return expr;
     167                 :            : }
     168                 :            : 
     169                 :            : cp_expr
     170                 :      20092 : finish_constraint_or_expr (location_t loc, cp_expr lhs, cp_expr rhs)
     171                 :            : {
     172                 :      20092 :   return finish_constraint_binary_op (loc, TRUTH_ORIF_EXPR, lhs, rhs);
     173                 :            : }
     174                 :            : 
     175                 :            : cp_expr
     176                 :     143666 : finish_constraint_and_expr (location_t loc, cp_expr lhs, cp_expr rhs)
     177                 :            : {
     178                 :     143666 :   return finish_constraint_binary_op (loc, TRUTH_ANDIF_EXPR, lhs, rhs);
     179                 :            : }
     180                 :            : 
     181                 :            : cp_expr
     182                 :     203530 : finish_constraint_primary_expr (cp_expr expr)
     183                 :            : {
     184                 :     203530 :   if (expr == error_mark_node)
     185                 :          3 :     return error_mark_node;
     186                 :     203527 :   if (!check_constraint_atom (expr))
     187                 :          3 :     return cp_expr (error_mark_node, expr.get_location ());
     188                 :     203524 :   return expr;
     189                 :            : }
     190                 :            : 
     191                 :            : /* Combine two constraint-expressions with a logical-and.  */
     192                 :            : 
     193                 :            : tree
     194                 :    4365240 : combine_constraint_expressions (tree lhs, tree rhs)
     195                 :            : {
     196                 :    8730470 :   processing_constraint_expression_sentinel pce;
     197                 :    4365240 :   if (!lhs)
     198                 :            :     return rhs;
     199                 :     409917 :   if (!rhs)
     200                 :            :     return lhs;
     201                 :     110448 :   return finish_constraint_and_expr (input_location, lhs, rhs);
     202                 :            : }
     203                 :            : 
     204                 :            : /* Extract the template-id from a concept check. For standard and variable
     205                 :            :    checks, this is simply T. For function concept checks, this is the
     206                 :            :    called function.  */
     207                 :            : 
     208                 :            : tree
     209                 :   25118000 : unpack_concept_check (tree t)
     210                 :            : {
     211                 :   25118000 :   gcc_assert (concept_check_p (t));
     212                 :            : 
     213                 :   25118000 :   if (TREE_CODE (t) == CALL_EXPR)
     214                 :        869 :     t = CALL_EXPR_FN (t);
     215                 :            : 
     216                 :   25118000 :   gcc_assert (TREE_CODE (t) == TEMPLATE_ID_EXPR);
     217                 :   25118000 :   return t;
     218                 :            : }
     219                 :            : 
     220                 :            : /* Extract the TEMPLATE_DECL from a concept check.  */
     221                 :            : 
     222                 :            : tree
     223                 :    3610290 : get_concept_check_template (tree t)
     224                 :            : {
     225                 :    3610290 :   tree id = unpack_concept_check (t);
     226                 :    3610290 :   tree tmpl = TREE_OPERAND (id, 0);
     227                 :    3610290 :   if (OVL_P (tmpl))
     228                 :    3610290 :     tmpl = OVL_FIRST (tmpl);
     229                 :    3610290 :   return tmpl;
     230                 :            : }
     231                 :            : 
     232                 :            : /* Returns true if any of the arguments in the template argument list is
     233                 :            :    a wildcard or wildcard pack.  */
     234                 :            : 
     235                 :            : bool
     236                 :          0 : contains_wildcard_p (tree args)
     237                 :            : {
     238                 :          0 :   for (int i = 0; i < TREE_VEC_LENGTH (args); ++i)
     239                 :            :     {
     240                 :          0 :       tree arg = TREE_VEC_ELT (args, i);
     241                 :          0 :       if (TREE_CODE (arg) == WILDCARD_DECL)
     242                 :            :         return true;
     243                 :            :     }
     244                 :            :   return false;
     245                 :            : }
     246                 :            : 
     247                 :            : /*---------------------------------------------------------------------------
     248                 :            :                     Resolution of qualified concept names
     249                 :            : ---------------------------------------------------------------------------*/
     250                 :            : 
     251                 :            : /* This facility is used to resolve constraint checks from requirement
     252                 :            :    expressions. A constraint check is a call to a function template declared
     253                 :            :    with the keyword 'concept'.
     254                 :            : 
     255                 :            :    The result of resolution is a pair (a TREE_LIST) whose value is the
     256                 :            :    matched declaration, and whose purpose contains the coerced template
     257                 :            :    arguments that can be substituted into the call.  */
     258                 :            : 
     259                 :            : /* Given an overload set OVL, try to find a unique definition that can be
     260                 :            :    instantiated by the template arguments ARGS.
     261                 :            : 
     262                 :            :    This function is not called for arbitrary call expressions. In particular,
     263                 :            :    the call expression must be written with explicit template arguments
     264                 :            :    and no function arguments. For example:
     265                 :            : 
     266                 :            :         f<T, U>()
     267                 :            : 
     268                 :            :    If a single match is found, this returns a TREE_LIST whose VALUE
     269                 :            :    is the constraint function (not the template), and its PURPOSE is
     270                 :            :    the complete set of arguments substituted into the parameter list.  */
     271                 :            : 
     272                 :            : static tree
     273                 :        582 : resolve_function_concept_overload (tree ovl, tree args)
     274                 :            : {
     275                 :        582 :   int nerrs = 0;
     276                 :        582 :   tree cands = NULL_TREE;
     277                 :       1747 :   for (lkp_iterator iter (ovl); iter; ++iter)
     278                 :            :     {
     279                 :        583 :       tree tmpl = *iter;
     280                 :        583 :       if (TREE_CODE (tmpl) != TEMPLATE_DECL)
     281                 :          0 :         continue;
     282                 :            : 
     283                 :            :       /* Don't try to deduce checks for non-concepts. We often end up trying
     284                 :            :          to resolve constraints in functional casts as part of a
     285                 :            :          postfix-expression. We can save time and headaches by not
     286                 :            :          instantiating those declarations.
     287                 :            : 
     288                 :            :          NOTE: This masks a potential error, caused by instantiating
     289                 :            :          non-deduced contexts using placeholder arguments. */
     290                 :        583 :       tree fn = DECL_TEMPLATE_RESULT (tmpl);
     291                 :        583 :       if (DECL_ARGUMENTS (fn))
     292                 :          0 :         continue;
     293                 :        583 :       if (!DECL_DECLARED_CONCEPT_P (fn))
     294                 :          0 :         continue;
     295                 :            : 
     296                 :            :       /* Remember the candidate if we can deduce a substitution.  */
     297                 :        583 :       ++processing_template_decl;
     298                 :        583 :       tree parms = TREE_VALUE (DECL_TEMPLATE_PARMS (tmpl));
     299                 :        583 :       if (tree subst = coerce_template_parms (parms, args, tmpl))
     300                 :            :         {
     301                 :        583 :           if (subst == error_mark_node)
     302                 :         29 :             ++nerrs;
     303                 :            :           else
     304                 :        554 :             cands = tree_cons (subst, fn, cands);
     305                 :            :         }
     306                 :        583 :       --processing_template_decl;
     307                 :            :     }
     308                 :            : 
     309                 :        582 :   if (!cands)
     310                 :            :     /* We either had no candidates or failed deductions.  */
     311                 :         29 :     return nerrs ? error_mark_node : NULL_TREE;
     312                 :        553 :   else if (TREE_CHAIN (cands))
     313                 :            :     /* There are multiple candidates.  */
     314                 :          1 :     return error_mark_node;
     315                 :            : 
     316                 :            :   return cands;
     317                 :            : }
     318                 :            : 
     319                 :            : /* Determine if the call expression CALL is a constraint check, and
     320                 :            :    return the concept declaration and arguments being checked. If CALL
     321                 :            :    does not denote a constraint check, return NULL.  */
     322                 :            : 
     323                 :            : tree
     324                 :          0 : resolve_function_concept_check (tree call)
     325                 :            : {
     326                 :          0 :   gcc_assert (TREE_CODE (call) == CALL_EXPR);
     327                 :            : 
     328                 :            :   /* A constraint check must be only a template-id expression.
     329                 :            :      If it's a call to a base-link, its function(s) should be a
     330                 :            :      template-id expression. If this is not a template-id, then
     331                 :            :      it cannot be a concept-check.  */
     332                 :          0 :   tree target = CALL_EXPR_FN (call);
     333                 :          0 :   if (BASELINK_P (target))
     334                 :          0 :     target = BASELINK_FUNCTIONS (target);
     335                 :          0 :   if (TREE_CODE (target) != TEMPLATE_ID_EXPR)
     336                 :            :     return NULL_TREE;
     337                 :            : 
     338                 :            :   /* Get the overload set and template arguments and try to
     339                 :            :      resolve the target.  */
     340                 :          0 :   tree ovl = TREE_OPERAND (target, 0);
     341                 :            : 
     342                 :            :   /* This is a function call of a variable concept... ill-formed.  */
     343                 :          0 :   if (TREE_CODE (ovl) == TEMPLATE_DECL)
     344                 :            :     {
     345                 :          0 :       error_at (location_of (call),
     346                 :            :                 "function call of variable concept %qE", call);
     347                 :          0 :       return error_mark_node;
     348                 :            :     }
     349                 :            : 
     350                 :          0 :   tree args = TREE_OPERAND (target, 1);
     351                 :          0 :   return resolve_function_concept_overload (ovl, args);
     352                 :            : }
     353                 :            : 
     354                 :            : /* Returns a pair containing the checked concept and its associated
     355                 :            :    prototype parameter. The result is a TREE_LIST whose TREE_VALUE
     356                 :            :    is the concept (non-template) and whose TREE_PURPOSE contains
     357                 :            :    the converted template arguments, including the deduced prototype
     358                 :            :    parameter (in position 0). */
     359                 :            : 
     360                 :            : tree
     361                 :     217294 : resolve_concept_check (tree check)
     362                 :            : {
     363                 :     217294 :   gcc_assert (concept_check_p (check));
     364                 :     217294 :   tree id = unpack_concept_check (check);
     365                 :     217294 :   tree tmpl = TREE_OPERAND (id, 0);
     366                 :            : 
     367                 :            :   /* If this is an overloaded function concept, perform overload
     368                 :            :      resolution (this only happens when deducing prototype parameters
     369                 :            :      and template introductions).  */
     370                 :     217294 :   if (TREE_CODE (tmpl) == OVERLOAD)
     371                 :            :     {
     372                 :        122 :       if (OVL_CHAIN (tmpl))
     373                 :          0 :         return resolve_function_concept_check (check);
     374                 :     217294 :       tmpl = OVL_FIRST (tmpl);
     375                 :            :     }
     376                 :            : 
     377                 :     217294 :   tree args = TREE_OPERAND (id, 1);
     378                 :     217294 :   tree parms = INNERMOST_TEMPLATE_PARMS (DECL_TEMPLATE_PARMS (tmpl));
     379                 :     217294 :   ++processing_template_decl;
     380                 :     217294 :   tree result = coerce_template_parms (parms, args, tmpl);
     381                 :     217294 :   --processing_template_decl;
     382                 :     217294 :   if (result == error_mark_node)
     383                 :            :     return error_mark_node;
     384                 :     217294 :   return build_tree_list (result, DECL_TEMPLATE_RESULT (tmpl));
     385                 :            : }
     386                 :            : 
     387                 :            : /* Given a call expression or template-id expression to a concept EXPR
     388                 :            :    possibly including a wildcard, deduce the concept being checked and
     389                 :            :    the prototype parameter. Returns true if the constraint and prototype
     390                 :            :    can be deduced and false otherwise.  Note that the CHECK and PROTO
     391                 :            :    arguments are set to NULL_TREE if this returns false.  */
     392                 :            : 
     393                 :            : bool
     394                 :     217259 : deduce_constrained_parameter (tree expr, tree& check, tree& proto)
     395                 :            : {
     396                 :     217259 :   tree info = resolve_concept_check (expr);
     397                 :     217259 :   if (info && info != error_mark_node)
     398                 :            :     {
     399                 :     217259 :       check = TREE_VALUE (info);
     400                 :     217259 :       tree arg = TREE_VEC_ELT (TREE_PURPOSE (info), 0);
     401                 :     217259 :       if (ARGUMENT_PACK_P (arg))
     402                 :         12 :         arg = TREE_VEC_ELT (ARGUMENT_PACK_ARGS (arg), 0);
     403                 :     217259 :       proto = TREE_TYPE (arg);
     404                 :     217259 :       return true;
     405                 :            :     }
     406                 :            : 
     407                 :          0 :   check = proto = NULL_TREE;
     408                 :          0 :   return false;
     409                 :            : }
     410                 :            : 
     411                 :            : /* Given a call expression or template-id expression to a concept, EXPR,
     412                 :            :    deduce the concept being checked and return the template arguments.
     413                 :            :    Returns NULL_TREE if deduction fails.  */
     414                 :            : static tree
     415                 :         35 : deduce_concept_introduction (tree check)
     416                 :            : {
     417                 :         35 :   tree info = resolve_concept_check (check);
     418                 :         35 :   if (info && info != error_mark_node)
     419                 :         35 :     return TREE_PURPOSE (info);
     420                 :            :   return NULL_TREE;
     421                 :            : }
     422                 :            : 
     423                 :            : /* Build a constrained placeholder type where SPEC is a type-constraint.
     424                 :            :    SPEC can be anything were concept_definition_p is true.
     425                 :            : 
     426                 :            :    If DECLTYPE_P is true, then the placeholder is decltype(auto).
     427                 :            : 
     428                 :            :    Returns a pair whose FIRST is the concept being checked and whose
     429                 :            :    SECOND is the prototype parameter.  */
     430                 :            : 
     431                 :            : tree_pair
     432                 :     291631 : finish_type_constraints (tree spec, tree args, tsubst_flags_t complain)
     433                 :            : {
     434                 :     291631 :   gcc_assert (concept_definition_p (spec));
     435                 :            : 
     436                 :            :   /* Build an initial concept check.  */
     437                 :     291631 :   tree check = build_type_constraint (spec, args, complain);
     438                 :     291631 :   if (check == error_mark_node)
     439                 :      74372 :     return std::make_pair (error_mark_node, NULL_TREE);
     440                 :            : 
     441                 :            :   /* Extract the concept and prototype parameter from the check. */
     442                 :     217259 :   tree con;
     443                 :     217259 :   tree proto;
     444                 :     217259 :   if (!deduce_constrained_parameter (check, con, proto))
     445                 :          0 :     return std::make_pair (error_mark_node, NULL_TREE);
     446                 :            : 
     447                 :     217259 :   return std::make_pair (con, proto);
     448                 :            : }
     449                 :            : 
     450                 :            : /*---------------------------------------------------------------------------
     451                 :            :                        Expansion of concept definitions
     452                 :            : ---------------------------------------------------------------------------*/
     453                 :            : 
     454                 :            : /* Returns the expression of a function concept. */
     455                 :            : 
     456                 :            : static tree
     457                 :        234 : get_returned_expression (tree fn)
     458                 :            : {
     459                 :            :   /* Extract the body of the function minus the return expression.  */
     460                 :        234 :   tree body = DECL_SAVED_TREE (fn);
     461                 :        234 :   if (!body)
     462                 :          0 :     return error_mark_node;
     463                 :        234 :   if (TREE_CODE (body) == BIND_EXPR)
     464                 :        234 :     body = BIND_EXPR_BODY (body);
     465                 :        234 :   if (TREE_CODE (body) != RETURN_EXPR)
     466                 :          0 :     return error_mark_node;
     467                 :            : 
     468                 :        234 :   return TREE_OPERAND (body, 0);
     469                 :            : }
     470                 :            : 
     471                 :            : /* Returns the initializer of a variable concept. */
     472                 :            : 
     473                 :            : static tree
     474                 :        199 : get_variable_initializer (tree var)
     475                 :            : {
     476                 :        199 :   tree init = DECL_INITIAL (var);
     477                 :        199 :   if (!init)
     478                 :          0 :     return error_mark_node;
     479                 :          3 :   if (BRACE_ENCLOSED_INITIALIZER_P (init)
     480                 :        202 :       && CONSTRUCTOR_NELTS (init) == 1)
     481                 :          3 :     init = CONSTRUCTOR_ELT (init, 0)->value;
     482                 :            :   return init;
     483                 :            : }
     484                 :            : 
     485                 :            : /* Returns the definition of a variable or function concept.  */
     486                 :            : 
     487                 :            : static tree
     488                 :    2774860 : get_concept_definition (tree decl)
     489                 :            : {
     490                 :    2774860 :   if (TREE_CODE (decl) == OVERLOAD)
     491                 :    2774860 :     decl = OVL_FIRST (decl);
     492                 :            : 
     493                 :    2774860 :   if (TREE_CODE (decl) == TEMPLATE_DECL)
     494                 :          0 :     decl = DECL_TEMPLATE_RESULT (decl);
     495                 :            : 
     496                 :    2774860 :   if (TREE_CODE (decl) == CONCEPT_DECL)
     497                 :    2774430 :     return DECL_INITIAL (decl);
     498                 :        433 :   if (VAR_P (decl))
     499                 :        199 :     return get_variable_initializer (decl);
     500                 :        234 :   if (TREE_CODE (decl) == FUNCTION_DECL)
     501                 :        234 :     return get_returned_expression (decl);
     502                 :          0 :   gcc_unreachable ();
     503                 :            : }
     504                 :            : 
     505                 :            : /*---------------------------------------------------------------------------
     506                 :            :                       Normalization of expressions
     507                 :            : 
     508                 :            : This set of functions will transform an expression into a constraint
     509                 :            : in a sequence of steps.
     510                 :            : ---------------------------------------------------------------------------*/
     511                 :            : 
     512                 :            : void
     513                 :          0 : debug_parameter_mapping (tree map)
     514                 :            : {
     515                 :          0 :   for (tree p = map; p; p = TREE_CHAIN (p))
     516                 :            :     {
     517                 :          0 :       tree parm = TREE_VALUE (p);
     518                 :          0 :       tree arg = TREE_PURPOSE (p);
     519                 :          0 :       if (TYPE_P (parm))
     520                 :          0 :         verbatim ("MAP %qD TO %qT", TEMPLATE_TYPE_DECL (parm), arg);
     521                 :            :       else
     522                 :          0 :         verbatim ("MAP %qD TO %qE", TEMPLATE_PARM_DECL (parm), arg);
     523                 :            :       // debug_tree (parm);
     524                 :            :       // debug_tree (arg);
     525                 :            :     }
     526                 :          0 : }
     527                 :            : 
     528                 :            : void
     529                 :          0 : debug_argument_list (tree args)
     530                 :            : {
     531                 :          0 :   for (int i = 0; i < TREE_VEC_LENGTH (args); ++i)
     532                 :            :     {
     533                 :          0 :       tree arg = TREE_VEC_ELT (args, i);
     534                 :          0 :       if (TYPE_P (arg))
     535                 :          0 :         verbatim ("ARG %qT", arg);
     536                 :            :       else
     537                 :          0 :         verbatim ("ARG %qE", arg);
     538                 :            :     }
     539                 :          0 : }
     540                 :            : 
     541                 :            : /* Associate each parameter in PARMS with its corresponding template
     542                 :            :    argument in ARGS.  */
     543                 :            : 
     544                 :            : static tree
     545                 :    2920570 : map_arguments (tree parms, tree args)
     546                 :            : {
     547                 :    8803340 :   for (tree p = parms; p; p = TREE_CHAIN (p))
     548                 :            :     {
     549                 :    5882770 :       int level;
     550                 :    5882770 :       int index;
     551                 :    5882770 :       template_parm_level_and_index (TREE_VALUE (p), &level, &index);
     552                 :   11765500 :       TREE_PURPOSE (p) = TMPL_ARG (args, level, index);
     553                 :            :     }
     554                 :    2920570 :   return parms;
     555                 :            : }
     556                 :            : 
     557                 :            : /* Build the parameter mapping for EXPR using ARGS.  */
     558                 :            : 
     559                 :            : static tree
     560                 :    2920570 : build_parameter_mapping (tree expr, tree args, tree decl)
     561                 :            : {
     562                 :    2920570 :   tree ctx_parms = NULL_TREE;
     563                 :    2920570 :   if (decl)
     564                 :            :     {
     565                 :    2906210 :       gcc_assert (TREE_CODE (decl) == TEMPLATE_DECL);
     566                 :    2906210 :       ctx_parms = DECL_TEMPLATE_PARMS (decl);
     567                 :            :     }
     568                 :      14361 :   else if (current_template_parms)
     569                 :            :     {
     570                 :            :       /* TODO: This should probably be the only case, but because the
     571                 :            :          point of declaration of concepts is currently set after the
     572                 :            :          initializer, the template parameter lists are not available
     573                 :            :          when normalizing concept definitions, hence the case above.  */
     574                 :      14312 :       ctx_parms = current_template_parms;
     575                 :            :     }
     576                 :            : 
     577                 :    2920570 :   tree parms = find_template_parameters (expr, ctx_parms);
     578                 :    2920570 :   tree map = map_arguments (parms, args);
     579                 :    2920570 :   return map;
     580                 :            : }
     581                 :            : 
     582                 :            : /* True if the parameter mappings of two atomic constraints are equivalent.  */
     583                 :            : 
     584                 :            : static bool
     585                 :   34247500 : parameter_mapping_equivalent_p (tree t1, tree t2)
     586                 :            : {
     587                 :   34247500 :   tree map1 = ATOMIC_CONSTR_MAP (t1);
     588                 :   34247500 :   tree map2 = ATOMIC_CONSTR_MAP (t2);
     589                 :   48871600 :   while (map1 && map2)
     590                 :            :     {
     591                 :   41768000 :       tree arg1 = TREE_PURPOSE (map1);
     592                 :   41768000 :       tree arg2 = TREE_PURPOSE (map2);
     593                 :   41768000 :       if (!template_args_equal (arg1, arg2))
     594                 :            :         return false;
     595                 :   14624100 :       map1 = TREE_CHAIN (map1);
     596                 :   14624100 :       map2 = TREE_CHAIN (map2);
     597                 :            :     }
     598                 :            :   return true;
     599                 :            : }
     600                 :            : 
     601                 :            : /* Provides additional context for normalization.  */
     602                 :            : 
     603                 :            : struct norm_info : subst_info
     604                 :            : {
     605                 :       3224 :   explicit norm_info (tsubst_flags_t complain)
     606                 :       3224 :     : subst_info (tf_warning_or_error | complain, NULL_TREE),
     607                 :       3224 :       context()
     608                 :            :   {}
     609                 :            : 
     610                 :            :   /* Construct a top-level context for DECL.  */
     611                 :            : 
     612                 :      72088 :   norm_info (tree in_decl, tsubst_flags_t complain)
     613                 :      72088 :     : subst_info (tf_warning_or_error | complain, in_decl),
     614                 :     144176 :       context (make_context (in_decl))
     615                 :            :   {}
     616                 :            : 
     617                 :    5672960 :   bool generate_diagnostics() const
     618                 :            :   {
     619                 :    5672960 :     return complain & tf_norm;
     620                 :            :   }
     621                 :            : 
     622                 :      72088 :   tree make_context(tree in_decl)
     623                 :            :   {
     624                 :      55939 :     if (generate_diagnostics ())
     625                 :        287 :       return build_tree_list (NULL_TREE, in_decl);
     626                 :            :     return NULL_TREE;
     627                 :            :   }
     628                 :            : 
     629                 :    2758700 :   void update_context(tree expr, tree args)
     630                 :            :   {
     631                 :    2758700 :     if (generate_diagnostics ())
     632                 :            :       {
     633                 :       3121 :         tree map = build_parameter_mapping (expr, args, in_decl);
     634                 :       3121 :         context = tree_cons (map, expr, context);
     635                 :            :       }
     636                 :    2758700 :     in_decl = get_concept_check_template (expr);
     637                 :    2758700 :   }
     638                 :            : 
     639                 :            :   /* Provides information about the source of a constraint. This is a
     640                 :            :      TREE_LIST whose VALUE is either a concept check or a constrained
     641                 :            :      declaration. The PURPOSE, for concept checks is a parameter mapping
     642                 :            :      for that check.  */
     643                 :            : 
     644                 :            :   tree context;
     645                 :            : };
     646                 :            : 
     647                 :            : static tree normalize_expression (tree, tree, norm_info);
     648                 :            : 
     649                 :            : /* Transform a logical-or or logical-and expression into either
     650                 :            :    a conjunction or disjunction. */
     651                 :            : 
     652                 :            : static tree
     653                 :    2842170 : normalize_logical_operation (tree t, tree args, tree_code c, norm_info info)
     654                 :            : {
     655                 :    2842170 :   tree t0 = normalize_expression (TREE_OPERAND (t, 0), args, info);
     656                 :    2842170 :   tree t1 = normalize_expression (TREE_OPERAND (t, 1), args, info);
     657                 :            : 
     658                 :            :   /* Build a new info object for the constraint.  */
     659                 :    2842170 :   tree ci = info.generate_diagnostics()
     660                 :    2842170 :     ? build_tree_list (t, info.context)
     661                 :    2842170 :     : NULL_TREE;
     662                 :            : 
     663                 :    2842170 :   return build2 (c, ci, t0, t1);
     664                 :            : }
     665                 :            : 
     666                 :            : static tree
     667                 :    2758710 : normalize_concept_check (tree check, tree args, norm_info info)
     668                 :            : {
     669                 :    2758710 :   tree id = unpack_concept_check (check);
     670                 :    2758710 :   tree tmpl = TREE_OPERAND (id, 0);
     671                 :    2758710 :   tree targs = TREE_OPERAND (id, 1);
     672                 :            : 
     673                 :            :   /* A function concept is wrapped in an overload.  */
     674                 :    2758710 :   if (TREE_CODE (tmpl) == OVERLOAD)
     675                 :            :     {
     676                 :            :       /* TODO: Can we diagnose this error during parsing?  */
     677                 :        206 :       if (TREE_CODE (check) == TEMPLATE_ID_EXPR)
     678                 :          1 :         error_at (EXPR_LOC_OR_LOC (check, input_location),
     679                 :            :                   "function concept must be called");
     680                 :        206 :       tmpl = OVL_FIRST (tmpl);
     681                 :            :     }
     682                 :            : 
     683                 :            :   /* Substitute through the arguments of the concept check. */
     684                 :    2758710 :   targs = tsubst_template_args (targs, args, info.complain, info.in_decl);
     685                 :    2758710 :   if (targs == error_mark_node)
     686                 :            :     return error_mark_node;
     687                 :            : 
     688                 :            :   /* Build the substitution for the concept definition.  */
     689                 :    2758710 :   tree parms = TREE_VALUE (DECL_TEMPLATE_PARMS (tmpl));
     690                 :            :   /* Turn on template processing; coercing non-type template arguments
     691                 :            :      will automatically assume they're non-dependent.  */
     692                 :    2758710 :   ++processing_template_decl;
     693                 :    2758710 :   tree subst = coerce_template_parms (parms, targs, tmpl);
     694                 :    2758710 :   --processing_template_decl;
     695                 :    2758710 :   if (subst == error_mark_node)
     696                 :            :     return error_mark_node;
     697                 :            : 
     698                 :            :   /* The concept may have been ill-formed.  */
     699                 :    2758710 :   tree def = get_concept_definition (DECL_TEMPLATE_RESULT (tmpl));
     700                 :    2758710 :   if (def == error_mark_node)
     701                 :            :     return error_mark_node;
     702                 :            : 
     703                 :    2758700 :   info.update_context (check, args);
     704                 :    2758700 :   return normalize_expression (def, subst, info);
     705                 :            : }
     706                 :            : 
     707                 :            : /* The normal form of an atom depends on the expression. The normal
     708                 :            :    form of a function call to a function concept is a check constraint
     709                 :            :    for that concept. The normal form of a reference to a variable
     710                 :            :    concept is a check constraint for that concept. Otherwise, the
     711                 :            :    constraint is a predicate constraint.  */
     712                 :            : 
     713                 :            : static tree
     714                 :    5676160 : normalize_atom (tree t, tree args, norm_info info)
     715                 :            : {
     716                 :            :   /* Concept checks are not atomic.  */
     717                 :    5676160 :   if (concept_check_p (t))
     718                 :    2758710 :     return normalize_concept_check (t, args, info);
     719                 :            : 
     720                 :            :   /* Build the parameter mapping for the atom.  */
     721                 :    2917450 :   tree map = build_parameter_mapping (t, args, info.in_decl);
     722                 :            : 
     723                 :            :   /* Build a new info object for the atom.  */
     724                 :    2917450 :   tree ci = build_tree_list (t, info.context);
     725                 :            : 
     726                 :    2917450 :   return build1 (ATOMIC_CONSTR, ci, map);
     727                 :            : }
     728                 :            : 
     729                 :            : /* Returns the normal form of an expression. */
     730                 :            : 
     731                 :            : static tree
     732                 :    8518350 : normalize_expression (tree t, tree args, norm_info info)
     733                 :            : {
     734                 :    8518350 :   if (!t)
     735                 :            :     return NULL_TREE;
     736                 :            : 
     737                 :    8518350 :   if (t == error_mark_node)
     738                 :            :     return error_mark_node;
     739                 :            : 
     740                 :    8518320 :   switch (TREE_CODE (t))
     741                 :            :     {
     742                 :    2805410 :     case TRUTH_ANDIF_EXPR:
     743                 :    2805410 :       return normalize_logical_operation (t, args, CONJ_CONSTR, info);
     744                 :      36756 :     case TRUTH_ORIF_EXPR:
     745                 :      36756 :       return normalize_logical_operation (t, args, DISJ_CONSTR, info);
     746                 :    5676160 :     default:
     747                 :    5676160 :       return normalize_atom (t, args, info);
     748                 :            :     }
     749                 :            : }
     750                 :            : 
     751                 :            : /* Cache of the normalized form of constraints.  Marked as deletable because it
     752                 :            :    can all be recalculated.  */
     753                 :            : static GTY((deletable)) hash_map<tree,tree> *normalized_map;
     754                 :            : 
     755                 :            : static tree
     756                 :      75312 : get_normalized_constraints (tree t, tree args, norm_info info)
     757                 :            : {
     758                 :      75312 :   auto_timevar time (TV_CONSTRAINT_NORM);
     759                 :      75312 :   return normalize_expression (t, args, info);
     760                 :            : }
     761                 :            : 
     762                 :            : /* Returns the normalized constraints from a constraint-info object
     763                 :            :    or NULL_TREE if the constraints are null. ARGS provide the initial
     764                 :            :    arguments for normalization and IN_DECL provides the declaration
     765                 :            :    to which the constraints belong.  */
     766                 :            : 
     767                 :            : static tree
     768                 :    2528000 : get_normalized_constraints_from_info (tree ci, tree args, tree in_decl,
     769                 :            :                                       bool diag = false)
     770                 :            : {
     771                 :    2528000 :   if (ci == NULL_TREE)
     772                 :            :     return NULL_TREE;
     773                 :            : 
     774                 :            :   /* Substitution errors during normalization are fatal.  */
     775                 :      55939 :   ++processing_template_decl;
     776                 :      55939 :   norm_info info (in_decl, diag ? tf_norm : tf_none);
     777                 :     111878 :   tree t = get_normalized_constraints (CI_ASSOCIATED_CONSTRAINTS (ci),
     778                 :            :                                        args, info);
     779                 :      55939 :   --processing_template_decl;
     780                 :            : 
     781                 :      55939 :   return t;
     782                 :            : }
     783                 :            : 
     784                 :            : /* Returns the normalized constraints for the declaration D.  */
     785                 :            : 
     786                 :            : static tree
     787                 :   15850200 : get_normalized_constraints_from_decl (tree d, bool diag = false)
     788                 :            : {
     789                 :   15850200 :   tree tmpl;
     790                 :   15850200 :   tree decl;
     791                 :            : 
     792                 :            :   /* For inherited constructors, consider the original declaration;
     793                 :            :      it has the correct template information attached. */
     794                 :   15850200 :   d = strip_inheriting_ctors (d);
     795                 :            : 
     796                 :   15850200 :   if (TREE_CODE (d) == TEMPLATE_DECL)
     797                 :            :     {
     798                 :   14197500 :       tmpl = d;
     799                 :   14197500 :       decl = DECL_TEMPLATE_RESULT (tmpl);
     800                 :            :     }
     801                 :            :   else
     802                 :            :     {
     803                 :    1652670 :       if (tree ti = DECL_TEMPLATE_INFO (d))
     804                 :     263425 :         tmpl = TI_TEMPLATE (ti);
     805                 :            :       else
     806                 :    1389250 :         tmpl = NULL_TREE;
     807                 :            :       decl = d;
     808                 :            :     }
     809                 :            : 
     810                 :            :   /* Get the most general template for the declaration, and compute
     811                 :            :      arguments from that. This ensures that the arguments used for
     812                 :            :      normalization are always template parameters and not arguments
     813                 :            :      used for outer specializations.  For example:
     814                 :            : 
     815                 :            :         template<typename T>
     816                 :            :         struct S {
     817                 :            :           template<typename U> requires C<T, U> void f(U);
     818                 :            :         };
     819                 :            : 
     820                 :            :         S<int>::f(0);
     821                 :            : 
     822                 :            :      When we normalize the requirements for S<int>::f, we want the
     823                 :            :      arguments to be {T, U}, not {int, U}. One reason for this is that
     824                 :            :      accepting the latter causes the template parameter level of U
     825                 :            :      to be reduced in a way that makes it overly difficult substitute
     826                 :            :      concrete arguments (i.e., eventually {int, int} during satisfaction.  */
     827                 :   15850200 :   if (tmpl)
     828                 :            :   {
     829                 :   14461000 :     if (DECL_LANG_SPECIFIC(tmpl) && !DECL_TEMPLATE_SPECIALIZATION (tmpl))
     830                 :   13199800 :       tmpl = most_general_template (tmpl);
     831                 :            :   }
     832                 :            : 
     833                 :            :   /* If we're not diagnosing errors, use cached constraints, if any.  */
     834                 :   15850200 :   if (!diag)
     835                 :   15849900 :     if (tree *p = hash_map_safe_get (normalized_map, tmpl))
     836                 :   13334700 :       return *p;
     837                 :            : 
     838                 :    2515510 :   tree args = generic_targs_for (tmpl);
     839                 :    2515510 :   tree ci = get_constraints (decl);
     840                 :    2515510 :   tree norm = get_normalized_constraints_from_info (ci, args, tmpl, diag);
     841                 :            : 
     842                 :    2515510 :   if (!diag)
     843                 :    2515240 :     hash_map_safe_put<hm_ggc> (normalized_map, tmpl, norm);
     844                 :            : 
     845                 :    2515510 :   return norm;
     846                 :            : }
     847                 :            : 
     848                 :            : /* Returns the normal form of TMPL's definition.  */
     849                 :            : 
     850                 :            : static tree
     851                 :     851584 : normalize_concept_definition (tree tmpl, bool diag = false)
     852                 :            : {
     853                 :     851584 :   if (!diag)
     854                 :     851567 :     if (tree *p = hash_map_safe_get (normalized_map, tmpl))
     855                 :     835435 :       return *p;
     856                 :            : 
     857                 :      16149 :   gcc_assert (concept_definition_p (tmpl));
     858                 :      16149 :   if (OVL_P (tmpl))
     859                 :          0 :     tmpl = OVL_FIRST (tmpl);
     860                 :      16149 :   gcc_assert (TREE_CODE (tmpl) == TEMPLATE_DECL);
     861                 :      16149 :   tree args = generic_targs_for (tmpl);
     862                 :      16149 :   tree def = get_concept_definition (DECL_TEMPLATE_RESULT (tmpl));
     863                 :      16149 :   ++processing_template_decl;
     864                 :      32281 :   norm_info info (tmpl, diag ? tf_norm : tf_none);
     865                 :      16149 :   tree norm = get_normalized_constraints (def, args, info);
     866                 :      16149 :   --processing_template_decl;
     867                 :            : 
     868                 :      16149 :   if (!diag)
     869                 :      16132 :     hash_map_safe_put<hm_ggc> (normalized_map, tmpl, norm);
     870                 :            : 
     871                 :      16149 :   return norm;
     872                 :            : }
     873                 :            : 
     874                 :            : /* Returns the normal form of TMPL's requirements.  */
     875                 :            : 
     876                 :            : static tree
     877                 :   14154500 : normalize_template_requirements (tree tmpl, bool diag = false)
     878                 :            : {
     879                 :          0 :   return get_normalized_constraints_from_decl (tmpl, diag);
     880                 :            : }
     881                 :            : 
     882                 :            : /* Returns the normal form of TMPL's requirements.  */
     883                 :            : 
     884                 :            : static tree
     885                 :    1326520 : normalize_nontemplate_requirements (tree decl, bool diag = false)
     886                 :            : {
     887                 :          0 :   return get_normalized_constraints_from_decl (decl, diag);
     888                 :            : }
     889                 :            : 
     890                 :            : /* Normalize an EXPR as a constraint using ARGS.  */
     891                 :            : 
     892                 :            : static tree
     893                 :       3224 : normalize_constraint_expression (tree expr, tree args, bool diag = false)
     894                 :            : {
     895                 :       3224 :   if (!expr || expr == error_mark_node)
     896                 :            :     return expr;
     897                 :       3224 :   ++processing_template_decl;
     898                 :       3224 :   norm_info info (diag ? tf_norm : tf_none);
     899                 :       3224 :   tree norm = get_normalized_constraints (expr, args, info);
     900                 :       3224 :   --processing_template_decl;
     901                 :       3224 :   return norm;
     902                 :            : }
     903                 :            : 
     904                 :            : /* Normalize an EXPR as a constraint.  */
     905                 :            : 
     906                 :            : static tree
     907                 :         36 : normalize_constraint_expression (tree expr, bool diag = false)
     908                 :            : {
     909                 :         36 :   if (!expr || expr == error_mark_node)
     910                 :            :     return expr;
     911                 :            : 
     912                 :            :   /* For concept checks, use the supplied template arguments as those used
     913                 :            :      for normalization. Otherwise, there are no template arguments.  */
     914                 :         36 :   tree args;
     915                 :         36 :   if (concept_check_p (expr))
     916                 :            :     {
     917                 :         28 :       tree id = unpack_concept_check (expr);
     918                 :         28 :       args = TREE_OPERAND (id, 1);
     919                 :            :     }
     920                 :            :   else
     921                 :            :     args = NULL_TREE;
     922                 :            : 
     923                 :         36 :   return normalize_constraint_expression (expr, args, diag);
     924                 :            : }
     925                 :            : 
     926                 :            : /* 17.4.1.2p2. Two constraints are identical if they are formed
     927                 :            :    from the same expression and the targets of the parameter mapping
     928                 :            :    are equivalent.  */
     929                 :            : 
     930                 :            : bool
     931                 :   88811300 : atomic_constraints_identical_p (tree t1, tree t2)
     932                 :            : {
     933                 :   88811300 :   gcc_assert (TREE_CODE (t1) == ATOMIC_CONSTR);
     934                 :   88811300 :   gcc_assert (TREE_CODE (t2) == ATOMIC_CONSTR);
     935                 :            : 
     936                 :   88811300 :   if (ATOMIC_CONSTR_EXPR (t1) != ATOMIC_CONSTR_EXPR (t2))
     937                 :            :     return false;
     938                 :            : 
     939                 :   34247500 :   if (!parameter_mapping_equivalent_p (t1, t2))
     940                 :   27143800 :     return false;
     941                 :            : 
     942                 :            :   return true;
     943                 :            : }
     944                 :            : 
     945                 :            : /* True if T1 and T2 are equivalent, meaning they have the same syntactic
     946                 :            :    structure and all corresponding constraints are identical.  */
     947                 :            : 
     948                 :            : bool
     949                 :     406889 : constraints_equivalent_p (tree t1, tree t2)
     950                 :            : {
     951                 :     406889 :   gcc_assert (CONSTR_P (t1));
     952                 :     406889 :   gcc_assert (CONSTR_P (t2));
     953                 :            : 
     954                 :     406889 :   if (TREE_CODE (t1) != TREE_CODE (t2))
     955                 :            :     return false;
     956                 :            : 
     957                 :     406238 :   switch (TREE_CODE (t1))
     958                 :            :   {
     959                 :     199174 :   case CONJ_CONSTR:
     960                 :     199174 :   case DISJ_CONSTR:
     961                 :     199174 :     if (!constraints_equivalent_p (TREE_OPERAND (t1, 0), TREE_OPERAND (t2, 0)))
     962                 :            :       return false;
     963                 :     198462 :     if (!constraints_equivalent_p (TREE_OPERAND (t1, 1), TREE_OPERAND (t2, 1)))
     964                 :         21 :       return false;
     965                 :            :     break;
     966                 :     207064 :   case ATOMIC_CONSTR:
     967                 :     207064 :     if (!atomic_constraints_identical_p(t1, t2))
     968                 :        193 :       return false;
     969                 :            :     break;
     970                 :            :   default:
     971                 :            :     gcc_unreachable ();
     972                 :            :   }
     973                 :            :   return true;
     974                 :            : }
     975                 :            : 
     976                 :            : /* Compute the hash value for T.  */
     977                 :            : 
     978                 :            : hashval_t
     979                 :   60272400 : hash_atomic_constraint (tree t)
     980                 :            : {
     981                 :   60272400 :   gcc_assert (TREE_CODE (t) == ATOMIC_CONSTR);
     982                 :            : 
     983                 :            :   /* Hash the identity of the expression.  */
     984                 :   60272400 :   hashval_t val = htab_hash_pointer (ATOMIC_CONSTR_EXPR (t));
     985                 :            : 
     986                 :            :   /* Hash the targets of the parameter map.  */
     987                 :   60272400 :   tree p = ATOMIC_CONSTR_MAP (t);
     988                 :  175440000 :   while (p)
     989                 :            :     {
     990                 :  115168000 :       val = iterative_hash_template_arg (TREE_PURPOSE (p), val);
     991                 :  115168000 :       p = TREE_CHAIN (p);
     992                 :            :     }
     993                 :            : 
     994                 :   60272400 :   return val;
     995                 :            : }
     996                 :            : 
     997                 :            : namespace inchash
     998                 :            : {
     999                 :            : 
    1000                 :            : static void
    1001                 :    1347070 : add_constraint (tree t, hash& h)
    1002                 :            : {
    1003                 :    2679510 :   h.add_int(TREE_CODE (t));
    1004                 :    2679510 :   switch (TREE_CODE (t))
    1005                 :            :   {
    1006                 :    1332440 :   case CONJ_CONSTR:
    1007                 :    1332440 :   case DISJ_CONSTR:
    1008                 :    1332440 :     add_constraint (TREE_OPERAND (t, 0), h);
    1009                 :    1332440 :     add_constraint (TREE_OPERAND (t, 1), h);
    1010                 :    1332440 :     break;
    1011                 :    1347070 :   case ATOMIC_CONSTR:
    1012                 :    1347070 :     h.merge_hash (hash_atomic_constraint (t));
    1013                 :            :     break;
    1014                 :          0 :   default:
    1015                 :          0 :     gcc_unreachable ();
    1016                 :            :   }
    1017                 :    1347070 : }
    1018                 :            : 
    1019                 :            : }
    1020                 :            : 
    1021                 :            : /* Computes a hash code for the constraint T.  */
    1022                 :            : 
    1023                 :            : hashval_t
    1024                 :      14630 : iterative_hash_constraint (tree t, hashval_t val)
    1025                 :            : {
    1026                 :      14630 :   gcc_assert (CONSTR_P (t));
    1027                 :      14630 :   inchash::hash h (val);
    1028                 :      14630 :   inchash::add_constraint (t, h);
    1029                 :      14630 :   return h.end ();
    1030                 :            : }
    1031                 :            : 
    1032                 :            : // -------------------------------------------------------------------------- //
    1033                 :            : // Constraint Semantic Processing
    1034                 :            : //
    1035                 :            : // The following functions are called by the parser and substitution rules
    1036                 :            : // to create and evaluate constraint-related nodes.
    1037                 :            : 
    1038                 :            : // The constraints associated with the current template parameters.
    1039                 :            : tree
    1040                 :    2592050 : current_template_constraints (void)
    1041                 :            : {
    1042                 :    2592050 :   if (!current_template_parms)
    1043                 :            :     return NULL_TREE;
    1044                 :    2592050 :   tree tmpl_constr = TEMPLATE_PARMS_CONSTRAINTS (current_template_parms);
    1045                 :    2592050 :   return build_constraints (tmpl_constr, NULL_TREE);
    1046                 :            : }
    1047                 :            : 
    1048                 :            : /* If the recently parsed TYPE declares or defines a template or
    1049                 :            :    template specialization, get its corresponding constraints from the
    1050                 :            :    current template parameters and bind them to TYPE's declaration.  */
    1051                 :            : 
    1052                 :            : tree
    1053                 :    2439940 : associate_classtype_constraints (tree type)
    1054                 :            : {
    1055                 :    4879730 :   if (!type || type == error_mark_node || !CLASS_TYPE_P (type))
    1056                 :            :     return type;
    1057                 :            : 
    1058                 :            :   /* An explicit class template specialization has no template parameters.  */
    1059                 :    2439790 :   if (!current_template_parms)
    1060                 :            :     return type;
    1061                 :            : 
    1062                 :    2078840 :   if (CLASSTYPE_IS_TEMPLATE (type) || CLASSTYPE_TEMPLATE_SPECIALIZATION (type))
    1063                 :            :     {
    1064                 :    2061570 :       tree decl = TYPE_STUB_DECL (type);
    1065                 :    2061570 :       tree ci = current_template_constraints ();
    1066                 :            : 
    1067                 :            :       /* An implicitly instantiated member template declaration already
    1068                 :            :          has associated constraints. If it is defined outside of its
    1069                 :            :          class, then we need match these constraints against those of
    1070                 :            :          original declaration.  */
    1071                 :    2061570 :       if (tree orig_ci = get_constraints (decl))
    1072                 :            :         {
    1073                 :      19615 :           if (!equivalent_constraints (ci, orig_ci))
    1074                 :            :             {
    1075                 :          1 :               error ("%qT does not match original declaration", type);
    1076                 :          1 :               tree tmpl = CLASSTYPE_TI_TEMPLATE (type);
    1077                 :          1 :               location_t loc = DECL_SOURCE_LOCATION (tmpl);
    1078                 :          1 :               inform (loc, "original template declaration here");
    1079                 :            :               /* Fall through, so that we define the type anyway.  */
    1080                 :            :             }
    1081                 :      19615 :           return type;
    1082                 :            :         }
    1083                 :    2041950 :       set_constraints (decl, ci);
    1084                 :            :     }
    1085                 :            :   return type;
    1086                 :            : }
    1087                 :            : 
    1088                 :            : /* Create an empty constraint info block.  */
    1089                 :            : 
    1090                 :            : static inline tree_constraint_info*
    1091                 :     304726 : build_constraint_info ()
    1092                 :            : {
    1093                 :     304726 :   return (tree_constraint_info *)make_node (CONSTRAINT_INFO);
    1094                 :            : }
    1095                 :            : 
    1096                 :            : /* Build a constraint-info object that contains the associated constraints
    1097                 :            :    of a declaration.  This also includes the declaration's template
    1098                 :            :    requirements (TREQS) and any trailing requirements for a function
    1099                 :            :    declarator (DREQS).  Note that both TREQS and DREQS must be constraints.
    1100                 :            : 
    1101                 :            :    If the declaration has neither template nor declaration requirements
    1102                 :            :    this returns NULL_TREE, indicating an unconstrained declaration.  */
    1103                 :            : 
    1104                 :            : tree
    1105                 :    7091540 : build_constraints (tree tr, tree dr)
    1106                 :            : {
    1107                 :    7091540 :   if (!tr && !dr)
    1108                 :            :     return NULL_TREE;
    1109                 :            : 
    1110                 :     304726 :   tree_constraint_info* ci = build_constraint_info ();
    1111                 :     304726 :   ci->template_reqs = tr;
    1112                 :     304726 :   ci->declarator_reqs = dr;
    1113                 :     304726 :   ci->associated_constr = combine_constraint_expressions (tr, dr);
    1114                 :            : 
    1115                 :     304726 :   return (tree)ci;
    1116                 :            : }
    1117                 :            : 
    1118                 :            : /* Add constraint RHS to the end of CONSTRAINT_INFO ci.  */
    1119                 :            : 
    1120                 :            : tree
    1121                 :          4 : append_constraint (tree ci, tree rhs)
    1122                 :            : {
    1123                 :          4 :   tree tr = ci ? CI_TEMPLATE_REQS (ci) : NULL_TREE;
    1124                 :          4 :   tree dr = ci ? CI_DECLARATOR_REQS (ci) : NULL_TREE;
    1125                 :          4 :   dr = combine_constraint_expressions (dr, rhs);
    1126                 :          4 :   if (ci)
    1127                 :            :     {
    1128                 :          0 :       CI_DECLARATOR_REQS (ci) = dr;
    1129                 :          0 :       tree ac = combine_constraint_expressions (tr, dr);
    1130                 :          0 :       CI_ASSOCIATED_CONSTRAINTS (ci) = ac;
    1131                 :            :     }
    1132                 :            :   else
    1133                 :          4 :     ci = build_constraints (tr, dr);
    1134                 :          4 :   return ci;
    1135                 :            : }
    1136                 :            : 
    1137                 :            : /* A mapping from declarations to constraint information.  */
    1138                 :            : 
    1139                 :            : static GTY ((cache)) decl_tree_cache_map *decl_constraints;
    1140                 :            : 
    1141                 :            : /* Returns the template constraints of declaration T. If T is not
    1142                 :            :    constrained, return NULL_TREE. Note that T must be non-null. */
    1143                 :            : 
    1144                 :            : tree
    1145                 :   25771800 : get_constraints (const_tree t)
    1146                 :            : {
    1147                 :   25771800 :   if (!flag_concepts)
    1148                 :            :     return NULL_TREE;
    1149                 :   10141600 :   if (!decl_constraints)
    1150                 :            :     return NULL_TREE;
    1151                 :            : 
    1152                 :    8576290 :   gcc_assert (DECL_P (t));
    1153                 :    8576290 :   if (TREE_CODE (t) == TEMPLATE_DECL)
    1154                 :     700970 :     t = DECL_TEMPLATE_RESULT (t);
    1155                 :    8576290 :   tree* found = decl_constraints->get (CONST_CAST_TREE (t));
    1156                 :    8576290 :   if (found)
    1157                 :     279926 :     return *found;
    1158                 :            :   else
    1159                 :            :     return NULL_TREE;
    1160                 :            : }
    1161                 :            : 
    1162                 :            : /* Associate the given constraint information CI with the declaration
    1163                 :            :    T. If T is a template, then the constraints are associated with
    1164                 :            :    its underlying declaration. Don't build associations if CI is
    1165                 :            :    NULL_TREE.  */
    1166                 :            : 
    1167                 :            : void
    1168                 :    6074940 : set_constraints (tree t, tree ci)
    1169                 :            : {
    1170                 :    6074940 :   if (!ci)
    1171                 :            :     return;
    1172                 :     334175 :   gcc_assert (t && flag_concepts);
    1173                 :     334175 :   if (TREE_CODE (t) == TEMPLATE_DECL)
    1174                 :        885 :     t = DECL_TEMPLATE_RESULT (t);
    1175                 :     334175 :   bool found = hash_map_safe_put<hm_ggc> (decl_constraints, t, ci);
    1176                 :     334175 :   gcc_assert (!found);
    1177                 :            : }
    1178                 :            : 
    1179                 :            : /* Remove the associated constraints of the declaration T.  */
    1180                 :            : 
    1181                 :            : void
    1182                 :     188246 : remove_constraints (tree t)
    1183                 :            : {
    1184                 :     188246 :   gcc_assert (DECL_P (t));
    1185                 :     188246 :   if (TREE_CODE (t) == TEMPLATE_DECL)
    1186                 :          0 :     t = DECL_TEMPLATE_RESULT (t);
    1187                 :            : 
    1188                 :     188246 :   if (decl_constraints)
    1189                 :     158275 :     decl_constraints->remove (t);
    1190                 :     188246 : }
    1191                 :            : 
    1192                 :            : /* If DECL is a friend, substitute into REQS to produce requirements suitable
    1193                 :            :    for declaration matching.  */
    1194                 :            : 
    1195                 :            : tree
    1196                 :     901521 : maybe_substitute_reqs_for (tree reqs, const_tree decl_)
    1197                 :            : {
    1198                 :     901521 :   if (reqs == NULL_TREE)
    1199                 :            :     return NULL_TREE;
    1200                 :       2163 :   tree decl = CONST_CAST_TREE (decl_);
    1201                 :       2163 :   tree result = STRIP_TEMPLATE (decl);
    1202                 :       4326 :   if (DECL_FRIEND_P (result))
    1203                 :            :     {
    1204                 :       2052 :       tree tmpl = decl == result ? DECL_TI_TEMPLATE (result) : decl;
    1205                 :       2052 :       tree gargs = generic_targs_for (tmpl);
    1206                 :       4104 :       processing_template_decl_sentinel s;
    1207                 :       2052 :       if (uses_template_parms (gargs))
    1208                 :       2052 :         ++processing_template_decl;
    1209                 :       2052 :       reqs = tsubst_constraint (reqs, gargs,
    1210                 :            :                                 tf_warning_or_error, NULL_TREE);
    1211                 :            :     }
    1212                 :            :   return reqs;
    1213                 :            : }
    1214                 :            : 
    1215                 :            : /* Returns the template-head requires clause for the template
    1216                 :            :    declaration T or NULL_TREE if none.  */
    1217                 :            : 
    1218                 :            : tree
    1219                 :          0 : get_template_head_requirements (tree t)
    1220                 :            : {
    1221                 :          0 :   tree ci = get_constraints (t);
    1222                 :          0 :   if (!ci)
    1223                 :            :     return NULL_TREE;
    1224                 :          0 :   return CI_TEMPLATE_REQS (ci);
    1225                 :            : }
    1226                 :            : 
    1227                 :            : /* Returns the trailing requires clause of the declarator of
    1228                 :            :    a template declaration T or NULL_TREE if none.  */
    1229                 :            : 
    1230                 :            : tree
    1231                 :     771124 : get_trailing_function_requirements (tree t)
    1232                 :            : {
    1233                 :     771124 :   tree ci = get_constraints (t);
    1234                 :     771124 :   if (!ci)
    1235                 :            :     return NULL_TREE;
    1236                 :       2878 :   return CI_DECLARATOR_REQS (ci);
    1237                 :            : }
    1238                 :            : 
    1239                 :            : /* Construct a sequence of template arguments by prepending
    1240                 :            :    ARG to REST. Either ARG or REST may be null. */
    1241                 :            : static tree
    1242                 :    2621810 : build_concept_check_arguments (tree arg, tree rest)
    1243                 :            : {
    1244                 :    2621810 :   gcc_assert (rest ? TREE_CODE (rest) == TREE_VEC : true);
    1245                 :    2621810 :   tree args;
    1246                 :    2621810 :   if (arg)
    1247                 :            :     {
    1248                 :     770877 :       int n = rest ? TREE_VEC_LENGTH (rest) : 0;
    1249                 :     508156 :       args = make_tree_vec (n + 1);
    1250                 :     508156 :       TREE_VEC_ELT (args, 0) = arg;
    1251                 :     508156 :       if (rest)
    1252                 :     566754 :         for (int i = 0; i < n; ++i)
    1253                 :     304033 :           TREE_VEC_ELT (args, i + 1) = TREE_VEC_ELT (rest, i);
    1254                 :     770877 :       int def = rest ? GET_NON_DEFAULT_TEMPLATE_ARGS_COUNT (rest) : 0;
    1255                 :     508156 :       SET_NON_DEFAULT_TEMPLATE_ARGS_COUNT (args, def + 1);
    1256                 :            :     }
    1257                 :            :   else
    1258                 :            :     {
    1259                 :    2113660 :       gcc_assert (rest != NULL_TREE);
    1260                 :            :       args = rest;
    1261                 :            :     }
    1262                 :    2621810 :   return args;
    1263                 :            : }
    1264                 :            : 
    1265                 :            : /* Builds an id-expression of the form `C<Args...>()` where C is a function
    1266                 :            :    concept.  */
    1267                 :            : 
    1268                 :            : static tree
    1269                 :        582 : build_function_check (tree tmpl, tree args, tsubst_flags_t /*complain*/)
    1270                 :            : {
    1271                 :        582 :   if (TREE_CODE (tmpl) == TEMPLATE_DECL)
    1272                 :            :     {
    1273                 :            :       /* If we just got a template, wrap it in an overload so it looks like any
    1274                 :            :          other template-id. */
    1275                 :          4 :       tmpl = ovl_make (tmpl);
    1276                 :          4 :       TREE_TYPE (tmpl) = boolean_type_node;
    1277                 :            :     }
    1278                 :            : 
    1279                 :            :   /* Perform function concept resolution now so we always have a single
    1280                 :            :      function of the overload set (even if we started with only one; the
    1281                 :            :      resolution function converts template arguments). Note that we still
    1282                 :            :      wrap this in an overload set so we don't upset other parts of the
    1283                 :            :      compiler that expect template-ids referring to function concepts
    1284                 :            :      to have an overload set.  */
    1285                 :        582 :   tree info = resolve_function_concept_overload (tmpl, args);
    1286                 :        582 :   if (info == error_mark_node)
    1287                 :            :     return error_mark_node;
    1288                 :        552 :   if (!info)
    1289                 :            :     {
    1290                 :          0 :       error ("no matching concepts for %qE", tmpl);
    1291                 :          0 :       return error_mark_node;
    1292                 :            :     }
    1293                 :        552 :   args = TREE_PURPOSE (info);
    1294                 :        552 :   tmpl = DECL_TI_TEMPLATE (TREE_VALUE (info));
    1295                 :            : 
    1296                 :            :   /* Rebuild the singleton overload set; mark the type bool.  */
    1297                 :        552 :   tmpl = ovl_make (tmpl, NULL_TREE);
    1298                 :        552 :   TREE_TYPE (tmpl) = boolean_type_node;
    1299                 :            : 
    1300                 :            :   /* Build the id-expression around the overload set.  */
    1301                 :        552 :   tree id = build2 (TEMPLATE_ID_EXPR, boolean_type_node, tmpl, args);
    1302                 :            : 
    1303                 :            :   /* Finally, build the call expression around the overload.  */
    1304                 :        552 :   ++processing_template_decl;
    1305                 :        552 :   vec<tree, va_gc> *fargs = make_tree_vector ();
    1306                 :        552 :   tree call = build_min_nt_call_vec (id, fargs);
    1307                 :        552 :   TREE_TYPE (call) = boolean_type_node;
    1308                 :        552 :   release_tree_vector (fargs);
    1309                 :        552 :   --processing_template_decl;
    1310                 :            : 
    1311                 :        552 :   return call;
    1312                 :            : }
    1313                 :            : 
    1314                 :            : /* Builds an id-expression of the form `C<Args...>` where C is a variable
    1315                 :            :    concept.  */
    1316                 :            : 
    1317                 :            : static tree
    1318                 :        405 : build_variable_check (tree tmpl, tree args, tsubst_flags_t complain)
    1319                 :            : {
    1320                 :        405 :   gcc_assert (variable_concept_p (tmpl));
    1321                 :        405 :   gcc_assert (TREE_CODE (tmpl) == TEMPLATE_DECL);
    1322                 :        405 :   tree parms = INNERMOST_TEMPLATE_PARMS (DECL_TEMPLATE_PARMS (tmpl));
    1323                 :        405 :   args = coerce_template_parms (parms, args, tmpl, complain);
    1324                 :        405 :   if (args == error_mark_node)
    1325                 :            :     return error_mark_node;
    1326                 :        395 :   return build2 (TEMPLATE_ID_EXPR, boolean_type_node, tmpl, args);
    1327                 :            : }
    1328                 :            : 
    1329                 :            : /* Builds an id-expression of the form `C<Args...>` where C is a standard
    1330                 :            :    concept.  */
    1331                 :            : 
    1332                 :            : static tree
    1333                 :    2620830 : build_standard_check (tree tmpl, tree args, tsubst_flags_t complain)
    1334                 :            : {
    1335                 :    5241650 :   gcc_assert (standard_concept_p (tmpl));
    1336                 :    2620830 :   gcc_assert (TREE_CODE (tmpl) == TEMPLATE_DECL);
    1337                 :    2620830 :   tree parms = INNERMOST_TEMPLATE_PARMS (DECL_TEMPLATE_PARMS (tmpl));
    1338                 :    2620830 :   args = coerce_template_parms (parms, args, tmpl, complain);
    1339                 :    2620830 :   if (args == error_mark_node)
    1340                 :            :     return error_mark_node;
    1341                 :    2546480 :   return build2 (TEMPLATE_ID_EXPR, boolean_type_node, tmpl, args);
    1342                 :            : }
    1343                 :            : 
    1344                 :            : /* Construct an expression that checks TARGET using ARGS.  */
    1345                 :            : 
    1346                 :            : tree
    1347                 :    2113660 : build_concept_check (tree target, tree args, tsubst_flags_t complain)
    1348                 :            : {
    1349                 :    2113660 :   return build_concept_check (target, NULL_TREE, args, complain);
    1350                 :            : }
    1351                 :            : 
    1352                 :            : /* Construct an expression that checks the concept given by DECL. If
    1353                 :            :    concept_definition_p (DECL) is false, this returns null.  */
    1354                 :            : 
    1355                 :            : tree
    1356                 :    2621810 : build_concept_check (tree decl, tree arg, tree rest, tsubst_flags_t complain)
    1357                 :            : {
    1358                 :    2621810 :   if (arg == NULL_TREE && rest == NULL_TREE)
    1359                 :            :     {
    1360                 :          0 :       tree id = build_nt (TEMPLATE_ID_EXPR, decl, rest);
    1361                 :          0 :       error ("invalid use concept %qE", id);
    1362                 :          0 :       return error_mark_node;
    1363                 :            :     }
    1364                 :            : 
    1365                 :    2621810 :   tree args = build_concept_check_arguments (arg, rest);
    1366                 :            : 
    1367                 :    5243050 :   if (standard_concept_p (decl))
    1368                 :    2620830 :     return build_standard_check (decl, args, complain);
    1369                 :        987 :   if (variable_concept_p (decl))
    1370                 :        405 :     return build_variable_check (decl, args, complain);
    1371                 :        582 :   if (function_concept_p (decl))
    1372                 :        582 :     return build_function_check (decl, args, complain);
    1373                 :            : 
    1374                 :          0 :   return error_mark_node;
    1375                 :            : }
    1376                 :            : 
    1377                 :            : /* Build a template-id that can participate in a concept check.  */
    1378                 :            : 
    1379                 :            : static tree
    1380                 :     444635 : build_concept_id (tree decl, tree args)
    1381                 :            : {
    1382                 :     444635 :   tree check = build_concept_check (decl, args, tf_warning_or_error);
    1383                 :     444635 :   if (check == error_mark_node)
    1384                 :            :     return error_mark_node;
    1385                 :     444629 :   return unpack_concept_check (check);
    1386                 :            : }
    1387                 :            : 
    1388                 :            : /* Build a template-id that can participate in a concept check, preserving
    1389                 :            :    the source location of the original template-id.  */
    1390                 :            : 
    1391                 :            : tree
    1392                 :     444635 : build_concept_id (tree expr)
    1393                 :            : {
    1394                 :     444635 :   gcc_assert (TREE_CODE (expr) == TEMPLATE_ID_EXPR);
    1395                 :     444635 :   tree id = build_concept_id (TREE_OPERAND (expr, 0), TREE_OPERAND (expr, 1));
    1396                 :     444635 :   protected_set_expr_location (id, cp_expr_location (expr));
    1397                 :     444635 :   return id;
    1398                 :            : }
    1399                 :            : 
    1400                 :            : /* Build as template-id with a placeholder that can be used as a
    1401                 :            :    type constraint.
    1402                 :            : 
    1403                 :            :    Note that this will diagnose errors if the initial concept check
    1404                 :            :    cannot be built.  */
    1405                 :            : 
    1406                 :            : tree
    1407                 :     291631 : build_type_constraint (tree decl, tree args, tsubst_flags_t complain)
    1408                 :            : {
    1409                 :     291631 :   tree wildcard = build_nt (WILDCARD_DECL);
    1410                 :     291631 :   tree check = build_concept_check (decl, wildcard, args, complain);
    1411                 :     291631 :   if (check == error_mark_node)
    1412                 :            :     return error_mark_node;
    1413                 :     217259 :   return unpack_concept_check (check);
    1414                 :            : }
    1415                 :            : 
    1416                 :            : /* Returns a TYPE_DECL that contains sufficient information to
    1417                 :            :    build a template parameter of the same kind as PROTO and
    1418                 :            :    constrained by the concept declaration CNC.  Note that PROTO
    1419                 :            :    is the first template parameter of CNC.
    1420                 :            : 
    1421                 :            :    If specified, ARGS provides additional arguments to the
    1422                 :            :    constraint check.  */
    1423                 :            : tree
    1424                 :     162096 : build_constrained_parameter (tree cnc, tree proto, tree args)
    1425                 :            : {
    1426                 :     162096 :   tree name = DECL_NAME (cnc);
    1427                 :     162096 :   tree type = TREE_TYPE (proto);
    1428                 :     162096 :   tree decl = build_decl (input_location, TYPE_DECL, name, type);
    1429                 :     162096 :   CONSTRAINED_PARM_PROTOTYPE (decl) = proto;
    1430                 :     162096 :   CONSTRAINED_PARM_CONCEPT (decl) = cnc;
    1431                 :     162096 :   CONSTRAINED_PARM_EXTRA_ARGS (decl) = args;
    1432                 :     162096 :   return decl;
    1433                 :            : }
    1434                 :            : 
    1435                 :            : /* Create a constraint expression for the given DECL that evaluates the
    1436                 :            :    requirements specified by CONSTR, a TYPE_DECL that contains all the
    1437                 :            :    information necessary to build the requirements (see finish_concept_name
    1438                 :            :    for the layout of that TYPE_DECL).
    1439                 :            : 
    1440                 :            :    Note that the constraints are neither reduced nor decomposed. That is
    1441                 :            :    done only after the requires clause has been parsed (or not).  */
    1442                 :            : 
    1443                 :            : tree
    1444                 :   14079700 : finish_shorthand_constraint (tree decl, tree constr)
    1445                 :            : {
    1446                 :            :   /* No requirements means no constraints.  */
    1447                 :   14079700 :   if (!constr)
    1448                 :            :     return NULL_TREE;
    1449                 :            : 
    1450                 :     324176 :   if (error_operand_p (constr))
    1451                 :            :     return NULL_TREE;
    1452                 :            : 
    1453                 :     162088 :   tree proto = CONSTRAINED_PARM_PROTOTYPE (constr);
    1454                 :     162088 :   tree con = CONSTRAINED_PARM_CONCEPT (constr);
    1455                 :     162088 :   tree args = CONSTRAINED_PARM_EXTRA_ARGS (constr);
    1456                 :            : 
    1457                 :            :   /* The TS lets use shorthand to constrain a pack of arguments, but the
    1458                 :            :      standard does not.
    1459                 :            : 
    1460                 :            :      For the TS, consider:
    1461                 :            : 
    1462                 :            :         template<C... Ts> struct s;
    1463                 :            : 
    1464                 :            :      If C is variadic (and because Ts is a pack), we associate the
    1465                 :            :      constraint C<Ts...>. In all other cases, we associate
    1466                 :            :      the constraint (C<Ts> && ...).
    1467                 :            : 
    1468                 :            :      The standard behavior cannot be overridden by -fconcepts-ts.  */
    1469                 :     162088 :   bool variadic_concept_p = template_parameter_pack_p (proto);
    1470                 :     162088 :   bool declared_pack_p = template_parameter_pack_p (decl);
    1471                 :     162088 :   bool apply_to_each_p = (cxx_dialect >= cxx2a) ? true : !variadic_concept_p;
    1472                 :            : 
    1473                 :            :   /* Get the argument and overload used for the requirement
    1474                 :            :      and adjust it if we're going to expand later.  */
    1475                 :     162088 :   tree arg = template_parm_to_arg (build_tree_list (NULL_TREE, decl));
    1476                 :     162088 :   if (apply_to_each_p && declared_pack_p)
    1477                 :         84 :     arg = PACK_EXPANSION_PATTERN (TREE_VEC_ELT (ARGUMENT_PACK_ARGS (arg), 0));
    1478                 :            : 
    1479                 :            :   /* Build the concept constraint-expression.  */
    1480                 :     162088 :   tree tmpl = DECL_TI_TEMPLATE (con);
    1481                 :     162088 :   tree check = tmpl;
    1482                 :     162088 :   if (TREE_CODE (con) == FUNCTION_DECL)
    1483                 :        101 :     check = ovl_make (tmpl);
    1484                 :     162088 :   check = build_concept_check (check, arg, args, tf_warning_or_error);
    1485                 :            : 
    1486                 :            :   /* Make the check a fold-expression if needed.  */
    1487                 :     162088 :   if (apply_to_each_p && declared_pack_p)
    1488                 :         30 :     check = finish_left_unary_fold_expr (check, TRUTH_ANDIF_EXPR);
    1489                 :            : 
    1490                 :            :   return check;
    1491                 :            : }
    1492                 :            : 
    1493                 :            : /* Returns a conjunction of shorthand requirements for the template
    1494                 :            :    parameter list PARMS. Note that the requirements are stored in
    1495                 :            :    the TYPE of each tree node. */
    1496                 :            : 
    1497                 :            : tree
    1498                 :    2094790 : get_shorthand_constraints (tree parms)
    1499                 :            : {
    1500                 :    2094790 :   tree result = NULL_TREE;
    1501                 :    2094790 :   parms = INNERMOST_TEMPLATE_PARMS (parms);
    1502                 :    6072170 :   for (int i = 0; i < TREE_VEC_LENGTH (parms); ++i)
    1503                 :            :     {
    1504                 :    3977380 :       tree parm = TREE_VEC_ELT (parms, i);
    1505                 :    3977380 :       tree constr = TEMPLATE_PARM_CONSTRAINTS (parm);
    1506                 :    3977380 :       result = combine_constraint_expressions (result, constr);
    1507                 :            :     }
    1508                 :    2094790 :   return result;
    1509                 :            : }
    1510                 :            : 
    1511                 :            : /* Get the deduced wildcard from a DEDUCED placeholder.  If the deduced
    1512                 :            :    wildcard is a pack, return the first argument of that pack.  */
    1513                 :            : 
    1514                 :            : static tree
    1515                 :         46 : get_deduced_wildcard (tree wildcard)
    1516                 :            : {
    1517                 :         46 :   if (ARGUMENT_PACK_P (wildcard))
    1518                 :         20 :     wildcard = TREE_VEC_ELT (ARGUMENT_PACK_ARGS (wildcard), 0);
    1519                 :         46 :   gcc_assert (TREE_CODE (wildcard) == WILDCARD_DECL);
    1520                 :         46 :   return wildcard;
    1521                 :            : }
    1522                 :            : 
    1523                 :            : /* Returns the prototype parameter for the nth deduced wildcard.  */
    1524                 :            : 
    1525                 :            : static tree
    1526                 :         46 : get_introduction_prototype (tree wildcards, int index)
    1527                 :            : {
    1528                 :         46 :   return TREE_TYPE (get_deduced_wildcard (TREE_VEC_ELT (wildcards, index)));
    1529                 :            : }
    1530                 :            : 
    1531                 :            : /* Introduce a type template parameter.  */
    1532                 :            : 
    1533                 :            : static tree
    1534                 :         40 : introduce_type_template_parameter (tree wildcard, bool& non_type_p)
    1535                 :            : {
    1536                 :         40 :   non_type_p = false;
    1537                 :         40 :   return finish_template_type_parm (class_type_node, DECL_NAME (wildcard));
    1538                 :            : }
    1539                 :            : 
    1540                 :            : /* Introduce a template template parameter.  */
    1541                 :            : 
    1542                 :            : static tree
    1543                 :          3 : introduce_template_template_parameter (tree wildcard, bool& non_type_p)
    1544                 :            : {
    1545                 :          3 :   non_type_p = false;
    1546                 :          3 :   begin_template_parm_list ();
    1547                 :          3 :   current_template_parms = DECL_TEMPLATE_PARMS (TREE_TYPE (wildcard));
    1548                 :          3 :   end_template_parm_list ();
    1549                 :          3 :   return finish_template_template_parm (class_type_node, DECL_NAME (wildcard));
    1550                 :            : }
    1551                 :            : 
    1552                 :            : /* Introduce a template non-type parameter.  */
    1553                 :            : 
    1554                 :            : static tree
    1555                 :          7 : introduce_nontype_template_parameter (tree wildcard, bool& non_type_p)
    1556                 :            : {
    1557                 :          7 :   non_type_p = true;
    1558                 :          7 :   tree parm = copy_decl (TREE_TYPE (wildcard));
    1559                 :          7 :   DECL_NAME (parm) = DECL_NAME (wildcard);
    1560                 :          7 :   return parm;
    1561                 :            : }
    1562                 :            : 
    1563                 :            : /* Introduce a single template parameter.  */
    1564                 :            : 
    1565                 :            : static tree
    1566                 :         50 : build_introduced_template_parameter (tree wildcard, bool& non_type_p)
    1567                 :            : {
    1568                 :         50 :   tree proto = TREE_TYPE (wildcard);
    1569                 :            : 
    1570                 :         50 :   tree parm;
    1571                 :         50 :   if (TREE_CODE (proto) == TYPE_DECL)
    1572                 :         40 :     parm = introduce_type_template_parameter (wildcard, non_type_p);
    1573                 :         10 :   else if (TREE_CODE (proto) == TEMPLATE_DECL)
    1574                 :          3 :     parm = introduce_template_template_parameter (wildcard, non_type_p);
    1575                 :            :   else
    1576                 :          7 :     parm = introduce_nontype_template_parameter (wildcard, non_type_p);
    1577                 :            : 
    1578                 :            :   /* Wrap in a TREE_LIST for process_template_parm. Note that introduced
    1579                 :            :      parameters do not retain the defaults from the source parameter.  */
    1580                 :         50 :   return build_tree_list (NULL_TREE, parm);
    1581                 :            : }
    1582                 :            : 
    1583                 :            : /* Introduce a single template parameter.  */
    1584                 :            : 
    1585                 :            : static tree
    1586                 :         43 : introduce_template_parameter (tree parms, tree wildcard)
    1587                 :            : {
    1588                 :         43 :   gcc_assert (!ARGUMENT_PACK_P (wildcard));
    1589                 :         43 :   tree proto = TREE_TYPE (wildcard);
    1590                 :         43 :   location_t loc = DECL_SOURCE_LOCATION (wildcard);
    1591                 :            : 
    1592                 :            :   /* Diagnose the case where we have C{...Args}.  */
    1593                 :         86 :   if (WILDCARD_PACK_P (wildcard))
    1594                 :            :     {
    1595                 :          2 :       tree id = DECL_NAME (wildcard);
    1596                 :          2 :       error_at (loc, "%qE cannot be introduced with an ellipsis %<...%>", id);
    1597                 :          2 :       inform (DECL_SOURCE_LOCATION (proto), "prototype declared here");
    1598                 :            :     }
    1599                 :            : 
    1600                 :         43 :   bool non_type_p;
    1601                 :         43 :   tree parm = build_introduced_template_parameter (wildcard, non_type_p);
    1602                 :         43 :   return process_template_parm (parms, loc, parm, non_type_p, false);
    1603                 :            : }
    1604                 :            : 
    1605                 :            : /* Introduce a template parameter pack.  */
    1606                 :            : 
    1607                 :            : static tree
    1608                 :          7 : introduce_template_parameter_pack (tree parms, tree wildcard)
    1609                 :            : {
    1610                 :          7 :   bool non_type_p;
    1611                 :          7 :   tree parm = build_introduced_template_parameter (wildcard, non_type_p);
    1612                 :          7 :   location_t loc = DECL_SOURCE_LOCATION (wildcard);
    1613                 :          7 :   return process_template_parm (parms, loc, parm, non_type_p, true);
    1614                 :            : }
    1615                 :            : 
    1616                 :            : /* Introduce the nth template parameter.  */
    1617                 :            : 
    1618                 :            : static tree
    1619                 :         35 : introduce_template_parameter (tree parms, tree wildcards, int& index)
    1620                 :            : {
    1621                 :         35 :   tree deduced = TREE_VEC_ELT (wildcards, index++);
    1622                 :         35 :   return introduce_template_parameter (parms, deduced);
    1623                 :            : }
    1624                 :            : 
    1625                 :            : /* Introduce either a template parameter pack or a list of template
    1626                 :            :    parameters.  */
    1627                 :            : 
    1628                 :            : static tree
    1629                 :         11 : introduce_template_parameters (tree parms, tree wildcards, int& index)
    1630                 :            : {
    1631                 :            :   /* If the prototype was a parameter, we better have deduced an
    1632                 :            :      argument pack, and that argument must be the last deduced value
    1633                 :            :      in the wildcard vector.  */
    1634                 :         11 :   tree deduced = TREE_VEC_ELT (wildcards, index++);
    1635                 :         11 :   gcc_assert (ARGUMENT_PACK_P (deduced));
    1636                 :         11 :   gcc_assert (index == TREE_VEC_LENGTH (wildcards));
    1637                 :            : 
    1638                 :            :   /* Introduce each element in the pack.  */
    1639                 :         20 :   tree args = ARGUMENT_PACK_ARGS (deduced);
    1640                 :         26 :   for (int i = 0; i < TREE_VEC_LENGTH (args); ++i)
    1641                 :            :     {
    1642                 :         15 :       tree arg = TREE_VEC_ELT (args, i);
    1643                 :         30 :       if (WILDCARD_PACK_P (arg))
    1644                 :          7 :         parms = introduce_template_parameter_pack (parms, arg);
    1645                 :            :       else
    1646                 :          8 :         parms = introduce_template_parameter (parms, arg);
    1647                 :            :     }
    1648                 :            : 
    1649                 :         11 :   return parms;
    1650                 :            : }
    1651                 :            : 
    1652                 :            : /* Builds the template parameter list PARMS by chaining introduced
    1653                 :            :    parameters from the WILDCARD vector.  INDEX is the position of
    1654                 :            :    the current parameter.  */
    1655                 :            : 
    1656                 :            : static tree
    1657                 :         46 : process_introduction_parms (tree parms, tree wildcards, int& index)
    1658                 :            : {
    1659                 :         46 :   tree proto = get_introduction_prototype (wildcards, index);
    1660                 :         46 :   if (template_parameter_pack_p (proto))
    1661                 :         11 :     return introduce_template_parameters (parms, wildcards, index);
    1662                 :            :   else
    1663                 :         35 :     return introduce_template_parameter (parms, wildcards, index);
    1664                 :            : }
    1665                 :            : 
    1666                 :            : /* Ensure that all template parameters have been introduced for the concept
    1667                 :            :    named in CHECK.  If not, emit a diagnostic.
    1668                 :            : 
    1669                 :            :    Note that implicitly introducing a parameter with a default argument
    1670                 :            :      creates a case where a parameter is declared, but unnamed, making
    1671                 :            :      it unusable in the definition.  */
    1672                 :            : 
    1673                 :            : static bool
    1674                 :         36 : check_introduction_list (tree intros, tree check)
    1675                 :            : {
    1676                 :         36 :   check = unpack_concept_check (check);
    1677                 :         36 :   tree tmpl = TREE_OPERAND (check, 0);
    1678                 :         36 :   if (OVL_P (tmpl))
    1679                 :         36 :     tmpl = OVL_FIRST (tmpl);
    1680                 :            : 
    1681                 :         36 :   tree parms = DECL_INNERMOST_TEMPLATE_PARMS (tmpl);
    1682                 :         36 :   if (TREE_VEC_LENGTH (intros) < TREE_VEC_LENGTH (parms))
    1683                 :            :     {
    1684                 :          1 :       error_at (input_location, "all template parameters of %qD must "
    1685                 :            :                                 "be introduced", tmpl);
    1686                 :          1 :       return false;
    1687                 :            :     }
    1688                 :            : 
    1689                 :            :    return true;
    1690                 :            : }
    1691                 :            : 
    1692                 :            : /* Associates a constraint check to the current template based on the
    1693                 :            :    introduction parameters.  INTRO_LIST must be a TREE_VEC of WILDCARD_DECLs
    1694                 :            :    containing a chained PARM_DECL which contains the identifier as well as
    1695                 :            :    the source location. TMPL_DECL is the decl for the concept being used.
    1696                 :            :    If we take a concept, C, this will form a check in the form of
    1697                 :            :    C<INTRO_LIST> filling in any extra arguments needed by the defaults
    1698                 :            :    deduced.
    1699                 :            : 
    1700                 :            :    Returns NULL_TREE if no concept could be matched and error_mark_node if
    1701                 :            :    an error occurred when matching.  */
    1702                 :            : 
    1703                 :            : tree
    1704                 :         39 : finish_template_introduction (tree tmpl_decl,
    1705                 :            :                               tree intro_list,
    1706                 :            :                               location_t intro_loc)
    1707                 :            : {
    1708                 :            :   /* Build a concept check to deduce the actual parameters.  */
    1709                 :         39 :   tree expr = build_concept_check (tmpl_decl, intro_list, tf_none);
    1710                 :         39 :   if (expr == error_mark_node)
    1711                 :            :     {
    1712                 :          3 :       error_at (intro_loc, "cannot deduce template parameters from "
    1713                 :            :                            "introduction list");
    1714                 :          3 :       return error_mark_node;
    1715                 :            :     }
    1716                 :            : 
    1717                 :         36 :   if (!check_introduction_list (intro_list, expr))
    1718                 :          1 :     return error_mark_node;
    1719                 :            : 
    1720                 :         35 :   tree parms = deduce_concept_introduction (expr);
    1721                 :         35 :   if (!parms)
    1722                 :            :     return NULL_TREE;
    1723                 :            : 
    1724                 :            :   /* Build template parameter scope for introduction.  */
    1725                 :         35 :   tree parm_list = NULL_TREE;
    1726                 :         35 :   begin_template_parm_list ();
    1727                 :         35 :   int nargs = MIN (TREE_VEC_LENGTH (parms), TREE_VEC_LENGTH (intro_list));
    1728                 :         81 :   for (int n = 0; n < nargs; )
    1729                 :         46 :     parm_list = process_introduction_parms (parm_list, parms, n);
    1730                 :         35 :   parm_list = end_template_parm_list (parm_list);
    1731                 :            : 
    1732                 :            :   /* Update the number of arguments to reflect the number of deduced
    1733                 :            :      template parameter introductions.  */
    1734                 :         35 :   nargs = TREE_VEC_LENGTH (parm_list);
    1735                 :            : 
    1736                 :            :   /* Determine if any errors occurred during matching.  */
    1737                 :         85 :   for (int i = 0; i < TREE_VEC_LENGTH (parm_list); ++i)
    1738                 :         50 :     if (TREE_VALUE (TREE_VEC_ELT (parm_list, i)) == error_mark_node)
    1739                 :            :       {
    1740                 :          0 :         end_template_decl ();
    1741                 :          0 :         return error_mark_node;
    1742                 :            :       }
    1743                 :            : 
    1744                 :            :   /* Build a concept check for our constraint.  */
    1745                 :         35 :   tree check_args = make_tree_vec (nargs);
    1746                 :         35 :   int n = 0;
    1747                 :         85 :   for (; n < TREE_VEC_LENGTH (parm_list); ++n)
    1748                 :            :     {
    1749                 :         50 :       tree parm = TREE_VEC_ELT (parm_list, n);
    1750                 :         50 :       TREE_VEC_ELT (check_args, n) = template_parm_to_arg (parm);
    1751                 :            :     }
    1752                 :         35 :   SET_NON_DEFAULT_TEMPLATE_ARGS_COUNT (check_args, n);
    1753                 :            : 
    1754                 :            :   /* If the template expects more parameters we should be able
    1755                 :            :      to use the defaults from our deduced concept.  */
    1756                 :         35 :   for (; n < TREE_VEC_LENGTH (parms); ++n)
    1757                 :          0 :     TREE_VEC_ELT (check_args, n) = TREE_VEC_ELT (parms, n);
    1758                 :            : 
    1759                 :            :   /* Associate the constraint.  */
    1760                 :         35 :   tree check = build_concept_check (tmpl_decl,
    1761                 :            :                                     check_args,
    1762                 :            :                                     tf_warning_or_error);
    1763                 :         35 :   TEMPLATE_PARMS_CONSTRAINTS (current_template_parms) = check;
    1764                 :            : 
    1765                 :         35 :   return parm_list;
    1766                 :            : }
    1767                 :            : 
    1768                 :            : 
    1769                 :            : /* Given the concept check T from a constrained-type-specifier, extract
    1770                 :            :    its TMPL and ARGS.  FIXME why do we need two different forms of
    1771                 :            :    constrained-type-specifier?  */
    1772                 :            : 
    1773                 :            : void
    1774                 :   14924200 : placeholder_extract_concept_and_args (tree t, tree &tmpl, tree &args)
    1775                 :            : {
    1776                 :   14924200 :   if (concept_check_p (t))
    1777                 :            :     {
    1778                 :   14924200 :       t = unpack_concept_check (t);
    1779                 :   14924200 :       tmpl = TREE_OPERAND (t, 0);
    1780                 :   14924200 :       if (TREE_CODE (tmpl) == OVERLOAD)
    1781                 :         27 :         tmpl = OVL_FIRST (tmpl);
    1782                 :   14924200 :       args = TREE_OPERAND (t, 1);
    1783                 :   14924200 :       return;
    1784                 :            :     }
    1785                 :            : 
    1786                 :          0 :   if (TREE_CODE (t) == TYPE_DECL)
    1787                 :            :     {
    1788                 :            :       /* A constrained parameter.  Build a constraint check
    1789                 :            :          based on the prototype parameter and then extract the
    1790                 :            :          arguments from that.  */
    1791                 :          0 :       tree proto = CONSTRAINED_PARM_PROTOTYPE (t);
    1792                 :          0 :       tree check = finish_shorthand_constraint (proto, t);
    1793                 :          0 :       placeholder_extract_concept_and_args (check, tmpl, args);
    1794                 :          0 :       return;
    1795                 :            :     }
    1796                 :            : }
    1797                 :            : 
    1798                 :            : /* Returns true iff the placeholders C1 and C2 are equivalent.  C1
    1799                 :            :    and C2 can be either TEMPLATE_TYPE_PARM or template-ids.  */
    1800                 :            : 
    1801                 :            : bool
    1802                 :   56315500 : equivalent_placeholder_constraints (tree c1, tree c2)
    1803                 :            : {
    1804                 :   56315500 :   if (c1 && TREE_CODE (c1) == TEMPLATE_TYPE_PARM)
    1805                 :            :     /* A constrained auto.  */
    1806                 :   56315500 :     c1 = PLACEHOLDER_TYPE_CONSTRAINTS (c1);
    1807                 :   56315500 :   if (c2 && TREE_CODE (c2) == TEMPLATE_TYPE_PARM)
    1808                 :   56315500 :     c2 = PLACEHOLDER_TYPE_CONSTRAINTS (c2);
    1809                 :            : 
    1810                 :   56315500 :   if (c1 == c2)
    1811                 :            :     return true;
    1812                 :    7602090 :   if (!c1 || !c2)
    1813                 :            :     return false;
    1814                 :    7462030 :   if (c1 == error_mark_node || c2 == error_mark_node)
    1815                 :            :     /* We get here during satisfaction; when a deduction constraint
    1816                 :            :        fails, substitution can produce an error_mark_node for the
    1817                 :            :        placeholder constraints.  */
    1818                 :            :     return false;
    1819                 :            : 
    1820                 :    7462030 :   tree t1, t2, a1, a2;
    1821                 :    7462030 :   placeholder_extract_concept_and_args (c1, t1, a1);
    1822                 :    7462030 :   placeholder_extract_concept_and_args (c2, t2, a2);
    1823                 :            : 
    1824                 :    7462030 :   if (t1 != t2)
    1825                 :            :     return false;
    1826                 :            : 
    1827                 :    1997230 :   int len1 = TREE_VEC_LENGTH (a1);
    1828                 :    1997230 :   int len2 = TREE_VEC_LENGTH (a2);
    1829                 :    1997230 :   if (len1 != len2)
    1830                 :            :     return false;
    1831                 :            : 
    1832                 :            :   /* Skip the first argument so we don't infinitely recurse.
    1833                 :            :      Also, they may differ in template parameter index.  */
    1834                 :    2065640 :   for (int i = 1; i < len1; ++i)
    1835                 :            :     {
    1836                 :    1661080 :       tree t1 = TREE_VEC_ELT (a1, i);
    1837                 :    1661080 :       tree t2 = TREE_VEC_ELT (a2, i);
    1838                 :    1661080 :       if (!template_args_equal (t1, t2))
    1839                 :            :       return false;
    1840                 :            :     }
    1841                 :            :   return true;
    1842                 :            : }
    1843                 :            : 
    1844                 :            : /* Return a hash value for the placeholder ATOMIC_CONSTR C.  */
    1845                 :            : 
    1846                 :            : hashval_t
    1847                 :         88 : hash_placeholder_constraint (tree c)
    1848                 :            : {
    1849                 :         88 :   tree t, a;
    1850                 :         88 :   placeholder_extract_concept_and_args (c, t, a);
    1851                 :            : 
    1852                 :            :   /* Like hash_tmpl_and_args, but skip the first argument.  */
    1853                 :         88 :   hashval_t val = iterative_hash_object (DECL_UID (t), 0);
    1854                 :            : 
    1855                 :         98 :   for (int i = TREE_VEC_LENGTH (a)-1; i > 0; --i)
    1856                 :         10 :     val = iterative_hash_template_arg (TREE_VEC_ELT (a, i), val);
    1857                 :            : 
    1858                 :         88 :   return val;
    1859                 :            : }
    1860                 :            : 
    1861                 :            : /* Substitute through the simple requirement.  */
    1862                 :            : 
    1863                 :            : static tree
    1864                 :    1938490 : tsubst_valid_expression_requirement (tree t, tree args, subst_info info)
    1865                 :            : {
    1866                 :          0 :   return tsubst_expr (t, args, info.complain, info.in_decl, false);
    1867                 :            : }
    1868                 :            : 
    1869                 :            : 
    1870                 :            : /* Substitute through the simple requirement.  */
    1871                 :            : 
    1872                 :            : static tree
    1873                 :    1128920 : tsubst_simple_requirement (tree t, tree args, subst_info info)
    1874                 :            : {
    1875                 :    1128920 :   tree t0 = TREE_OPERAND (t, 0);
    1876                 :    1128920 :   tree expr = tsubst_valid_expression_requirement (t0, args, info);
    1877                 :    1126220 :   if (expr == error_mark_node)
    1878                 :            :     return error_mark_node;
    1879                 :    1076580 :   return finish_simple_requirement (EXPR_LOCATION (t), expr);
    1880                 :            : }
    1881                 :            : 
    1882                 :            : /* Substitute through the type requirement.  */
    1883                 :            : 
    1884                 :            : static tree
    1885                 :     267861 : tsubst_type_requirement (tree t, tree args, subst_info info)
    1886                 :            : {
    1887                 :     267861 :   tree t0 = TREE_OPERAND (t, 0);
    1888                 :     267861 :   tree type = tsubst (t0, args, info.complain, info.in_decl);
    1889                 :     267861 :   if (type == error_mark_node)
    1890                 :            :     return error_mark_node;
    1891                 :     261356 :   return finish_type_requirement (EXPR_LOCATION (t), type);
    1892                 :            : }
    1893                 :            : 
    1894                 :            : /* True if TYPE can be deduced from EXPR.  */
    1895                 :            : 
    1896                 :            : static bool
    1897                 :     803085 : type_deducible_p (tree expr, tree type, tree placeholder, tree args,
    1898                 :            :                   subst_info info)
    1899                 :            : {
    1900                 :            :   /* Make sure deduction is performed against ( EXPR ), so that
    1901                 :            :      references are preserved in the result.  */
    1902                 :     803085 :   expr = force_paren_expr_uneval (expr);
    1903                 :            : 
    1904                 :            :   /* Replace the constraints with the instantiated constraints. This
    1905                 :            :      substitutes args into any template parameters in the trailing
    1906                 :            :      result type.  */
    1907                 :     803085 :   tree saved_constr = PLACEHOLDER_TYPE_CONSTRAINTS (placeholder);
    1908                 :     803085 :   tree subst_constr
    1909                 :     803085 :     = tsubst_constraint (saved_constr,
    1910                 :            :                          args,
    1911                 :            :                          info.complain | tf_partial,
    1912                 :            :                          info.in_decl);
    1913                 :            : 
    1914                 :     803085 :   if (subst_constr == error_mark_node)
    1915                 :            :     return false;
    1916                 :            : 
    1917                 :     803085 :   PLACEHOLDER_TYPE_CONSTRAINTS (placeholder) = subst_constr;
    1918                 :            : 
    1919                 :            :   /* Temporarily unlink the canonical type.  */
    1920                 :     803085 :   tree saved_type = TYPE_CANONICAL (placeholder);
    1921                 :     803085 :   TYPE_CANONICAL (placeholder) = NULL_TREE;
    1922                 :            : 
    1923                 :     803085 :   tree deduced_type
    1924                 :     803085 :     = do_auto_deduction (type,
    1925                 :            :                          expr,
    1926                 :            :                          placeholder,
    1927                 :            :                          info.complain,
    1928                 :            :                          adc_requirement);
    1929                 :            : 
    1930                 :     803085 :   PLACEHOLDER_TYPE_CONSTRAINTS (placeholder) = saved_constr;
    1931                 :     803085 :   TYPE_CANONICAL (placeholder) = saved_type;
    1932                 :            : 
    1933                 :     803085 :   if (deduced_type == error_mark_node)
    1934                 :        177 :     return false;
    1935                 :            : 
    1936                 :            :   return true;
    1937                 :            : }
    1938                 :            : 
    1939                 :            : /* True if EXPR can not be converted to TYPE.  */
    1940                 :            : 
    1941                 :            : static bool
    1942                 :         12 : expression_convertible_p (tree expr, tree type, subst_info info)
    1943                 :            : {
    1944                 :         12 :   tree conv =
    1945                 :         12 :     perform_direct_initialization_if_possible (type, expr, false,
    1946                 :            :                                                info.complain);
    1947                 :         12 :   if (conv == error_mark_node)
    1948                 :            :     return false;
    1949                 :          4 :   if (conv == NULL_TREE)
    1950                 :            :     {
    1951                 :          0 :       if (info.complain & tf_error)
    1952                 :            :         {
    1953                 :          0 :           location_t loc = EXPR_LOC_OR_LOC (expr, input_location);
    1954                 :          0 :           error_at (loc, "cannot convert %qE to %qT", expr, type);
    1955                 :            :         }
    1956                 :          0 :       return false;
    1957                 :            :     }
    1958                 :            :   return true;
    1959                 :            : }
    1960                 :            : 
    1961                 :            : 
    1962                 :            : /* Substitute through the compound requirement.  */
    1963                 :            : 
    1964                 :            : static tree
    1965                 :     809568 : tsubst_compound_requirement (tree t, tree args, subst_info info)
    1966                 :            : {
    1967                 :     809568 :   tree t0 = TREE_OPERAND (t, 0);
    1968                 :     809568 :   tree t1 = TREE_OPERAND (t, 1);
    1969                 :     809568 :   tree expr = tsubst_valid_expression_requirement (t0, args, info);
    1970                 :     809568 :   if (expr == error_mark_node)
    1971                 :            :     return error_mark_node;
    1972                 :            : 
    1973                 :            :   /* Check the noexcept condition.  */
    1974                 :     803079 :   bool noexcept_p = COMPOUND_REQ_NOEXCEPT_P (t);
    1975                 :     803079 :   if (noexcept_p && !expr_noexcept_p (expr, tf_none))
    1976                 :          2 :     return error_mark_node;
    1977                 :            : 
    1978                 :            :   /* Substitute through the type expression, if any.  */
    1979                 :     803077 :   tree type = tsubst (t1, args, info.complain, info.in_decl);
    1980                 :     803077 :   if (type == error_mark_node)
    1981                 :            :     return error_mark_node;
    1982                 :            : 
    1983                 :            :   /* Check expression against the result type.  */
    1984                 :     803077 :   if (type)
    1985                 :            :     {
    1986                 :     803073 :       if (tree placeholder = type_uses_auto (type))
    1987                 :            :         {
    1988                 :     803065 :           if (!type_deducible_p (expr, type, placeholder, args, info))
    1989                 :        157 :             return error_mark_node;
    1990                 :            :         }
    1991                 :          8 :       else if (!expression_convertible_p (expr, type, info))
    1992                 :          4 :         return error_mark_node;
    1993                 :            :     }
    1994                 :            : 
    1995                 :     802916 :   return finish_compound_requirement (EXPR_LOCATION (t),
    1996                 :     802916 :                                       expr, type, noexcept_p);
    1997                 :            : }
    1998                 :            : 
    1999                 :            : static tree
    2000                 :      44327 : tsubst_nested_requirement (tree t, tree args, subst_info info)
    2001                 :            : {
    2002                 :      44327 :   gcc_assert (!uses_template_parms (args));
    2003                 :            : 
    2004                 :            :   /* Ensure that we're in an evaluation context prior to satisfaction.  */
    2005                 :      44327 :   tree norm = TREE_VALUE (TREE_TYPE (t));
    2006                 :      44327 :   tree result = satisfy_constraint (norm, args, info);
    2007                 :      44327 :   if (result == error_mark_node && info.quiet ())
    2008                 :            :     {
    2009                 :          2 :       subst_info noisy (tf_warning_or_error, info.in_decl);
    2010                 :          2 :       satisfy_constraint (norm, args, noisy);
    2011                 :            :     }
    2012                 :      44327 :   if (result != boolean_true_node)
    2013                 :         52 :     return error_mark_node;
    2014                 :            :   return result;
    2015                 :            : }
    2016                 :            : 
    2017                 :            : /* Substitute ARGS into the requirement T.  */
    2018                 :            : 
    2019                 :            : static tree
    2020                 :    2250680 : tsubst_requirement (tree t, tree args, subst_info info)
    2021                 :            : {
    2022                 :    2250680 :   iloc_sentinel loc_s (cp_expr_location (t));
    2023                 :    2250680 :   switch (TREE_CODE (t))
    2024                 :            :     {
    2025                 :    1128920 :     case SIMPLE_REQ:
    2026                 :    1128920 :       return tsubst_simple_requirement (t, args, info);
    2027                 :     267861 :     case TYPE_REQ:
    2028                 :     267861 :       return tsubst_type_requirement (t, args, info);
    2029                 :     809568 :     case COMPOUND_REQ:
    2030                 :     809568 :       return tsubst_compound_requirement (t, args, info);
    2031                 :      44327 :     case NESTED_REQ:
    2032                 :      44327 :       return tsubst_nested_requirement (t, args, info);
    2033                 :          0 :     default:
    2034                 :          0 :       break;
    2035                 :            :     }
    2036                 :          0 :   gcc_unreachable ();
    2037                 :            : }
    2038                 :            : 
    2039                 :            : /* Substitute ARGS into the list of requirements T. Note that
    2040                 :            :    substitution failures here result in ill-formed programs. */
    2041                 :            : 
    2042                 :            : static tree
    2043                 :    1734790 : tsubst_requirement_body (tree t, tree args, subst_info info)
    2044                 :            : {
    2045                 :    1734790 :   tree result = NULL_TREE;
    2046                 :    3919920 :   while (t)
    2047                 :            :     {
    2048                 :    2250680 :       tree req = tsubst_requirement (TREE_VALUE (t), args, info);
    2049                 :    2247980 :       if (req == error_mark_node)
    2050                 :      62850 :         return error_mark_node;
    2051                 :    2185130 :       result = tree_cons (NULL_TREE, req, result);
    2052                 :    2185130 :       t = TREE_CHAIN (t);
    2053                 :            :     }
    2054                 :    1669240 :   return nreverse (result);
    2055                 :            : }
    2056                 :            : 
    2057                 :            : static tree
    2058                 :    1512920 : declare_constraint_vars (tree parms, tree vars)
    2059                 :            : {
    2060                 :    1512920 :   tree s = vars;
    2061                 :    3390210 :   for (tree t = parms; t; t = DECL_CHAIN (t))
    2062                 :            :     {
    2063                 :    3754590 :       if (DECL_PACK_P (t))
    2064                 :            :         {
    2065                 :         26 :           tree pack = extract_fnparm_pack (t, &s);
    2066                 :         26 :           register_local_specialization (pack, t);
    2067                 :            :         }
    2068                 :            :       else
    2069                 :            :         {
    2070                 :    1877270 :           register_local_specialization (s, t);
    2071                 :    1877270 :           s = DECL_CHAIN (s);
    2072                 :            :         }
    2073                 :            :     }
    2074                 :    1512920 :   return vars;
    2075                 :            : }
    2076                 :            : 
    2077                 :            : /* Substitute through as if checking function parameter types. This
    2078                 :            :    will diagnose common parameter type errors.  Returns error_mark_node
    2079                 :            :    if an error occurred.  */
    2080                 :            : 
    2081                 :            : static tree
    2082                 :    1512930 : check_constaint_variables (tree t, tree args, subst_info info)
    2083                 :            : {
    2084                 :    1512930 :   tree types = NULL_TREE;
    2085                 :    1512930 :   tree p = t;
    2086                 :    3390230 :   while (p && !VOID_TYPE_P (p))
    2087                 :            :     {
    2088                 :    1877300 :       types = tree_cons (NULL_TREE, TREE_TYPE (p), types);
    2089                 :    1877300 :       p = TREE_CHAIN (p);
    2090                 :            :     }
    2091                 :    1512930 :   types = chainon (nreverse (types), void_list_node);
    2092                 :    1512930 :   return tsubst_function_parms (types, args, info.complain, info.in_decl);
    2093                 :            : }
    2094                 :            : 
    2095                 :            : /* A subroutine of tsubst_parameterized_constraint. Substitute ARGS
    2096                 :            :    into the parameter list T, producing a sequence of constraint
    2097                 :            :    variables, declared in the current scope.
    2098                 :            : 
    2099                 :            :    Note that the caller must establish a local specialization stack
    2100                 :            :    prior to calling this function since this substitution will
    2101                 :            :    declare the substituted parameters. */
    2102                 :            : 
    2103                 :            : static tree
    2104                 :    1512930 : tsubst_constraint_variables (tree t, tree args, subst_info info)
    2105                 :            : {
    2106                 :            :   /* Perform a trial substitution to check for type errors.  */
    2107                 :    1512930 :   tree parms = check_constaint_variables (t, args, info);
    2108                 :    1512930 :   if (parms == error_mark_node)
    2109                 :            :     return error_mark_node;
    2110                 :            : 
    2111                 :            :   /* Clear cp_unevaluated_operand across tsubst so that we get a proper chain
    2112                 :            :      of PARM_DECLs.  */
    2113                 :    1512920 :   int saved_unevaluated_operand = cp_unevaluated_operand;
    2114                 :    1512920 :   cp_unevaluated_operand = 0;
    2115                 :    1512920 :   tree vars = tsubst (t, args, info.complain, info.in_decl);
    2116                 :    1512920 :   cp_unevaluated_operand = saved_unevaluated_operand;
    2117                 :    1512920 :   if (vars == error_mark_node)
    2118                 :            :     return error_mark_node;
    2119                 :    1512920 :   return declare_constraint_vars (t, vars);
    2120                 :            : }
    2121                 :            : 
    2122                 :            : /* Substitute ARGS into the requires-expression T. [8.4.7]p6. The
    2123                 :            :    substitution of template arguments into a requires-expression
    2124                 :            :    may result in the formation of invalid types or expressions
    2125                 :            :    in its requirements ... In such cases, the expression evaluates
    2126                 :            :    to false; it does not cause the program to be ill-formed.
    2127                 :            : 
    2128                 :            :    However, there are cases where substitution must produce a
    2129                 :            :    new requires-expression, that is not a template constraint.
    2130                 :            :    For example:
    2131                 :            : 
    2132                 :            :         template<typename T>
    2133                 :            :         class X {
    2134                 :            :           template<typename U>
    2135                 :            :           static constexpr bool var = requires (U u) { T::fn(u); };
    2136                 :            :         };
    2137                 :            : 
    2138                 :            :    In the instantiation of X<Y> (assuming Y defines fn), then the
    2139                 :            :    instantiated requires-expression would include Y::fn(u). If any
    2140                 :            :    substitution in the requires-expression fails, we can immediately
    2141                 :            :    fold the expression to false, as would be the case e.g., when
    2142                 :            :    instantiation X<int>.  */
    2143                 :            : 
    2144                 :            : tree
    2145                 :    1734800 : tsubst_requires_expr (tree t, tree args,
    2146                 :            :                       tsubst_flags_t complain, tree in_decl)
    2147                 :            : {
    2148                 :    3466890 :   local_specialization_stack stack (lss_copy);
    2149                 :            : 
    2150                 :    1734800 :   subst_info info (complain, in_decl);
    2151                 :            : 
    2152                 :            :   /* A requires-expression is an unevaluated context.  */
    2153                 :    3466890 :   cp_unevaluated u;
    2154                 :            : 
    2155                 :    1734800 :   tree parms = TREE_OPERAND (t, 0);
    2156                 :    1734800 :   if (parms)
    2157                 :            :     {
    2158                 :    1512870 :       parms = tsubst_constraint_variables (parms, args, info);
    2159                 :    1512870 :       if (parms == error_mark_node)
    2160                 :          5 :         return boolean_false_node;
    2161                 :            :     }
    2162                 :            : 
    2163                 :    1734790 :   tree reqs = TREE_OPERAND (t, 1);
    2164                 :    1734790 :   reqs = tsubst_requirement_body (reqs, args, info);
    2165                 :    1732090 :   if (reqs == error_mark_node)
    2166                 :      62850 :     return boolean_false_node;
    2167                 :            : 
    2168                 :            :   /* In certain cases, produce a new requires-expression.
    2169                 :            :      Otherwise the value of the expression is true.  */
    2170                 :    1669240 :   if (processing_template_decl && uses_template_parms (args))
    2171                 :       1812 :     return finish_requires_expr (cp_expr_location (t), parms, reqs);
    2172                 :            : 
    2173                 :    1667430 :   return boolean_true_node;
    2174                 :            : }
    2175                 :            : 
    2176                 :            : /* Substitute ARGS into the constraint information CI, producing a new
    2177                 :            :    constraint record.  */
    2178                 :            : 
    2179                 :            : tree
    2180                 :       1633 : tsubst_constraint_info (tree t, tree args,
    2181                 :            :                         tsubst_flags_t complain, tree in_decl)
    2182                 :            : {
    2183                 :       1633 :   if (!t || t == error_mark_node || !check_constraint_info (t))
    2184                 :            :     return NULL_TREE;
    2185                 :            : 
    2186                 :        204 :   tree tr = tsubst_constraint (CI_TEMPLATE_REQS (t), args, complain, in_decl);
    2187                 :        408 :   tree dr = tsubst_constraint (CI_DECLARATOR_REQS (t), args, complain, in_decl);
    2188                 :        204 :   return build_constraints (tr, dr);
    2189                 :            : }
    2190                 :            : 
    2191                 :            : /* Substitute through a parameter mapping, in order to get the actual
    2192                 :            :    arguments used to instantiate an atomic constraint.  This may fail
    2193                 :            :    if the substitution into arguments produces something ill-formed.  */
    2194                 :            : 
    2195                 :            : static tree
    2196                 :    4461850 : tsubst_parameter_mapping (tree map, tree args, subst_info info)
    2197                 :            : {
    2198                 :    4461850 :   if (!map)
    2199                 :            :     return NULL_TREE;
    2200                 :            : 
    2201                 :    4461620 :   tsubst_flags_t complain = info.complain;
    2202                 :    4461620 :   tree in_decl = info.in_decl;
    2203                 :            : 
    2204                 :    4461620 :   tree result = NULL_TREE;
    2205                 :   12930100 :   for (tree p = map; p; p = TREE_CHAIN (p))
    2206                 :            :     {
    2207                 :    8468560 :       if (p == error_mark_node)
    2208                 :          0 :         return error_mark_node;
    2209                 :    8468560 :       tree parm = TREE_VALUE (p);
    2210                 :    8468560 :       tree arg = TREE_PURPOSE (p);
    2211                 :    8468560 :       tree new_arg = NULL_TREE;
    2212                 :    8468560 :       if (TYPE_P (arg))
    2213                 :            :         {
    2214                 :            :           /* If a template parameter is declared with a placeholder, we can
    2215                 :            :              get those in the argument list if decltype is applied to the
    2216                 :            :              placeholder. For example:
    2217                 :            : 
    2218                 :            :                 template<auto T>
    2219                 :            :                   requires C<decltype(T)>
    2220                 :            :                 void f() { }
    2221                 :            : 
    2222                 :            :              The normalized argument for C will be an auto type, so we'll
    2223                 :            :              need to deduce the actual argument from the corresponding
    2224                 :            :              initializer (whatever argument is provided for T), and use
    2225                 :            :              that result in the instantiated parameter mapping.  */
    2226                 :    8461630 :           if (tree auto_node = type_uses_auto (arg))
    2227                 :            :             {
    2228                 :          0 :               int level;
    2229                 :          0 :               int index;
    2230                 :          0 :               template_parm_level_and_index (parm, &level, &index);
    2231                 :          0 :               tree init = TMPL_ARG (args, level, index);
    2232                 :          0 :               new_arg = do_auto_deduction (arg, init, auto_node,
    2233                 :            :                                            complain, adc_variable_type,
    2234                 :            :                                            make_tree_vec (0));
    2235                 :            :             }
    2236                 :            :         }
    2237                 :       6931 :       else if (ARGUMENT_PACK_P (arg))
    2238                 :          8 :         new_arg = tsubst_argument_pack (arg, args, complain, in_decl);
    2239                 :          8 :       if (!new_arg)
    2240                 :            :         {
    2241                 :    8468560 :           new_arg = tsubst_template_arg (arg, args, complain, in_decl);
    2242                 :    8468560 :           if (TYPE_P (new_arg))
    2243                 :    8461510 :             new_arg = canonicalize_type_argument (new_arg, complain);
    2244                 :            :         }
    2245                 :    8468560 :       if (new_arg == error_mark_node)
    2246                 :        120 :         return error_mark_node;
    2247                 :            : 
    2248                 :    8468440 :       result = tree_cons (new_arg, parm, result);
    2249                 :            :     }
    2250                 :    4461500 :   return nreverse (result);
    2251                 :            : }
    2252                 :            : 
    2253                 :            : tree
    2254                 :        271 : tsubst_parameter_mapping (tree map, tree args, tsubst_flags_t complain, tree in_decl)
    2255                 :            : {
    2256                 :        271 :   return tsubst_parameter_mapping (map, args, subst_info (complain, in_decl));
    2257                 :            : }
    2258                 :            : 
    2259                 :            : /*---------------------------------------------------------------------------
    2260                 :            :                         Constraint satisfaction
    2261                 :            : ---------------------------------------------------------------------------*/
    2262                 :            : 
    2263                 :            : /* Hash functions for satisfaction entries.  */
    2264                 :            : 
    2265                 :            : struct GTY((for_user)) sat_entry
    2266                 :            : {
    2267                 :            :   tree constr;
    2268                 :            :   tree args;
    2269                 :            :   tree result;
    2270                 :            : };
    2271                 :            : 
    2272                 :            : struct sat_hasher : ggc_ptr_hash<sat_entry>
    2273                 :            : {
    2274                 :   56712500 :   static hashval_t hash (sat_entry *e)
    2275                 :            :   {
    2276                 :   56712500 :     hashval_t value = hash_atomic_constraint (e->constr);
    2277                 :   56712500 :     return iterative_hash_template_arg (e->args, value);
    2278                 :            :   }
    2279                 :            : 
    2280                 :            :   static bool equal (sat_entry *e1, sat_entry *e2)
    2281                 :            :   {
    2282                 :            :     if (!atomic_constraints_identical_p (e1->constr, e2->constr))
    2283                 :            :       return false;
    2284                 :            :     return template_args_equal (e1->args, e2->args);
    2285                 :            :   }
    2286                 :            : };
    2287                 :            : 
    2288                 :            : /* Cache the result of satisfy_atom.  */
    2289                 :            : static GTY((deletable)) hash_table<sat_hasher> *sat_cache;
    2290                 :            : 
    2291                 :            : /* Cache the result of constraint_satisfaction_value.  */
    2292                 :            : static GTY((deletable)) hash_map<tree, tree> *decl_satisfied_cache;
    2293                 :            : 
    2294                 :            : static tree
    2295                 :   10890900 : get_satisfaction (tree constr, tree args)
    2296                 :            : {
    2297                 :   10890900 :   if (!sat_cache)
    2298                 :            :     return NULL_TREE;
    2299                 :   10883400 :   sat_entry elt = { constr, args, NULL_TREE };
    2300                 :   10883400 :   sat_entry* found = sat_cache->find (&elt);
    2301                 :   10883400 :   if (found)
    2302                 :    6431960 :     return found->result;
    2303                 :            :   else
    2304                 :            :     return NULL_TREE;
    2305                 :            : }
    2306                 :            : 
    2307                 :            : static void
    2308                 :    4456190 : save_satisfaction (tree constr, tree args, tree result)
    2309                 :            : {
    2310                 :    4456190 :   if (!sat_cache)
    2311                 :       2784 :     sat_cache = hash_table<sat_hasher>::create_ggc (31);
    2312                 :    4456190 :   sat_entry elt = {constr, args, result};
    2313                 :    4456190 :   sat_entry** slot = sat_cache->find_slot (&elt, INSERT);
    2314                 :    4456190 :   sat_entry* entry = ggc_alloc<sat_entry> ();
    2315                 :    4456190 :   *entry = elt;
    2316                 :    4456190 :   *slot = entry;
    2317                 :    4456190 : }
    2318                 :            : 
    2319                 :            : void
    2320                 :   13713000 : clear_satisfaction_cache ()
    2321                 :            : {
    2322                 :   13713000 :   if (sat_cache)
    2323                 :    2236980 :     sat_cache->empty ();
    2324                 :   13713000 :   if (decl_satisfied_cache)
    2325                 :    7761810 :     decl_satisfied_cache->empty ();
    2326                 :   13713000 : }
    2327                 :            : 
    2328                 :            : /* A tool to help manage satisfaction caching in satisfy_constraint_r.
    2329                 :            :    Note the cache is only used when not diagnosing errors.  */
    2330                 :            : 
    2331                 :            : struct satisfaction_cache
    2332                 :            : {
    2333                 :   10893500 :   satisfaction_cache (tree constr, tree args, tsubst_flags_t complain)
    2334                 :   10893500 :     : constr(constr), args(args), complain(complain)
    2335                 :            :   { }
    2336                 :            : 
    2337                 :   10893500 :   tree get ()
    2338                 :            :   {
    2339                 :   10893500 :     if (complain == tf_none)
    2340                 :   10890900 :       return get_satisfaction (constr, args);
    2341                 :            :     return NULL_TREE;
    2342                 :            :   }
    2343                 :            : 
    2344                 :    4458880 :   tree save (tree result)
    2345                 :            :   {
    2346                 :    4458880 :     if (complain == tf_none)
    2347                 :    4456190 :       save_satisfaction (constr, args, result);
    2348                 :            :     return result;
    2349                 :            :   }
    2350                 :            : 
    2351                 :            :   tree constr;
    2352                 :            :   tree args;
    2353                 :            :   tsubst_flags_t complain;
    2354                 :            : };
    2355                 :            : 
    2356                 :            : static int satisfying_constraint = 0;
    2357                 :            : 
    2358                 :            : /* Returns true if we are currently satisfying a constraint.
    2359                 :            : 
    2360                 :            :    This is used to guard against recursive calls to evaluate_concept_check
    2361                 :            :    during template argument substitution.
    2362                 :            : 
    2363                 :            :    TODO: Do we need this now that we fully normalize prior to evaluation?
    2364                 :            :    I think not. */
    2365                 :            : 
    2366                 :            : bool
    2367                 :          0 : satisfying_constraint_p ()
    2368                 :            : {
    2369                 :          0 :   return satisfying_constraint;
    2370                 :            : }
    2371                 :            : 
    2372                 :            : /* Substitute ARGS into constraint-expression T during instantiation of
    2373                 :            :    a member of a class template.  */
    2374                 :            : 
    2375                 :            : tree
    2376                 :    4521950 : tsubst_constraint (tree t, tree args, tsubst_flags_t complain, tree in_decl)
    2377                 :            : {
    2378                 :            :   /* We also don't want to evaluate concept-checks when substituting the
    2379                 :            :      constraint-expressions of a declaration.  */
    2380                 :    4521950 :   processing_constraint_expression_sentinel s;
    2381                 :    4521950 :   tree expr = tsubst_expr (t, args, complain, in_decl, false);
    2382                 :    4521950 :   return expr;
    2383                 :            : }
    2384                 :            : 
    2385                 :            : static tree satisfy_constraint_r (tree, tree, subst_info info);
    2386                 :            : 
    2387                 :            : /* Compute the satisfaction of a conjunction.  */
    2388                 :            : 
    2389                 :            : static tree
    2390                 :    8333220 : satisfy_conjunction (tree t, tree args, subst_info info)
    2391                 :            : {
    2392                 :    8333220 :   tree lhs = satisfy_constraint_r (TREE_OPERAND (t, 0), args, info);
    2393                 :    8333220 :   if (lhs == error_mark_node || lhs == boolean_false_node)
    2394                 :            :     return lhs;
    2395                 :    8209040 :   return satisfy_constraint_r (TREE_OPERAND (t, 1), args, info);
    2396                 :            : }
    2397                 :            : 
    2398                 :            : /* Compute the satisfaction of a disjunction.  */
    2399                 :            : 
    2400                 :            : static tree
    2401                 :     635671 : satisfy_disjunction (tree t, tree args, subst_info info)
    2402                 :            : {
    2403                 :            :   /* Evaluate the operands quietly.  */
    2404                 :     635671 :   subst_info quiet (tf_none, NULL_TREE);
    2405                 :            : 
    2406                 :            :   /* Register the constraint for diagnostics, if needed.  */
    2407                 :    1271340 :   diagnosing_failed_constraint failure (t, args, info.noisy ());
    2408                 :            : 
    2409                 :     635671 :   tree lhs = satisfy_constraint_r (TREE_OPERAND (t, 0), args, quiet);
    2410                 :     635671 :   if (lhs == boolean_true_node)
    2411                 :            :     return boolean_true_node;
    2412                 :     371597 :   tree rhs = satisfy_constraint_r (TREE_OPERAND (t, 1), args, quiet);
    2413                 :     371597 :   if (rhs != boolean_true_node && info.noisy ())
    2414                 :            :     {
    2415                 :         14 :       location_t loc = cp_expr_location (CONSTR_EXPR (t));
    2416                 :          7 :       inform (loc, "neither operand of the disjunction is satisfied");
    2417                 :            :       /* TODO: Replay the LHS and RHS to find failures in both branches.  */
    2418                 :            :       // satisfy_constraint_r (TREE_OPERAND (t, 0), args, info);
    2419                 :            :       // satisfy_constraint_r (TREE_OPERAND (t, 1), args, info);
    2420                 :            :     }
    2421                 :            :   return rhs;
    2422                 :            : }
    2423                 :            : 
    2424                 :            : /* Ensures that T is a truth value and not (accidentally, as sometimes
    2425                 :            :    happens) an integer value.  */
    2426                 :            : 
    2427                 :            : tree
    2428                 :    4458720 : satisfaction_value (tree t)
    2429                 :            : {
    2430                 :    4458720 :   if (t == error_mark_node)
    2431                 :            :     return t;
    2432                 :    4458710 :   if (t == boolean_true_node || t == integer_one_node)
    2433                 :            :     return boolean_true_node;
    2434                 :     397030 :   if (t == boolean_false_node || t == integer_zero_node)
    2435                 :            :     return boolean_false_node;
    2436                 :            : 
    2437                 :            :   /* Anything else should be invalid.  */
    2438                 :          0 :   gcc_assert (false);
    2439                 :            : }
    2440                 :            : 
    2441                 :            : /* Build a new template argument list with template arguments corresponding
    2442                 :            :    to the parameters used in an atomic constraint.  */
    2443                 :            : 
    2444                 :            : tree
    2445                 :    4461700 : get_mapped_args (tree map)
    2446                 :            : {
    2447                 :            :   /* No map, no arguments.  */
    2448                 :    4461700 :   if (!map)
    2449                 :            :     return NULL_TREE;
    2450                 :            : 
    2451                 :            :   /* Find the mapped parameter with the highest level.  */
    2452                 :            :   int count = 0;
    2453                 :   12929900 :   for (tree p = map; p; p = TREE_CHAIN (p))
    2454                 :            :     {
    2455                 :    8468420 :       int level;
    2456                 :    8468420 :       int index;
    2457                 :    8468420 :       template_parm_level_and_index (TREE_VALUE (p), &level, &index);
    2458                 :    8468420 :       if (level > count)
    2459                 :            :         count = level;
    2460                 :            :     }
    2461                 :            : 
    2462                 :            :   /* Place each argument at its corresponding position in the argument
    2463                 :            :      list. Note that the list will be sparse (not all arguments supplied),
    2464                 :            :      but instantiation is guaranteed to only use the parameters in the
    2465                 :            :      mapping, so null arguments would never be used.  */
    2466                 :    4461470 :   auto_vec< vec<tree> > lists (count);
    2467                 :    4461470 :   lists.quick_grow_cleared (count);
    2468                 :   12929900 :   for (tree p = map; p; p = TREE_CHAIN (p))
    2469                 :            :     {
    2470                 :    8468420 :       int level;
    2471                 :    8468420 :       int index;
    2472                 :    8468420 :       template_parm_level_and_index (TREE_VALUE (p), &level, &index);
    2473                 :            : 
    2474                 :            :       /* Insert the argument into its corresponding position.  */
    2475                 :    8468420 :       vec<tree> &list = lists[level - 1];
    2476                 :   12473900 :       if (index >= (int)list.length ())
    2477                 :    6454070 :         list.safe_grow_cleared (index + 1);
    2478                 :    8468420 :       list[index] = TREE_PURPOSE (p);
    2479                 :            :     }
    2480                 :            : 
    2481                 :            :   /* Build the new argument list.  */
    2482                 :    4461470 :   tree args = make_tree_vec (lists.length ());
    2483                 :   17857900 :   for (unsigned i = 0; i != lists.length (); ++i)
    2484                 :            :     {
    2485                 :    4467470 :       vec<tree> &list = lists[i];
    2486                 :    4467470 :       tree level = make_tree_vec (list.length ());
    2487                 :   23697500 :       for (unsigned j = 0; j < list.length(); ++j)
    2488                 :    7383530 :         TREE_VEC_ELT (level, j) = list[j];
    2489                 :    4467470 :       SET_TMPL_ARGS_LEVEL (args, i + 1, level);
    2490                 :    8930420 :       list.release ();
    2491                 :            :     }
    2492                 :    4461470 :   SET_NON_DEFAULT_TEMPLATE_ARGS_COUNT (args, 0);
    2493                 :            : 
    2494                 :    4461470 :   return args;
    2495                 :            : }
    2496                 :            : 
    2497                 :            : static void diagnose_atomic_constraint (tree, tree, tree, subst_info);
    2498                 :            : 
    2499                 :            : /* Compute the satisfaction of an atomic constraint.  */
    2500                 :            : 
    2501                 :            : static tree
    2502                 :   10893500 : satisfy_atom (tree t, tree args, subst_info info)
    2503                 :            : {
    2504                 :   10893500 :   satisfaction_cache cache (t, args, info.complain);
    2505                 :   21784400 :   if (tree r = cache.get ())
    2506                 :            :     return r;
    2507                 :            : 
    2508                 :            :   /* Perform substitution quietly.  */
    2509                 :    4461580 :   subst_info quiet (tf_none, NULL_TREE);
    2510                 :            : 
    2511                 :            :   /* In case there is a diagnostic, we want to establish the context
    2512                 :            :      prior to printing errors.  If no errors occur, this context is
    2513                 :            :      removed before returning.  */
    2514                 :    4461580 :   diagnosing_failed_constraint failure (t, args, info.noisy ());
    2515                 :            : 
    2516                 :            :   /* Instantiate the parameter mapping.  */
    2517                 :    4461580 :   tree map = tsubst_parameter_mapping (ATOMIC_CONSTR_MAP (t), args, quiet);
    2518                 :    4461580 :   if (map == error_mark_node)
    2519                 :            :     {
    2520                 :            :       /* If instantiation of the parameter mapping fails, the program
    2521                 :            :          is ill-formed.  */
    2522                 :        117 :       if (info.noisy())
    2523                 :          1 :         tsubst_parameter_mapping (ATOMIC_CONSTR_MAP (t), args, info);
    2524                 :        117 :       return cache.save (boolean_false_node);
    2525                 :            :     }
    2526                 :            : 
    2527                 :            :   /* Rebuild the argument vector from the parameter mapping.  */
    2528                 :    4461460 :   args = get_mapped_args (map);
    2529                 :            : 
    2530                 :            :   /* Apply the parameter mapping (i.e., just substitute).  */
    2531                 :    4461460 :   tree expr = ATOMIC_CONSTR_EXPR (t);
    2532                 :    4461460 :   tree result = tsubst_expr (expr, args, quiet.complain, quiet.in_decl, false);
    2533                 :    4458760 :   if (result == error_mark_node)
    2534                 :            :     {
    2535                 :            :       /* If substitution results in an invalid type or expression, the constraint
    2536                 :            :          is not satisfied. Replay the substitution.  */
    2537                 :         25 :       if (info.noisy ())
    2538                 :          2 :         tsubst_expr (expr, args, info.complain, info.in_decl, false);
    2539                 :         25 :       return cache.save (boolean_false_node);
    2540                 :            :     }
    2541                 :            : 
    2542                 :            :   /* [17.4.1.2] ... lvalue-to-rvalue conversion is performed as necessary,
    2543                 :            :      and EXPR shall be a constant expression of type bool.  */
    2544                 :    4458740 :   result = force_rvalue (result, info.complain);
    2545                 :    4458740 :   if (result == error_mark_node)
    2546                 :          0 :     return cache.save (error_mark_node);
    2547                 :    4458740 :   if (!same_type_p (TREE_TYPE (result), boolean_type_node))
    2548                 :            :     {
    2549                 :         19 :       if (info.noisy ())
    2550                 :         12 :         diagnose_atomic_constraint (t, map, result, info);
    2551                 :         19 :       return cache.save (error_mark_node);
    2552                 :            :     }
    2553                 :            : 
    2554                 :            :   /* Compute the value of the constraint.  */
    2555                 :    4458720 :   if (info.noisy ())
    2556                 :       2670 :     result = cxx_constant_value (result);
    2557                 :            :   else
    2558                 :            :     {
    2559                 :    4456050 :       result = maybe_constant_value (result);
    2560                 :    4456050 :       if (!TREE_CONSTANT (result))
    2561                 :          2 :         result = error_mark_node;
    2562                 :            :     }
    2563                 :    4458720 :   result = satisfaction_value (result);
    2564                 :    4458720 :   if (result == boolean_false_node && info.noisy ())
    2565                 :        271 :     diagnose_atomic_constraint (t, map, result, info);
    2566                 :            : 
    2567                 :    8914930 :   return cache.save (result);
    2568                 :            : }
    2569                 :            : 
    2570                 :            : /* Determine if the normalized constraint T is satisfied.
    2571                 :            :    Returns boolean_true_node if the expression/constraint is
    2572                 :            :    satisfied, boolean_false_node if not, and error_mark_node
    2573                 :            :    if the there was an error evaluating the constraint.
    2574                 :            : 
    2575                 :            :    The parameter mapping of atomic constraints is simply the
    2576                 :            :    set of template arguments that will be substituted into
    2577                 :            :    the expression, regardless of template parameters appearing
    2578                 :            :    withing. Whether a template argument is used in the atomic
    2579                 :            :    constraint only matters for subsumption.  */
    2580                 :            : 
    2581                 :            : static tree
    2582                 :   19862500 : satisfy_constraint_r (tree t, tree args, subst_info info)
    2583                 :            : {
    2584                 :   19862500 :   if (t == error_mark_node)
    2585                 :            :     return error_mark_node;
    2586                 :            : 
    2587                 :   19862400 :   switch (TREE_CODE (t))
    2588                 :            :     {
    2589                 :    8333220 :     case CONJ_CONSTR:
    2590                 :    8333220 :       return satisfy_conjunction (t, args, info);
    2591                 :     635671 :     case DISJ_CONSTR:
    2592                 :     635671 :       return satisfy_disjunction (t, args, info);
    2593                 :   10893500 :     case ATOMIC_CONSTR:
    2594                 :   10893500 :       return satisfy_atom (t, args, info);
    2595                 :          0 :     default:
    2596                 :          0 :       gcc_unreachable ();
    2597                 :            :     }
    2598                 :            : }
    2599                 :            : 
    2600                 :            : /* Check that the normalized constraint T is satisfied for ARGS.  */
    2601                 :            : 
    2602                 :            : static tree
    2603                 :    2312930 : satisfy_constraint (tree t, tree args, subst_info info)
    2604                 :            : {
    2605                 :    2312930 :   auto_timevar time (TV_CONSTRAINT_SAT);
    2606                 :            : 
    2607                 :            :   /* Turn off template processing. Constraint satisfaction only applies
    2608                 :            :      to non-dependent terms, so we want to ensure full checking here.  */
    2609                 :    4623160 :   processing_template_decl_sentinel proc (true);
    2610                 :            : 
    2611                 :            :   /* We need to check access during satisfaction.  */
    2612                 :    4623160 :   deferring_access_check_sentinel acs (dk_no_deferred);
    2613                 :            : 
    2614                 :    2312930 :   return satisfy_constraint_r (t, args, info);
    2615                 :            : }
    2616                 :            : 
    2617                 :            : /* Check the normalized constraints T against ARGS, returning a satisfaction
    2618                 :            :    value (either true, false, or error).  */
    2619                 :            : 
    2620                 :            : static tree
    2621                 :    1444370 : satisfy_associated_constraints (tree t, tree args, subst_info info)
    2622                 :            : {
    2623                 :            :   /* If there are no constraints then this is trivially satisfied.  */
    2624                 :    1444370 :   if (!t)
    2625                 :          0 :     return boolean_true_node;
    2626                 :            : 
    2627                 :            :   /* If any arguments depend on template parameters, we can't
    2628                 :            :      check constraints. Pretend they're satisfied for now.  */
    2629                 :    1444370 :   if (args && uses_template_parms (args))
    2630                 :      27401 :     return boolean_true_node;
    2631                 :            : 
    2632                 :    1416970 :   return satisfy_constraint (t, args, info);
    2633                 :            : }
    2634                 :            : 
    2635                 :            : /* Evaluate EXPR as a constraint expression using ARGS, returning a
    2636                 :            :    satisfaction value. */
    2637                 :            : 
    2638                 :            : static tree
    2639                 :     851629 : satisfy_constraint_expression (tree t, tree args, subst_info info)
    2640                 :            : {
    2641                 :     851629 :   if (t == error_mark_node)
    2642                 :            :     return error_mark_node;
    2643                 :            : 
    2644                 :     851620 :   gcc_assert (EXPR_P (t));
    2645                 :            : 
    2646                 :            :   /* Get the normalized constraints.  */
    2647                 :     851620 :   tree norm;
    2648                 :     851620 :   if (args == NULL_TREE && concept_check_p (t))
    2649                 :            :     {
    2650                 :     851584 :       tree id = unpack_concept_check (t);
    2651                 :     851584 :       args = TREE_OPERAND (id, 1);
    2652                 :     851584 :       tree tmpl = get_concept_check_template (id);
    2653                 :     851584 :       norm = normalize_concept_definition (tmpl, info.noisy ());
    2654                 :            :     }
    2655                 :            :   else
    2656                 :         36 :     norm = normalize_constraint_expression (t, info.noisy ());
    2657                 :            : 
    2658                 :            :   /* Perform satisfaction.  */
    2659                 :     851620 :   return satisfy_constraint (norm, args, info);
    2660                 :            : }
    2661                 :            : 
    2662                 :            : /* Used only to evaluate requires-expressions during constant expression
    2663                 :            :    evaluation.  */
    2664                 :            : 
    2665                 :            : tree
    2666                 :          8 : satisfy_constraint_expression (tree expr)
    2667                 :            : {
    2668                 :          8 :   subst_info info (tf_none, NULL_TREE);
    2669                 :          8 :   return satisfy_constraint_expression (expr, NULL_TREE, info);
    2670                 :            : }
    2671                 :            : 
    2672                 :            : static tree
    2673                 :   17663600 : satisfy_declaration_constraints (tree t, subst_info info)
    2674                 :            : {
    2675                 :   17663600 :   gcc_assert (DECL_P (t));
    2676                 :            : 
    2677                 :            :   /* For inherited constructors, consider the original declaration;
    2678                 :            :      it has the correct template information attached. */
    2679                 :   17663600 :   if (flag_new_inheriting_ctors)
    2680                 :   17638900 :     t = strip_inheriting_ctors (t);
    2681                 :            : 
    2682                 :            :   /* Update the declaration for diagnostics.  */
    2683                 :   17663600 :   info.in_decl = t;
    2684                 :            : 
    2685                 :   17663600 :   if (info.quiet ())
    2686                 :   17663400 :     if (tree *result = hash_map_safe_get (decl_satisfied_cache, t))
    2687                 :   14264300 :       return *result;
    2688                 :            : 
    2689                 :            :   /* Get the normalized constraints.  */
    2690                 :    3399270 :   tree norm = NULL_TREE;
    2691                 :    3399270 :   tree args = NULL_TREE;
    2692                 :    3399270 :   if (tree ti = DECL_TEMPLATE_INFO (t))
    2693                 :            :     {
    2694                 :    2072750 :       tree tmpl = TI_TEMPLATE (ti);
    2695                 :    2072750 :       norm = normalize_template_requirements (tmpl, info.noisy ());
    2696                 :            : 
    2697                 :            :       /* The initial parameter mapping is the complete set of
    2698                 :            :          template arguments substituted into the declaration.  */
    2699                 :    2072750 :       args = TI_ARGS (ti);
    2700                 :            :     }
    2701                 :            :   else
    2702                 :            :     {
    2703                 :            :       /* These should be empty until we allow constraints on non-templates.  */
    2704                 :    1326520 :       norm = normalize_nontemplate_requirements (t, info.noisy ());
    2705                 :            :     }
    2706                 :            : 
    2707                 :    3399270 :   tree result = boolean_true_node;
    2708                 :    3399270 :   if (norm)
    2709                 :            :     {
    2710                 :     206438 :       if (!push_tinst_level (t))
    2711                 :          4 :         return result;
    2712                 :     206434 :       push_access_scope (t);
    2713                 :     206434 :       result = satisfy_associated_constraints (norm, args, info);
    2714                 :     203734 :       pop_access_scope (t);
    2715                 :     203734 :       pop_tinst_level ();
    2716                 :            :     }
    2717                 :            : 
    2718                 :    3396570 :   if (info.quiet ())
    2719                 :    3396340 :     hash_map_safe_put<hm_ggc> (decl_satisfied_cache, t, result);
    2720                 :            : 
    2721                 :    3396570 :   return result;
    2722                 :            : }
    2723                 :            : 
    2724                 :            : static tree
    2725                 :   12081700 : satisfy_declaration_constraints (tree t, tree args, subst_info info)
    2726                 :            : {
    2727                 :            :   /* Update the declaration for diagnostics.  */
    2728                 :   12081700 :   info.in_decl = t;
    2729                 :            : 
    2730                 :   12081700 :   gcc_assert (TREE_CODE (t) == TEMPLATE_DECL);
    2731                 :   12081700 :   if (tree norm = normalize_template_requirements (t, info.noisy ()))
    2732                 :            :     {
    2733                 :    1237940 :       tree pattern = DECL_TEMPLATE_RESULT (t);
    2734                 :    1237940 :       push_access_scope (pattern);
    2735                 :    1237940 :       tree result = satisfy_associated_constraints (norm, args, info);
    2736                 :    1237940 :       pop_access_scope (pattern);
    2737                 :    1237940 :       return result;
    2738                 :            :     }
    2739                 :            : 
    2740                 :   10843800 :   return boolean_true_node;
    2741                 :            : }
    2742                 :            : 
    2743                 :            : static tree
    2744                 :   18466800 : constraint_satisfaction_value (tree t, tsubst_flags_t complain)
    2745                 :            : {
    2746                 :   18466800 :   subst_info info (complain, NULL_TREE);
    2747                 :   18466800 :   tree r;
    2748                 :   18466800 :   if (DECL_P (t))
    2749                 :   17663600 :     r = satisfy_declaration_constraints (t, info);
    2750                 :            :   else
    2751                 :     803206 :     r = satisfy_constraint_expression (t, NULL_TREE, info);
    2752                 :         57 :   if (r == error_mark_node && info.quiet ()
    2753                 :   18464100 :       && !(DECL_P (t) && TREE_NO_WARNING (t)))
    2754                 :            :       {
    2755                 :         17 :         constraint_satisfaction_value (t, tf_warning_or_error);
    2756                 :         17 :         if (DECL_P (t))
    2757                 :            :           /* Avoid giving these errors again.  */
    2758                 :         13 :           TREE_NO_WARNING (t) = true;
    2759                 :            :       }
    2760                 :   18464100 :   return r;
    2761                 :            : }
    2762                 :            : 
    2763                 :            : static tree
    2764                 :   12081700 : constraint_satisfaction_value (tree t, tree args, tsubst_flags_t complain)
    2765                 :            : {
    2766                 :   12081700 :   subst_info info (complain, NULL_TREE);
    2767                 :   12081700 :   tree r;
    2768                 :   12081700 :   if (DECL_P (t))
    2769                 :   12081700 :     r = satisfy_declaration_constraints (t, args, info);
    2770                 :            :   else
    2771                 :         29 :     r = satisfy_constraint_expression (t, args, info);
    2772                 :   12081700 :   if (r == error_mark_node && info.quiet ())
    2773                 :          4 :     constraint_satisfaction_value (t, args, tf_warning_or_error);
    2774                 :   12081700 :   return r;
    2775                 :            : }
    2776                 :            : 
    2777                 :            : /* True iff the result of satisfying T is BOOLEAN_TRUE_NODE and false
    2778                 :            :    otherwise, even in the case of errors.  */
    2779                 :            : 
    2780                 :            : bool
    2781                 :   18466600 : constraints_satisfied_p (tree t)
    2782                 :            : {
    2783                 :   18466600 :   return constraint_satisfaction_value (t, tf_none) == boolean_true_node;
    2784                 :            : }
    2785                 :            : 
    2786                 :            : /* True iff the result of satisfying T with ARGS is BOOLEAN_TRUE_NODE
    2787                 :            :     and false otherwise, even in the case of errors.  */
    2788                 :            : 
    2789                 :            : bool
    2790                 :   12081700 : constraints_satisfied_p (tree t, tree args)
    2791                 :            : {
    2792                 :   12081700 :   return constraint_satisfaction_value (t, args, tf_none) == boolean_true_node;
    2793                 :            : }
    2794                 :            : 
    2795                 :            : /* Evaluate a concept check of the form C<ARGS>. This is only used for the
    2796                 :            :    evaluation of template-ids as id-expressions.  */
    2797                 :            : 
    2798                 :            : tree
    2799                 :      48386 : evaluate_concept_check (tree check, tsubst_flags_t complain)
    2800                 :            : {
    2801                 :      48386 :   if (check == error_mark_node)
    2802                 :            :     return error_mark_node;
    2803                 :            : 
    2804                 :      48386 :   gcc_assert (concept_check_p (check));
    2805                 :            : 
    2806                 :            :   /* Check for satisfaction without diagnostics.  */
    2807                 :      48386 :   subst_info quiet (tf_none, NULL_TREE);
    2808                 :      48386 :   tree result = satisfy_constraint_expression (check, NULL_TREE, quiet);
    2809                 :      48386 :   if (result == error_mark_node && (complain & tf_error))
    2810                 :            :   {
    2811                 :            :     /* Replay the error with re-normalized requirements.  */
    2812                 :          0 :     subst_info noisy (tf_warning_or_error, NULL_TREE);
    2813                 :          0 :     satisfy_constraint_expression (check, NULL_TREE, noisy);
    2814                 :            :   }
    2815                 :            :   return result;
    2816                 :            : }
    2817                 :            : 
    2818                 :            : /*---------------------------------------------------------------------------
    2819                 :            :                 Semantic analysis of requires-expressions
    2820                 :            : ---------------------------------------------------------------------------*/
    2821                 :            : 
    2822                 :            : /* Finish a requires expression for the given PARMS (possibly
    2823                 :            :    null) and the non-empty sequence of requirements.  */
    2824                 :            : 
    2825                 :            : tree
    2826                 :      77170 : finish_requires_expr (location_t loc, tree parms, tree reqs)
    2827                 :            : {
    2828                 :            :   /* Modify the declared parameters by removing their context
    2829                 :            :      so they don't refer to the enclosing scope and explicitly
    2830                 :            :      indicating that they are constraint variables. */
    2831                 :     148620 :   for (tree parm = parms; parm; parm = DECL_CHAIN (parm))
    2832                 :            :     {
    2833                 :      71450 :       DECL_CONTEXT (parm) = NULL_TREE;
    2834                 :      71450 :       CONSTRAINT_VAR_P (parm) = true;
    2835                 :            :     }
    2836                 :            : 
    2837                 :            :   /* Build the node. */
    2838                 :      77170 :   tree r = build_min (REQUIRES_EXPR, boolean_type_node, parms, reqs);
    2839                 :      77170 :   TREE_SIDE_EFFECTS (r) = false;
    2840                 :      77170 :   TREE_CONSTANT (r) = true;
    2841                 :      77170 :   SET_EXPR_LOCATION (r, loc);
    2842                 :      77170 :   return r;
    2843                 :            : }
    2844                 :            : 
    2845                 :            : /* Construct a requirement for the validity of EXPR.   */
    2846                 :            : 
    2847                 :            : tree
    2848                 :    1118790 : finish_simple_requirement (location_t loc, tree expr)
    2849                 :            : {
    2850                 :    1118790 :   tree r = build_nt (SIMPLE_REQ, expr);
    2851                 :    1118790 :   SET_EXPR_LOCATION (r, loc);
    2852                 :    1118790 :   return r;
    2853                 :            : }
    2854                 :            : 
    2855                 :            : /* Construct a requirement for the validity of TYPE.  */
    2856                 :            : 
    2857                 :            : tree
    2858                 :     284827 : finish_type_requirement (location_t loc, tree type)
    2859                 :            : {
    2860                 :     284827 :   tree r = build_nt (TYPE_REQ, type);
    2861                 :     284827 :   SET_EXPR_LOCATION (r, loc);
    2862                 :     284827 :   return r;
    2863                 :            : }
    2864                 :            : 
    2865                 :            : /* Construct a requirement for the validity of EXPR, along with
    2866                 :            :    its properties. if TYPE is non-null, then it specifies either
    2867                 :            :    an implicit conversion or argument deduction constraint,
    2868                 :            :    depending on whether any placeholders occur in the type name.
    2869                 :            :    NOEXCEPT_P is true iff the noexcept keyword was specified.  */
    2870                 :            : 
    2871                 :            : tree
    2872                 :     856713 : finish_compound_requirement (location_t loc, tree expr, tree type, bool noexcept_p)
    2873                 :            : {
    2874                 :     856713 :   tree req = build_nt (COMPOUND_REQ, expr, type);
    2875                 :     856713 :   SET_EXPR_LOCATION (req, loc);
    2876                 :     856713 :   COMPOUND_REQ_NOEXCEPT_P (req) = noexcept_p;
    2877                 :     856713 :   return req;
    2878                 :            : }
    2879                 :            : 
    2880                 :            : /* Finish a nested requirement.  */
    2881                 :            : 
    2882                 :            : tree
    2883                 :       3188 : finish_nested_requirement (location_t loc, tree expr)
    2884                 :            : {
    2885                 :            :   /* Save the normalized constraint and complete set of normalization
    2886                 :            :      arguments with the requirement.  We keep the complete set of arguments
    2887                 :            :      around for re-normalization during diagnostics.  */
    2888                 :       3188 :   tree args = current_template_parms
    2889                 :       3188 :     ? template_parms_to_args (current_template_parms) : NULL_TREE;
    2890                 :       3188 :   tree norm = normalize_constraint_expression (expr, args, false);
    2891                 :       3188 :   tree info = build_tree_list (args, norm);
    2892                 :            : 
    2893                 :            :   /* Build the constraint, saving its normalization as its type.  */
    2894                 :       3188 :   tree r = build1 (NESTED_REQ, info, expr);
    2895                 :       3188 :   SET_EXPR_LOCATION (r, loc);
    2896                 :       3188 :   return r;
    2897                 :            : }
    2898                 :            : 
    2899                 :            : /* Check that FN satisfies the structural requirements of a
    2900                 :            :    function concept definition.  */
    2901                 :            : tree
    2902                 :        129 : check_function_concept (tree fn)
    2903                 :            : {
    2904                 :            :   /* Check that the function is comprised of only a return statement.  */
    2905                 :        129 :   tree body = DECL_SAVED_TREE (fn);
    2906                 :        129 :   if (TREE_CODE (body) == BIND_EXPR)
    2907                 :        129 :     body = BIND_EXPR_BODY (body);
    2908                 :            : 
    2909                 :            :   /* Sometimes a function call results in the creation of clean up
    2910                 :            :      points. Allow these to be preserved in the body of the
    2911                 :            :      constraint, as we might actually need them for some constexpr
    2912                 :            :      evaluations.  */
    2913                 :        129 :   if (TREE_CODE (body) == CLEANUP_POINT_EXPR)
    2914                 :          0 :     body = TREE_OPERAND (body, 0);
    2915                 :            : 
    2916                 :            :   /* Check that the definition is written correctly.  */
    2917                 :        129 :   if (TREE_CODE (body) != RETURN_EXPR)
    2918                 :            :     {
    2919                 :          2 :       location_t loc = DECL_SOURCE_LOCATION (fn);
    2920                 :          2 :       if (TREE_CODE (body) == STATEMENT_LIST && !STATEMENT_LIST_HEAD (body))
    2921                 :            :         {
    2922                 :          0 :           if (seen_error ())
    2923                 :            :             /* The definition was probably erroneous, not empty.  */;
    2924                 :            :           else
    2925                 :          0 :             error_at (loc, "definition of concept %qD is empty", fn);
    2926                 :            :         }
    2927                 :            :       else
    2928                 :          2 :         error_at (loc, "definition of concept %qD has multiple statements", fn);
    2929                 :            :     }
    2930                 :            : 
    2931                 :        129 :   return NULL_TREE;
    2932                 :            : }
    2933                 :            : 
    2934                 :            : 
    2935                 :            : // Check that a constrained friend declaration function declaration,
    2936                 :            : // FN, is admissible. This is the case only when the declaration depends
    2937                 :            : // on template parameters and does not declare a specialization.
    2938                 :            : void
    2939                 :          0 : check_constrained_friend (tree fn, tree reqs)
    2940                 :            : {
    2941                 :          0 :   if (fn == error_mark_node)
    2942                 :            :     return;
    2943                 :          0 :   gcc_assert (TREE_CODE (fn) == FUNCTION_DECL);
    2944                 :            : 
    2945                 :            :   // If there are not constraints, this cannot be an error.
    2946                 :          0 :   if (!reqs)
    2947                 :            :     return;
    2948                 :            : 
    2949                 :            :   // Constrained friend functions that don't depend on template
    2950                 :            :   // arguments are effectively meaningless.
    2951                 :          0 :   if (!uses_template_parms (TREE_TYPE (fn)))
    2952                 :            :     {
    2953                 :          0 :       error_at (location_of (fn),
    2954                 :            :                 "constrained friend does not depend on template parameters");
    2955                 :          0 :       return;
    2956                 :            :     }
    2957                 :            : }
    2958                 :            : 
    2959                 :            : /*---------------------------------------------------------------------------
    2960                 :            :                         Equivalence of constraints
    2961                 :            : ---------------------------------------------------------------------------*/
    2962                 :            : 
    2963                 :            : /* Returns true when A and B are equivalent constraints.  */
    2964                 :            : bool
    2965                 :    1061320 : equivalent_constraints (tree a, tree b)
    2966                 :            : {
    2967                 :    1061320 :   gcc_assert (!a || TREE_CODE (a) == CONSTRAINT_INFO);
    2968                 :    1061320 :   gcc_assert (!b || TREE_CODE (b) == CONSTRAINT_INFO);
    2969                 :    1061320 :   return cp_tree_equal (a, b);
    2970                 :            : }
    2971                 :            : 
    2972                 :            : /* Returns true if the template declarations A and B have equivalent
    2973                 :            :    constraints. This is the case when A's constraints subsume B's and
    2974                 :            :    when B's also constrain A's.  */
    2975                 :            : bool
    2976                 :       9770 : equivalently_constrained (tree d1, tree d2)
    2977                 :            : {
    2978                 :       9770 :   gcc_assert (TREE_CODE (d1) == TREE_CODE (d2));
    2979                 :       9770 :   return equivalent_constraints (get_constraints (d1), get_constraints (d2));
    2980                 :            : }
    2981                 :            : 
    2982                 :            : /*---------------------------------------------------------------------------
    2983                 :            :                      Partial ordering of constraints
    2984                 :            : ---------------------------------------------------------------------------*/
    2985                 :            : 
    2986                 :            : /* Returns true when the constraints in A subsume those in B.  */
    2987                 :            : 
    2988                 :            : bool
    2989                 :          0 : subsumes_constraints (tree a, tree b)
    2990                 :            : {
    2991                 :          0 :   gcc_assert (!a || TREE_CODE (a) == CONSTRAINT_INFO);
    2992                 :          0 :   gcc_assert (!b || TREE_CODE (b) == CONSTRAINT_INFO);
    2993                 :          0 :   return subsumes (a, b);
    2994                 :            : }
    2995                 :            : 
    2996                 :            : /* Returns true when the constraints in CI (with arguments
    2997                 :            :    ARGS) strictly subsume the associated constraints of TMPL.  */
    2998                 :            : 
    2999                 :            : bool
    3000                 :      12465 : strictly_subsumes (tree ci, tree args, tree tmpl)
    3001                 :            : {
    3002                 :      12465 :   tree n1 = get_normalized_constraints_from_info (ci, args, NULL_TREE);
    3003                 :      12465 :   tree n2 = get_normalized_constraints_from_decl (tmpl);
    3004                 :            : 
    3005                 :      12465 :   return subsumes (n1, n2) && !subsumes (n2, n1);
    3006                 :            : }
    3007                 :            : 
    3008                 :            : /* REturns true when the constraints in CI (with arguments ARGS) subsume
    3009                 :            :    the associated constraints of TMPL.  */
    3010                 :            : 
    3011                 :            : bool
    3012                 :         25 : weakly_subsumes (tree ci, tree args, tree tmpl)
    3013                 :            : {
    3014                 :         25 :   tree n1 = get_normalized_constraints_from_info (ci, args, NULL_TREE);
    3015                 :         25 :   tree n2 = get_normalized_constraints_from_decl (tmpl);
    3016                 :            : 
    3017                 :         25 :   return subsumes (n1, n2);
    3018                 :            : }
    3019                 :            : 
    3020                 :            : /* Determines which of the declarations, A or B, is more constrained.
    3021                 :            :    That is, which declaration's constraints subsume but are not subsumed
    3022                 :            :    by the other's?
    3023                 :            : 
    3024                 :            :    Returns 1 if D1 is more constrained than D2, -1 if D2 is more constrained
    3025                 :            :    than D1, and 0 otherwise. */
    3026                 :            : 
    3027                 :            : int
    3028                 :     163258 : more_constrained (tree d1, tree d2)
    3029                 :            : {
    3030                 :     163258 :   tree n1 = get_normalized_constraints_from_decl (d1);
    3031                 :     163258 :   tree n2 = get_normalized_constraints_from_decl (d2);
    3032                 :            : 
    3033                 :     163258 :   int winner = 0;
    3034                 :     163258 :   if (subsumes (n1, n2))
    3035                 :     153684 :     ++winner;
    3036                 :     163258 :   if (subsumes (n2, n1))
    3037                 :     159141 :     --winner;
    3038                 :     163258 :   return winner;
    3039                 :            : }
    3040                 :            : 
    3041                 :            : /* Return whether D1 is at least as constrained as D2.  */
    3042                 :            : 
    3043                 :            : bool
    3044                 :      15113 : at_least_as_constrained (tree d1, tree d2)
    3045                 :            : {
    3046                 :      15113 :   tree n1 = get_normalized_constraints_from_decl (d1);
    3047                 :      15113 :   tree n2 = get_normalized_constraints_from_decl (d2);
    3048                 :            : 
    3049                 :      15113 :   return subsumes (n1, n2);
    3050                 :            : }
    3051                 :            : 
    3052                 :            : /*---------------------------------------------------------------------------
    3053                 :            :                         Constraint diagnostics
    3054                 :            : ---------------------------------------------------------------------------*/
    3055                 :            : 
    3056                 :            : /* Returns the best location to diagnose a constraint error.  */
    3057                 :            : 
    3058                 :            : static location_t
    3059                 :        283 : get_constraint_error_location (tree t)
    3060                 :            : {
    3061                 :        283 :   if (location_t loc = cp_expr_location (t))
    3062                 :            :     return loc;
    3063                 :            : 
    3064                 :            :   /* If we have a specific location give it.  */
    3065                 :        283 :   tree expr = CONSTR_EXPR (t);
    3066                 :        283 :   if (location_t loc = cp_expr_location (expr))
    3067                 :            :     return loc;
    3068                 :            : 
    3069                 :            :   /* If the constraint is normalized from a requires-clause, give
    3070                 :            :      the location as that of the constrained declaration.  */
    3071                 :         26 :   tree cxt = CONSTR_CONTEXT (t);
    3072                 :         26 :   tree src = cxt ? TREE_VALUE (cxt) : NULL_TREE;
    3073                 :         25 :   if (!src)
    3074                 :            :     /* TODO: This only happens for constrained non-template declarations.  */
    3075                 :            :     ;
    3076                 :         25 :   else if (DECL_P (src))
    3077                 :         22 :     return DECL_SOURCE_LOCATION (src);
    3078                 :            :   /* Otherwise, give the location as the defining concept.  */
    3079                 :          3 :   else if (concept_check_p (src))
    3080                 :            :     {
    3081                 :          3 :       tree id = unpack_concept_check (src);
    3082                 :          3 :       tree tmpl = TREE_OPERAND (id, 0);
    3083                 :          3 :       if (OVL_P (tmpl))
    3084                 :          3 :         tmpl = OVL_FIRST (tmpl);
    3085                 :          3 :       return DECL_SOURCE_LOCATION (tmpl);
    3086                 :            :     }
    3087                 :            : 
    3088                 :          1 :   return input_location;
    3089                 :            : }
    3090                 :            : 
    3091                 :            : /* Emit a diagnostic for a failed trait.  */
    3092                 :            : 
    3093                 :            : void
    3094                 :        136 : diagnose_trait_expr (tree expr, tree map)
    3095                 :            : {
    3096                 :        136 :   location_t loc = cp_expr_location (expr);
    3097                 :        136 :   tree args = get_mapped_args (map);
    3098                 :            : 
    3099                 :            :   /* Build a "fake" version of the instantiated trait, so we can
    3100                 :            :      get the instantiated types from result.  */
    3101                 :        136 :   ++processing_template_decl;
    3102                 :        136 :   expr = tsubst_expr (expr, args, tf_none, NULL_TREE, false);
    3103                 :        136 :   --processing_template_decl;
    3104                 :            : 
    3105                 :        136 :   tree t1 = TRAIT_EXPR_TYPE1 (expr);
    3106                 :        136 :   tree t2 = TRAIT_EXPR_TYPE2 (expr);
    3107                 :        136 :   switch (TRAIT_EXPR_KIND (expr))
    3108                 :            :     {
    3109                 :          2 :     case CPTK_HAS_NOTHROW_ASSIGN:
    3110                 :          2 :       inform (loc, "  %qT is not %<nothrow%> copy assignable", t1);
    3111                 :          2 :       break;
    3112                 :          2 :     case CPTK_HAS_NOTHROW_CONSTRUCTOR:
    3113                 :          2 :       inform (loc, "  %qT is not %<nothrow%> default constructible", t1);
    3114                 :          2 :       break;
    3115                 :          2 :     case CPTK_HAS_NOTHROW_COPY:
    3116                 :          2 :       inform (loc, "  %qT is not %<nothrow%> copy constructible", t1);
    3117                 :          2 :       break;
    3118                 :          2 :     case CPTK_HAS_TRIVIAL_ASSIGN:
    3119                 :          2 :       inform (loc, "  %qT is not trivially copy assignable", t1);
    3120                 :          2 :       break;
    3121                 :          2 :     case CPTK_HAS_TRIVIAL_CONSTRUCTOR:
    3122                 :          2 :       inform (loc, "  %qT is not trivially default constructible", t1);
    3123                 :          2 :       break;
    3124                 :          2 :     case CPTK_HAS_TRIVIAL_COPY:
    3125                 :          2 :       inform (loc, "  %qT is not trivially copy constructible", t1);
    3126                 :          2 :       break;
    3127                 :          2 :     case CPTK_HAS_TRIVIAL_DESTRUCTOR:
    3128                 :          2 :       inform (loc, "  %qT is not trivially destructible", t1);
    3129                 :          2 :       break;
    3130                 :          2 :     case CPTK_HAS_VIRTUAL_DESTRUCTOR:
    3131                 :          2 :       inform (loc, "  %qT does not have a virtual destructor", t1);
    3132                 :          2 :       break;
    3133                 :          2 :     case CPTK_IS_ABSTRACT:
    3134                 :          2 :       inform (loc, "  %qT is not an abstract class", t1);
    3135                 :          2 :       break;
    3136                 :          1 :     case CPTK_IS_BASE_OF:
    3137                 :          1 :       inform (loc, "  %qT is not a base of %qT", t1, t2);
    3138                 :          1 :       break;
    3139                 :         61 :     case CPTK_IS_CLASS:
    3140                 :         61 :       inform (loc, "  %qT is not a class", t1);
    3141                 :         61 :       break;
    3142                 :          2 :     case CPTK_IS_EMPTY:
    3143                 :          2 :       inform (loc, "  %qT is not an empty class", t1);
    3144                 :          2 :       break;
    3145                 :          0 :     case CPTK_IS_ENUM:
    3146                 :          0 :       inform (loc, "  %qT is not an enum", t1);
    3147                 :          0 :       break;
    3148                 :          2 :     case CPTK_IS_FINAL:
    3149                 :          2 :       inform (loc, "  %qT is not a final class", t1);
    3150                 :          2 :       break;
    3151                 :          0 :     case CPTK_IS_LITERAL_TYPE:
    3152                 :          0 :       inform (loc, "  %qT is not a literal type", t1);
    3153                 :          0 :       break;
    3154                 :          2 :     case CPTK_IS_POD:
    3155                 :          2 :       inform (loc, "  %qT is not a POD type", t1);
    3156                 :          2 :       break;
    3157                 :          2 :     case CPTK_IS_POLYMORPHIC:
    3158                 :          2 :       inform (loc, "  %qT is not a polymorphic type", t1);
    3159                 :          2 :       break;
    3160                 :         42 :     case CPTK_IS_SAME_AS:
    3161                 :         42 :       inform (loc, "  %qT is not the same as %qT", t1, t2);
    3162                 :         42 :       break;
    3163                 :          2 :     case CPTK_IS_STD_LAYOUT:
    3164                 :          2 :       inform (loc, "  %qT is not an standard layout type", t1);
    3165                 :          2 :       break;
    3166                 :          2 :     case CPTK_IS_TRIVIAL:
    3167                 :          2 :       inform (loc, "  %qT is not a trivial type", t1);
    3168                 :          2 :       break;
    3169                 :          2 :     case CPTK_IS_UNION:
    3170                 :          2 :       inform (loc, "  %qT is not a union", t1);
    3171                 :          2 :       break;
    3172                 :          0 :     default:
    3173                 :          0 :       gcc_unreachable ();
    3174                 :            :     }
    3175                 :        136 : }
    3176                 :            : 
    3177                 :            : static tree
    3178                 :         50 : diagnose_valid_expression (tree expr, tree args, tree in_decl)
    3179                 :            : {
    3180                 :         50 :   tree result = tsubst_expr (expr, args, tf_none, in_decl, false);
    3181                 :         50 :   if (result != error_mark_node)
    3182                 :            :     return result;
    3183                 :            : 
    3184                 :         37 :   location_t loc = cp_expr_loc_or_input_loc (expr);
    3185                 :         37 :   inform (loc, "the required expression %qE is invalid", expr);
    3186                 :            : 
    3187                 :            :   /* TODO: Replay the substitution to diagnose the error?  */
    3188                 :            :   // tsubst_expr (expr, args, tf_error, in_decl, false);
    3189                 :            : 
    3190                 :         37 :   return error_mark_node;
    3191                 :            : }
    3192                 :            : 
    3193                 :            : static tree
    3194                 :         19 : diagnose_valid_type (tree type, tree args, tree in_decl)
    3195                 :            : {
    3196                 :         19 :   tree result = tsubst (type, args, tf_none, in_decl);
    3197                 :         19 :   if (result != error_mark_node)
    3198                 :            :     return result;
    3199                 :            : 
    3200                 :          6 :   location_t loc = cp_expr_loc_or_input_loc (type);
    3201                 :          6 :   inform (loc, "the required type %qT is invalid", type);
    3202                 :            : 
    3203                 :            :   /* TODO: Replay the substitution to diagnose the error?  */
    3204                 :            :   // tsubst (type, args, tf_error, in_decl);
    3205                 :            : 
    3206                 :          6 :   return error_mark_node;
    3207                 :            : }
    3208                 :            : 
    3209                 :            : static void
    3210                 :         16 : diagnose_simple_requirement (tree req, tree args, tree in_decl)
    3211                 :            : {
    3212                 :         16 :   diagnose_valid_expression (TREE_OPERAND (req, 0), args, in_decl);
    3213                 :         16 : }
    3214                 :            : 
    3215                 :            : static void
    3216                 :         34 : diagnose_compound_requirement (tree req, tree args, tree in_decl)
    3217                 :            : {
    3218                 :         34 :   tree expr = TREE_OPERAND (req, 0);
    3219                 :         34 :   expr = diagnose_valid_expression (expr, args, in_decl);
    3220                 :         34 :   if (expr == error_mark_node)
    3221                 :            :     return;
    3222                 :            : 
    3223                 :         13 :   location_t loc = cp_expr_loc_or_input_loc (expr);
    3224                 :            : 
    3225                 :            :   /* Check the noexcept condition.  */
    3226                 :         13 :   if (COMPOUND_REQ_NOEXCEPT_P (req) && !expr_noexcept_p (expr, tf_none))
    3227                 :          1 :     inform (loc, "%qE is not %<noexcept%>", expr);
    3228                 :            : 
    3229                 :         13 :   tree type = TREE_OPERAND (req, 1);
    3230                 :         13 :   type = diagnose_valid_type (type, args, in_decl);
    3231                 :         13 :   if (type == error_mark_node)
    3232                 :            :     return;
    3233                 :            : 
    3234                 :         13 :   if (type)
    3235                 :            :     {
    3236                 :         12 :       subst_info quiet (tf_none, in_decl);
    3237                 :         12 :       subst_info noisy (tf_error, in_decl);
    3238                 :            : 
    3239                 :            :       /* Check the expression against the result type.  */
    3240                 :         12 :       if (tree placeholder = type_uses_auto (type))
    3241                 :            :         {
    3242                 :         10 :           if (!type_deducible_p (expr, type, placeholder, args, quiet))
    3243                 :            :             {
    3244                 :         10 :               tree orig_expr = TREE_OPERAND (req, 0);
    3245                 :         10 :               inform (loc, "%qE does not satisfy return-type-requirement",
    3246                 :            :                       orig_expr);
    3247                 :            : 
    3248                 :            :               /* Further explain the reason for the error.  */
    3249                 :         10 :               type_deducible_p (expr, type, placeholder, args, noisy);
    3250                 :            :             }
    3251                 :            :         }
    3252                 :          2 :       else if (!expression_convertible_p (expr, type, quiet))
    3253                 :            :         {
    3254                 :          2 :           tree orig_expr = TREE_OPERAND (req, 0);
    3255                 :          2 :           inform (loc, "cannot convert %qE to %qT", orig_expr, type);
    3256                 :            : 
    3257                 :            :           /* Further explain the reason for the error.  */
    3258                 :          2 :           expression_convertible_p (expr, type, noisy);
    3259                 :            :         }
    3260                 :            :     }
    3261                 :            : }
    3262                 :            : 
    3263                 :            : static void
    3264                 :          6 : diagnose_type_requirement (tree req, tree args, tree in_decl)
    3265                 :            : {
    3266                 :          6 :   tree type = TREE_OPERAND (req, 0);
    3267                 :          6 :   diagnose_valid_type (type, args, in_decl);
    3268                 :          6 : }
    3269                 :            : 
    3270                 :            : static void
    3271                 :         12 : diagnose_nested_requirement (tree req, tree args)
    3272                 :            : {
    3273                 :            :   /* Quietly check for satisfaction first. We can elaborate details
    3274                 :            :      later if needed.  */
    3275                 :         12 :   tree norm = TREE_VALUE (TREE_TYPE (req));
    3276                 :         12 :   subst_info info (tf_none, NULL_TREE);
    3277                 :         12 :   tree result = satisfy_constraint (norm, args, info);
    3278                 :         12 :   if (result == boolean_true_node)
    3279                 :          0 :     return;
    3280                 :            : 
    3281                 :         12 :   tree expr = TREE_OPERAND (req, 0);
    3282                 :         12 :   location_t loc = cp_expr_location (expr);
    3283                 :         12 :   inform (loc, "nested requirement %qE is not satisfied", expr);
    3284                 :            : 
    3285                 :            :   /* TODO: Replay the substitution to diagnose the error?  */
    3286                 :            :   // subst_info noisy (tf_warning_or_error, NULL_TREE);
    3287                 :            :   // satisfy_constraint (norm, args, info);
    3288                 :            : }
    3289                 :            : 
    3290                 :            : static void
    3291                 :         68 : diagnose_requirement (tree req, tree args, tree in_decl)
    3292                 :            : {
    3293                 :         68 :   iloc_sentinel loc_s (cp_expr_location (req));
    3294                 :         68 :   switch (TREE_CODE (req))
    3295                 :            :     {
    3296                 :         16 :     case SIMPLE_REQ:
    3297                 :         16 :       return diagnose_simple_requirement (req, args, in_decl);
    3298                 :         34 :     case COMPOUND_REQ:
    3299                 :         34 :       return diagnose_compound_requirement (req, args, in_decl);
    3300                 :          6 :     case TYPE_REQ:
    3301                 :          6 :       return diagnose_type_requirement (req, args, in_decl);
    3302                 :         12 :     case NESTED_REQ:
    3303                 :         12 :       return diagnose_nested_requirement (req, args);
    3304                 :          0 :     default:
    3305                 :          0 :        gcc_unreachable ();
    3306                 :            :     }
    3307                 :            : }
    3308                 :            : 
    3309                 :            : static void
    3310                 :         53 : diagnose_requires_expr (tree expr, tree map, tree in_decl)
    3311                 :            : {
    3312                 :        105 :   local_specialization_stack stack (lss_copy);
    3313                 :         53 :   tree parms = TREE_OPERAND (expr, 0);
    3314                 :         53 :   tree body = TREE_OPERAND (expr, 1);
    3315                 :         53 :   tree args = get_mapped_args (map);
    3316                 :            : 
    3317                 :        105 :   cp_unevaluated u;
    3318                 :         53 :   subst_info info (tf_warning_or_error, NULL_TREE);
    3319                 :         53 :   tree vars = tsubst_constraint_variables (parms, args, info);
    3320                 :         53 :   if (vars == error_mark_node)
    3321                 :          1 :     return;
    3322                 :            : 
    3323                 :            :   tree p = body;
    3324                 :        120 :   while (p)
    3325                 :            :     {
    3326                 :         68 :       tree req = TREE_VALUE (p);
    3327                 :         68 :       diagnose_requirement (req, args, in_decl);
    3328                 :         68 :       p = TREE_CHAIN (p);
    3329                 :            :     }
    3330                 :            : }
    3331                 :            : 
    3332                 :            : /* Diagnose a substitution failure in the atomic constraint T when applied
    3333                 :            :    with the instantiated parameter mapping MAP.  */
    3334                 :            : 
    3335                 :            : static void
    3336                 :        283 : diagnose_atomic_constraint (tree t, tree map, tree result, subst_info info)
    3337                 :            : {
    3338                 :            :   /* If the constraint is already ill-formed, we've previously diagnosed
    3339                 :            :      the reason. We should still say why the constraints aren't satisfied.  */
    3340                 :        283 :   if (t == error_mark_node)
    3341                 :            :     {
    3342                 :          0 :       location_t loc;
    3343                 :          0 :       if (info.in_decl)
    3344                 :          0 :         loc = DECL_SOURCE_LOCATION (info.in_decl);
    3345                 :            :       else
    3346                 :          0 :         loc = input_location;
    3347                 :          0 :       inform (loc, "invalid constraints");
    3348                 :          0 :       return;
    3349                 :            :     }
    3350                 :            : 
    3351                 :        283 :   location_t loc = get_constraint_error_location (t);
    3352                 :        566 :   iloc_sentinel loc_s (loc);
    3353                 :            : 
    3354                 :            :   /* Generate better diagnostics for certain kinds of expressions.  */
    3355                 :        283 :   tree expr = ATOMIC_CONSTR_EXPR (t);
    3356                 :        283 :   STRIP_ANY_LOCATION_WRAPPER (expr);
    3357                 :        283 :   switch (TREE_CODE (expr))
    3358                 :            :     {
    3359                 :        136 :     case TRAIT_EXPR:
    3360                 :        136 :       diagnose_trait_expr (expr, map);
    3361                 :        136 :       break;
    3362                 :         53 :     case REQUIRES_EXPR:
    3363                 :         53 :       diagnose_requires_expr (expr, map, info.in_decl);
    3364                 :         53 :       break;
    3365                 :         38 :     case INTEGER_CST:
    3366                 :            :       /* This must be either 0 or false.  */
    3367                 :         38 :       inform (loc, "%qE is never satisfied", expr);
    3368                 :         38 :       break;
    3369                 :         56 :     default:
    3370                 :         56 :       tree a = copy_node (t);
    3371                 :         56 :       ATOMIC_CONSTR_MAP (a) = map;
    3372                 :         56 :       if (!same_type_p (TREE_TYPE (result), boolean_type_node))
    3373                 :         12 :         error_at (loc, "constraint %qE has type %qT, not %<bool%>",
    3374                 :         12 :                   a, TREE_TYPE (result));
    3375                 :            :       else
    3376                 :         44 :         inform (loc, "the expression %qE evaluated to %<false%>", a);
    3377                 :         56 :       ggc_free (a);
    3378                 :            :     }
    3379                 :            : }
    3380                 :            : 
    3381                 :            : GTY(()) tree current_failed_constraint;
    3382                 :            : 
    3383                 :    5097250 : diagnosing_failed_constraint::
    3384                 :    5097250 : diagnosing_failed_constraint (tree t, tree args, bool diag)
    3385                 :    5097250 :   : diagnosing_error (diag)
    3386                 :            : {
    3387                 :    5097250 :   if (diagnosing_error)
    3388                 :       2696 :     current_failed_constraint = tree_cons (args, t, current_failed_constraint);
    3389                 :    5097250 : }
    3390                 :            : 
    3391                 :    5094550 : diagnosing_failed_constraint::
    3392                 :    5094550 : ~diagnosing_failed_constraint ()
    3393                 :            : {
    3394                 :    5094550 :   if (diagnosing_error && current_failed_constraint)
    3395                 :       2400 :     current_failed_constraint = TREE_CHAIN (current_failed_constraint);
    3396                 :    5094550 : }
    3397                 :            : 
    3398                 :            : /* Emit diagnostics detailing the failure ARGS to satisfy the constraints
    3399                 :            :    of T. Here, T can be either a constraint or a declaration.  */
    3400                 :            : 
    3401                 :            : void
    3402                 :        299 : diagnose_constraints (location_t loc, tree t, tree args)
    3403                 :            : {
    3404                 :        299 :   inform (loc, "constraints not satisfied");
    3405                 :            : 
    3406                 :            :   /* Replay satisfaction, but diagnose errors.  */
    3407                 :        299 :   if (!args)
    3408                 :        231 :     constraint_satisfaction_value (t, tf_warning_or_error);
    3409                 :            :   else
    3410                 :         68 :     constraint_satisfaction_value (t, args, tf_warning_or_error);
    3411                 :        299 : }
    3412                 :            : 
    3413                 :            : #include "gt-cp-constraint.h"

Generated by: LCOV version 1.0

LCOV profile is generated on x86_64 machine using following configure options: configure --disable-bootstrap --enable-coverage=opt --enable-languages=c,c++,fortran,go,jit,lto --enable-host-shared. GCC test suite is run with the built compiler.