diff options
author | Eric Botcazou <ebotcazou@adacore.com> | 2024-03-01 11:26:32 +0100 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-17 10:20:58 +0200 |
commit | d7d49b2d58c709f15d51651119e325d8a56b5950 (patch) | |
tree | 70326580ae0780e71405c3fde9b899717fcdf40d /Makefile.in | |
parent | b7483de99536c05983129d9ca28b53b575861078 (diff) | |
download | gcc-d7d49b2d58c709f15d51651119e325d8a56b5950.zip gcc-d7d49b2d58c709f15d51651119e325d8a56b5950.tar.gz gcc-d7d49b2d58c709f15d51651119e325d8a56b5950.tar.bz2 |
ada: Add support for 'Object_Size to pragma Compile_Time_{Warning,Error}
With the same level as for 'Size, that is to say, full evaluation of the
boolean expressions it may be contained in and handling of private types.
gcc/ada/
* sem_attr.adb (Analyze_Attribute) <Attribute_Size>: Remove special
processing for pragma Compile_Time_{Warning,Error}.
(Eval_Attribute.Compile_Time_Known_Attribute): Set Is_Static on the
resulting value if In_Compile_Time_Warning_Or_Error is set.
(Eval_Attribute.Full_Type): New helper function.
(Eval_Attribute): Call Full_Type for type attributes. Add handling
of Object_Size and adjust that of Max_Size_In_Storage_Elements in
the non-static case.
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions