commit 2cb64a5a3b49f37e278094405242a8eb0321b623
author Steve Baird <baird@adacore.com> Mon Jul 21 16:23:20 2025 -0700
committer Eric Botcazou <ebotcazou@adacore.com> Thu Sep 11 11:56:40 2025 +0200
tree af2d8781f9234c794785bc67b5913d209311d0b5
parent e2dfb4610831d1996913d451f89024e10aaa5056

ada: Avoid generating incorrect warning

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

diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb
index 00895cd..0b501f1 100644
--- a/gcc/ada/freeze.adb
+++ b/gcc/ada/freeze.adb
@@ -4811,6 +4811,8 @@
                  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);