comparison gcc/ada/exp_attr.ads @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 84e7813d76e9
children
comparison
equal deleted inserted replaced
131:84e7813d76e9 145:1830386684a0
4 -- -- 4 -- --
5 -- E X P _ A T T R -- 5 -- E X P _ A T T R --
6 -- -- 6 -- --
7 -- S p e c -- 7 -- S p e c --
8 -- -- 8 -- --
9 -- Copyright (C) 1992-2018, Free Software Foundation, Inc. -- 9 -- Copyright (C) 1992-2019, Free Software Foundation, Inc. --
10 -- -- 10 -- --
11 -- GNAT is free software; you can redistribute it and/or modify it under -- 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- -- 12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- -- 13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- 14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
29 29
30 package Exp_Attr is 30 package Exp_Attr is
31 31
32 procedure Expand_N_Attribute_Reference (N : Node_Id); 32 procedure Expand_N_Attribute_Reference (N : Node_Id);
33 33
34 procedure Expand_Size_Attribute (N : Node_Id);
35 -- Handles part of the expansion of attributes 'Object_Size, 'Size,
36 -- 'Value_Size, and 'VADS_Size, so that it can also be used in the special
37 -- expansion in GNATprove mode.
38
34 end Exp_Attr; 39 end Exp_Attr;