Commit 67198556 by Robert Dewar Committed by Arnaud Charlet

freeze.adb (Freeze_Entity): Check for size clause for boolean warning

2008-08-04  Robert Dewar  <dewar@adacore.com>

	* freeze.adb (Freeze_Entity): Check for size clause for boolean warning

From-SVN: r138577
parent 2ca90ff0
...@@ -2398,6 +2398,8 @@ package body Freeze is ...@@ -2398,6 +2398,8 @@ package body Freeze is
elsif Root_Type (F_Type) = Standard_Boolean elsif Root_Type (F_Type) = Standard_Boolean
and then Convention (F_Type) = Convention_Ada and then Convention (F_Type) = Convention_Ada
and then not Has_Warnings_Off (F_Type)
and then not Has_Size_Clause (F_Type)
then then
Error_Msg_N Error_Msg_N
("?& is an 8-bit Ada Boolean, " ("?& is an 8-bit Ada Boolean, "
...@@ -2543,6 +2545,7 @@ package body Freeze is ...@@ -2543,6 +2545,7 @@ package body Freeze is
and then Convention (R_Type) = Convention_Ada and then Convention (R_Type) = Convention_Ada
and then not Has_Warnings_Off (E) and then not Has_Warnings_Off (E)
and then not Has_Warnings_Off (R_Type) and then not Has_Warnings_Off (R_Type)
and then not Has_Size_Clause (R_Type)
then then
Error_Msg_N Error_Msg_N
("?return type of & is an 8-bit " ("?return type of & is an 8-bit "
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment