]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Avoid generating incorrect warning
authorSteve Baird <baird@adacore.com>
Mon, 21 Jul 2025 23:23:20 +0000 (16:23 -0700)
committerEric Botcazou <ebotcazou@adacore.com>
Thu, 11 Sep 2025 09:56:40 +0000 (11:56 +0200)
Do not generate a warning stating that the size of a formal parameter
is 8 bits unless the size of the formal parameter is 8 bits.

gcc/ada/ChangeLog:

* freeze.adb (Freeze_Profile): Do not emit a warning stating that
a formal parameter's size is 8 if the parameter's size is not 8.

gcc/ada/freeze.adb

index 00895cd1aae66413422ae036c9f92061f1a2dd34..0b501f194d69ade4ce354a7aafe95e46e6bd7b55 100644 (file)
@@ -4811,6 +4811,8 @@ package body Freeze is
                  and then Convention (F_Type) = Convention_Ada
                  and then not Has_Warnings_Off (F_Type)
                  and then not Has_Size_Clause (F_Type)
+                 and then Present (Esize (F_Type))
+                 and then Esize (F_Type) = 8
                then
                   Error_Msg_N
                     ("& is an 8-bit Ada Boolean?x?", Formal);