The Fortran standard describes how a conforming program shall behave; however, the exact implementation is not standardized. In order to allow the user to choose specific implementation details, compiler directives can be used to set attributes of variables and procedures which are not part of the standard. Whether a given attribute is supported and its exact effects depend on both the operating system and on the processor; see C Extensions in Using the GNU Compiler Collection (GCC) for details.
For procedures and procedure pointers, the following attributes can be used to change the calling convention:
CDECL
– standard C calling convention
STDCALL
– convention where the called procedure pops the stack
FASTCALL
– part of the arguments are passed via registers
instead using the stack
Besides changing the calling convention, the attributes also influence the decoration of the symbol name, e.g., by a leading underscore or by a trailing at-sign followed by the number of bytes on the stack. When assigning a procedure to a procedure pointer, both should use the same calling convention.
On some systems, procedures and global variables (module variables and
COMMON
blocks) need special handling to be accessible when they
are in a shared library. The following attributes are available:
DLLEXPORT
– provide a global pointer to a pointer in the DLL
DLLIMPORT
– reference the function or variable using a
global pointer
For dummy arguments, the NO_ARG_CHECK
attribute can be used; in
other compilers, it is also known as IGNORE_TKR
. For dummy arguments
with this attribute actual arguments of any type and kind (similar to
TYPE(*)
), scalars and arrays of any rank (no equivalent
in Fortran standard) are accepted. As with TYPE(*)
, the argument
is unlimited polymorphic and no type information is available.
Additionally, the argument may only be passed to dummy arguments
with the NO_ARG_CHECK
attribute and as argument to the
PRESENT
intrinsic function and to C_LOC
of the
ISO_C_BINDING
module.
Variables with NO_ARG_CHECK
attribute shall be of assumed-type
(TYPE(*)
; recommended) or of type INTEGER
, LOGICAL
,
REAL
or COMPLEX
. They shall not have the ALLOCATE
,
CODIMENSION
, INTENT(OUT)
, POINTER
or VALUE
attribute; furthermore, they shall be either scalar or of assumed-size
(dimension(*)
). As TYPE(*)
, the NO_ARG_CHECK
attribute
requires an explicit interface.
NO_ARG_CHECK
– disable the type, kind and rank checking
DEPRECATED
– print a warning when using a such-tagged
deprecated procedure, variable or parameter; the warning can be suppressed
with -Wno-deprecated-declarations.
NOINLINE
– prevent inlining given function.
NORETURN
– add a hint that a given function cannot return.
WEAK
– emit the declaration of an external symbol as a weak
symbol rather than a global. This is primarily useful in defining library
functions that can be overridden in user code, though it can also be used with
non-function declarations. The overriding symbol must have the same type as
the weak symbol.
The attributes are specified using the syntax
!GCC$ ATTRIBUTES
attribute-list ::
variable-list
where in free-form source code only whitespace is allowed before !GCC$
and in fixed-form source code !GCC$
, cGCC$
or *GCC$
shall
start in the first column.
For procedures, the compiler directives shall be placed into the body of the procedure; for variables and procedure pointers, they shall be in the same declaration part as the variable or procedure pointer.