Almost 4 years ago I installed the following patch:

2010-11-28  Eric Botcazou  <ebotca...@adacore.com>

        * gnat.dg/aliasing2.adb (dg-final): Robustify pattern matching.
        * gnat.dg/pack9.adb (dg-final): Likewise.

and somehow missed gnat.dg/aliasing1.adb which needs the same treatment.

Tested on x86_64-suse-linux, applied on all active branches.


2014-05-27  Eric Botcazou  <ebotca...@adacore.com>

        * gnat.dg/aliasing1.adb (dg-final): Robustify pattern matching.


-- 
Eric Botcazou
Index: testsuite/gnat.dg/aliasing1.adb
===================================================================
--- testsuite/gnat.dg/aliasing1.adb	(revision 210911)
+++ testsuite/gnat.dg/aliasing1.adb	(working copy)
@@ -18,5 +18,5 @@ package body Aliasing1 is
 
 end Aliasing1;
 
--- { dg-final { scan-tree-dump-not "__gnat_rcheck" "optimized" } }
+-- { dg-final { scan-tree-dump-not "gnat_rcheck" "optimized" } }
 -- { dg-final { cleanup-tree-dump "optimized" } }

Reply via email to