re PR middle-end/26306 (ICE on volatile array with non-constant bounds)

	PR middle-end/26306
	* gimplify.c (gimplify_expr): Only force a load for references to
	non-BLKmode volatile values.
	* doc/implement-c.texi (Qualifiers implementation): Document the
	interpretation of what a volatile access is.
	* doc/extend.texi (C++ Extensions): Rework same documentation.

From-SVN: r118900

1 files changed, 33 insertions, 0 deletions

diff --git a/gcc/testsuite/gnat.dg/volatile_aggregate.adb b/gcc/testsuite/gnat.dg/volatile_aggregate.adb
new file mode 100644
index 0000000..e30e28b
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/volatile_aggregate.adb
@@ -0,0 +1,33 @@
+-- { dg-do compile }
+
+with System;
+
+procedure Volatile_Aggregate is 
+
+  function GetArrayUpperBound return Integer is 
+  begin
+    return 2;
+  end GetArrayUpperBound; 
+
+  some_value : Integer := GetArrayUpperBound;
+
+  type Gp_Element_Type is record
+    Element : Integer;
+  end record;
+
+  type some_type is array (1 .. some_value) of Gp_Element_Type;
+
+  type Aligned_Some_Type is record
+    Value : aliased some_type;
+  end record;          
+
+  for Aligned_Some_Type'Alignment use 8;          
+
+  an_aligned_type : aligned_Some_Type;   
+  my_address : system.address; 
+
+  pragma Volatile (an_aligned_type);
+
+begin
+  my_address := an_aligned_type.value(1)'address; 
+end;