This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[Ada] Fix gnat.dg/test_nested_subtype_byref.adb
- From: Eric Botcazou <ebotcazou at adacore dot com>
- To: gcc-patches at gcc dot gnu dot org
- Date: Sat, 4 Apr 2009 21:16:39 +0200
- Subject: [Ada] Fix gnat.dg/test_nested_subtype_byref.adb
The new alias analysis engine (namely nonaliasing_component_refs_p) is more
aggressive than the old one to disambiguate component references. This makes
the attached patch necessary for Ada.
Tested on i586-suse-linux, applied on the mainline.
2009-04-04 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/utils.c (finish_record_type): Force structural equality
checks if the record type is discriminated.
--
Eric Botcazou
Index: gcc-interface/utils.c
===================================================================
--- gcc-interface/utils.c (revision 145500)
+++ gcc-interface/utils.c (working copy)
@@ -977,6 +977,11 @@ finish_record_type (tree record_type, tr
if (code == QUAL_UNION_TYPE)
nreverse (fieldlist);
+ /* If the type is discriminated, it can be used to access all its
+ constrained subtypes, so force structural equality checks. */
+ if (CONTAINS_PLACEHOLDER_P (size))
+ SET_TYPE_STRUCTURAL_EQUALITY (record_type);
+
if (rep_level < 2)
{
/* If this is a padding record, we never want to make the size smaller