re PR fortran/35037 (VOLATILE attribute not being honored with common block variable)

	PR fortran/35037

	* trans-common.c (build_field): Mark fields as volatile when needed.

	* gfortran.dg/volatile11.f90: New test.

From-SVN: r132129

gcc/fortran/ChangeLog

+2008-02-05  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
+
+	PR fortran/35037
+	* trans-common.c (build_field): Mark fields as volatile when needed.
+
 2008-02-05  Tobias Burnus  <burnus@net-b.de>
 
 	PR fortran/35093

gcc/fortran/trans-common.c

@@ -318,6 +318,15 @@ build_field (segment_info *h, tree union_type, record_layout_info rli)
       GFC_DECL_ASSIGN_ADDR (field) = pushdecl_top_level (addr);
     }
 
+  /* If this field is volatile, mark it.  */
+  if (h->sym->attr.volatile_)
+    {
+      tree new;
+      TREE_THIS_VOLATILE (field) = 1;
+      new = build_qualified_type (TREE_TYPE (field), TYPE_QUAL_VOLATILE);
+      TREE_TYPE (field) = new;
+    }
+
   h->field = field;
 }
 

gcc/testsuite/ChangeLog

+2008-02-05  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
+
+	PR fortran/35037
+	* gfortran.dg/volatile11.f90: New test.
+
 2008-02-05  Jakub Jelinek  <jakub@redhat.com>
 
 	PR c++/33553

gcc/testsuite/gfortran.dg/volatile11.f90

+! { dg-do compile }
+! { dg-options "-O2 -fdump-tree-optimized" }
+! Tests that volatile can be applied to members of common blocks or
+! equivalence groups (PR fortran/35037)
+!
+subroutine wait1
+  logical event
+  volatile event
+  common /dd/ event
+  event = .false.
+  do
+    if (event) print *, 'NotOptimizedAway1'
+  end do
+end subroutine
+
+subroutine wait2
+  logical event, foo
+  volatile event
+  equivalence (event, foo)
+  event = .false.
+  do
+    if (event) print *, 'NotOptimizedAway2'
+  end do
+end subroutine
+
+subroutine wait3
+  logical event
+  integer foo
+  volatile foo
+  equivalence (event, foo)
+  event = .false.
+  do
+    if (event) print *, 'IsOptimizedAway'
+  end do
+end subroutine
+
+! { dg-final { scan-tree-dump "NotOptimizedAway1" "optimized" } } */
+! { dg-final { scan-tree-dump "NotOptimizedAway2" "optimized" } } */
+! { dg-final { scan-tree-dump-not "IsOptimizedAway" "optimized" } } */
+! { dg-final { cleanup-tree-dump "optimized" } } */