]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/ada/exp_aggr.ads
c++: Handle multiple aggregate overloads [PR95319].
[thirdparty/gcc.git] / gcc / ada / exp_aggr.ads
CommitLineData
70482933
RK
1------------------------------------------------------------------------------
2-- --
3-- GNAT COMPILER COMPONENTS --
4-- --
5-- E X P _ A G G R --
6-- --
7-- S p e c --
8-- --
1d005acc 9-- Copyright (C) 1992-2019, Free Software Foundation, Inc. --
70482933
RK
10-- --
11-- GNAT is free software; you can redistribute it and/or modify it under --
12-- terms of the GNU General Public License as published by the Free Soft- --
b5c84c3c 13-- ware Foundation; either version 3, or (at your option) any later ver- --
70482933
RK
14-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16-- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
17-- for more details. You should have received a copy of the GNU General --
b5c84c3c
RD
18-- Public License distributed with GNAT; see file COPYING3. If not, go to --
19-- http://www.gnu.org/licenses for a complete copy of the license. --
70482933
RK
20-- --
21-- GNAT was originally developed by the GNAT team at New York University. --
71ff80dc 22-- Extensive contributions were provided by Ada Core Technologies Inc. --
70482933
RK
23-- --
24------------------------------------------------------------------------------
25
26with Types; use Types;
27
28package Exp_Aggr is
29
30 procedure Expand_N_Aggregate (N : Node_Id);
9eb8d5b4 31 procedure Expand_N_Delta_Aggregate (N : Node_Id);
70482933
RK
32 procedure Expand_N_Extension_Aggregate (N : Node_Id);
33
34 function Is_Delayed_Aggregate (N : Node_Id) return Boolean;
fa5537cb
AC
35 -- Returns True if N is an aggregate of some kind whose Expansion_Delayed
36 -- flag is set (see sinfo for meaning of flag).
70482933 37
36c73552
AC
38 procedure Convert_Aggr_In_Object_Decl (N : Node_Id);
39 -- N is a N_Object_Declaration with an expression which must be an
40 -- N_Aggregate or N_Extension_Aggregate with Expansion_Delayed.
70482933
RK
41 -- This procedure performs in-place aggregate assignment.
42
fa57ac97 43 procedure Convert_Aggr_In_Allocator
34a343e6
RD
44 (Alloc : Node_Id;
45 Decl : Node_Id;
46 Aggr : Node_Id);
fa57ac97
ES
47 -- Alloc is the allocator whose expression is the aggregate Aggr.
48 -- Decl is an N_Object_Declaration created during allocator expansion.
bf327c92 49 -- This procedure performs in-place aggregate assignment into the
fa57ac97
ES
50 -- temporary declared in Decl, and the allocator becomes an access to
51 -- that temporary.
70482933
RK
52
53 procedure Convert_Aggr_In_Assignment (N : Node_Id);
0f95b178
JM
54 -- If the right-hand side of an assignment is an aggregate, expand the
55 -- statement into a series of individual component assignments. This is
56 -- done if there are non-static values involved in either the bounds or
57 -- the components, and the aggregate cannot be handled as a whole by the
58 -- backend.
59
60 function Static_Array_Aggregate (N : Node_Id) return Boolean;
61 -- N is an array aggregate that may have a component association with
62 -- an others clause and a range. If bounds are static and the expressions
63 -- are compile-time known constants, rewrite N as a purely positional
64 -- aggregate, to be use to initialize variables and components of the type
65 -- without generating elaboration code.
497a660d 66
70482933 67end Exp_Aggr;