ada: Spurious predicate check at default initialization

For an object created by an object_declaration with no explicit
initialization expression, if the type of the object is a record
type (or a private record type) with no components and a dynamic
predicate, then no predicate check must be performed at runtime
(RM 3.2.4(31/5)).

gcc/ada/ChangeLog:

	* sem_util.adb (Is_Partially_Initialized_Type): Return False
	for record types with no components.

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index ff2b2351937566eb0c415617f945c0e6d6282792..e6c183c5f9c3cc4256ae8e52fa05de3ba135c6ce 100644 (file)
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -20240,7 +20240,12 @@ package body Sem_Util is
          elsif Is_Tagged_Type (Typ) then
             return True;
 
-         --  Case of nondiscriminated record
+         --  Case of record type with no components
+
+         elsif No (First_Component (Typ)) then
+            return False;
+
+         --  Case of record type with components
 
          else
             declare