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" } }