From e3cc64dec20832769406aa38cde83c7dd4194bf4 Mon Sep 17 00:00:00 2001 From: Ben Cheng Date: Tue, 22 Apr 2014 13:33:12 -0700 Subject: [4.9] GCC 4.9.0 official release refresh Change-Id: Ic99a7da8b44b789a48aeec93b33e93944d6e6767 --- gcc-4.9/gcc/testsuite/gnat.dg/opt33.adb | 41 ++++++++++++++++++++++ .../gcc/testsuite/gnat.dg/test_raise_from_pure.adb | 2 +- 2 files changed, 42 insertions(+), 1 deletion(-) create mode 100644 gcc-4.9/gcc/testsuite/gnat.dg/opt33.adb (limited to 'gcc-4.9/gcc/testsuite/gnat.dg') diff --git a/gcc-4.9/gcc/testsuite/gnat.dg/opt33.adb b/gcc-4.9/gcc/testsuite/gnat.dg/opt33.adb new file mode 100644 index 000000000..e1ac27c31 --- /dev/null +++ b/gcc-4.9/gcc/testsuite/gnat.dg/opt33.adb @@ -0,0 +1,41 @@ +-- { dg-do compile } +-- { dg-options "-O" } + +with Ada.Containers.Ordered_Sets; +with Ada.Strings.Unbounded; + +procedure Opt33 is + + type Rec is record + Name : Ada.Strings.Unbounded.Unbounded_String; + end record; + + function "<" (Left : Rec; Right : Rec) return Boolean; + + package My_Ordered_Sets is new Ada.Containers.Ordered_Sets (Rec); + + protected type Data is + procedure Do_It; + private + Set : My_Ordered_Sets.Set; + end Data; + + function "<" (Left : Rec; Right : Rec) return Boolean is + begin + return False; + end "<"; + + protected body Data is + procedure Do_It is + procedure Dummy (Position : My_Ordered_Sets.Cursor) is + begin + null; + end; + begin + Set.Iterate (Dummy'Access); + end; + end Data; + +begin + null; +end; diff --git a/gcc-4.9/gcc/testsuite/gnat.dg/test_raise_from_pure.adb b/gcc-4.9/gcc/testsuite/gnat.dg/test_raise_from_pure.adb index 66db2232e..8f928c585 100644 --- a/gcc-4.9/gcc/testsuite/gnat.dg/test_raise_from_pure.adb +++ b/gcc-4.9/gcc/testsuite/gnat.dg/test_raise_from_pure.adb @@ -1,4 +1,4 @@ --- { dg-do run { xfail arm*-*-* } } +-- { dg-do run } -- { dg-options "-O2" } -- This is an optimization test and its failure is only a missed optimization. -- cgit v1.2.3