obtained gcc-4.6.4.tar.bz2 from upstream website;upstream

verified gcc-4.6.4.tar.bz2.sig;
imported gcc-4.6.4 source tree from verified upstream tarball.

downloading a git-generated archive based on the 'upstream' tag
should provide you with a source tree that is binary identical
to the one extracted from the above tarball.

if you have obtained the source via the command 'git clone',
however, do note that line-endings of files in your working
directory might differ from line-endings of the respective
files in the upstream repository.

1 files changed, 61 insertions, 0 deletions

diff --git a/gcc/testsuite/gnat.dg/renaming2.adb b/gcc/testsuite/gnat.dg/renaming2.adb
new file mode 100644
index 000000000..0ec89c2f3
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/renaming2.adb
@@ -0,0 +1,61 @@
+--  { dg-do run }
+--  { dg-options "-gnatws" }
+
+with Text_IO;
+procedure renaming2 is
+    type RealNodeData;
+    type RefRealNodeData is access RealNodeData;
+
+    type ExpressionEntry;
+    type RefExpression is access ExpressionEntry;
+
+    type RefDefUseEntry is access Natural;
+    
+    type ExpressionEntry is
+    record
+        Number : RefDefUseEntry;
+        Id     : Integer;
+    end record;
+   
+    type RealNodeData is
+    record
+        Node   : RefExpression;
+        Id     : Integer; 
+    end record;
+            
+    for ExpressionEntry use
+    record
+        Number at 0 range  0 .. 63;
+        Id     at 8 range  0 .. 31;
+    end record ;
+        
+    for RealNodeData use
+    record
+        Node   at  0 range  0 .. 63;
+        Id     at 8 range  0 .. 31;
+    end record ;
+        
+    U_Node : RefDefUseEntry := new Natural'(1); 
+    E_Node : RefExpression := new ExpressionEntry'(Number => U_Node,
+                                                   Id => 2);
+    R_Node : RefRealNodeData := new RealNodeData'(Node => E_Node, 
+                                                   Id => 3);
+        
+    procedure test_routine (NodeRealData : RefRealNodeData)
+    is  
+        OldHead   : RefDefUseEntry renames NodeRealData.all.Node.all.Number;
+        OldHead1  : constant RefDefUseEntry := OldHead;
+    begin
+      NodeRealData.all.Node := new ExpressionEntry'(Number => null, Id => 4);
+      declare                                                   
+        OldHead2 : constant RefDefUseEntry := OldHead;
+      begin
+        if OldHead1 /= OldHead2
+        then
+          Text_IO.Put_Line (" OldHead changed !!!");
+        end if;
+      end;
+    end;
+begin
+  test_routine (R_Node);
+end;