diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 4f71051439ed..aed187cda97f 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,10 @@
+2014-02-18  Vincent Celier  <celier@adacore.com>
+
+	* sem_aux.adb (Is_By_Reference_Type): For each components of
+	a record type, check also if the component is volatile as it
+	may have an aspect that makes it volatile. If it is, then the
+	record type is a by reference type.
+
 2014-02-18  Robert Dewar  <dewar@adacore.com>
 
 	* exp_attr.adb: Minor reformatting.
diff --git a/gcc/ada/sem_aux.adb b/gcc/ada/sem_aux.adb
index 9aa7f4cac4ff..dbe676da31f1 100644
--- a/gcc/ada/sem_aux.adb
+++ b/gcc/ada/sem_aux.adb
@@ -782,8 +782,15 @@ package body Sem_Aux is
             begin
                C := First_Component (Btype);
                while Present (C) loop
+
+                  --  For each component, test if its type is a by reference
+                  --  type and if its type is volatile. Also test the component
+                  --  itself for being volatile. This happens for example when
+                  --  a Volatile aspect is added to a component.
+
                   if Is_By_Reference_Type (Etype (C))
                     or else Is_Volatile (Etype (C))
+                    or else Is_Volatile (C)
                   then
                      return True;
                   end if;