public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug fortran/29601]  New: VOLATILE attribute and statement
@ 2006-10-26  8:25 fxcoudert at gcc dot gnu dot org
  2006-10-26  8:25 ` [Bug fortran/29601] " fxcoudert at gcc dot gnu dot org
                   ` (5 more replies)
  0 siblings, 6 replies; 7+ messages in thread
From: fxcoudert at gcc dot gnu dot org @ 2006-10-26  8:25 UTC (permalink / raw)
  To: gcc-bugs

5.2.15   VOLATILE statement
R548  volatile-stmt  is  VOLATILE [ :: ] object-name-list
The VOLATILE statement specifies the VOLATILE attribute (5.1.2.16) for a list
of objects.



5.1.2.16   VOLATILE attribute
The VOLATILE attribute specifies that an object may be referenced, defined, or
become undefined, by means not specified by the program.
An object may have the VOLATILE attribute in a particular scoping unit without
necessarily having it in other scoping units. If an object has the VOLATILE
attribute, then all of its subobjects also have the VOLATILE attribute.

      NOTE 5.21
      The Fortran processor should use the most recent definition of a volatile
object when a value is required. Likewise, it should make the most recent
Fortran definition available. It is the programmer's responsibility to manage
the interactions with the non-Fortran processes.

A pointer with the VOLATILE attribute may additionally have its association
status and array bounds changed by means not specified by the program.

      NOTE 5.22
      If the target of a pointer is referenced, defined, or becomes undefined,
by means not specified by the program, while the pointer is associated with the
target, then the pointer shall have the VOLATILE attribute. Usually a pointer
should have the VOLATILE attribute if its target has the VOLATILE attribute.
Similarly, all members of an EQUIVALENCE group should have the VOLATILE
attribute if one member has the VOLATILE attribute.

An allocatable object with the VOLATILE attribute may additionally have its
allocation status, dynamic type and type parameters, and array bounds changed
by means not specified by the program.


-- 
           Summary: VOLATILE attribute and statement
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: fxcoudert at gcc dot gnu dot org
OtherBugsDependingO 20585
             nThis:


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29601


^ permalink raw reply	[flat|nested] 7+ messages in thread
end of thread, other threads:[~2006-12-01  0:38 UTC | newest]

Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-10-26  8:25 [Bug fortran/29601] New: VOLATILE attribute and statement fxcoudert at gcc dot gnu dot org
2006-10-26  8:25 ` [Bug fortran/29601] " fxcoudert at gcc dot gnu dot org
2006-10-30 21:23 ` burnus at gcc dot gnu dot org
2006-10-31  0:25 ` patchapp at dberlin dot org
2006-11-07 13:28 ` burnus at gcc dot gnu dot org
2006-11-07 13:32 ` burnus at gcc dot gnu dot org
2006-12-01  0:38 ` chaoyingfu at gcc dot gnu dot org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).