1 /* gfortran header file
2 Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008,
4 Free Software Foundation, Inc.
5 Contributed by Andy Vaught
7 This file is part of GCC.
9 GCC is free software; you can redistribute it and/or modify it under
10 the terms of the GNU General Public License as published by the Free
11 Software Foundation; either version 3, or (at your option) any later
14 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
15 WARRANTY; without even the implied warranty of MERCHANTABILITY or
16 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
19 You should have received a copy of the GNU General Public License
20 along with GCC; see the file COPYING3. If not see
21 <http://www.gnu.org/licenses/>. */
23 #ifndef GCC_GFORTRAN_H
24 #define GCC_GFORTRAN_H
26 /* It's probably insane to have this large of a header file, but it
27 seemed like everything had to be recompiled anyway when a change
28 was made to a header file, and there were ordering issues with
29 multiple header files. Besides, Microsoft's winnt.h was 250k last
30 time I looked, so by comparison this is perfectly reasonable. */
32 /* Declarations common to the front-end and library are put in
33 libgfortran/libgfortran_frontend.h */
34 #include "libgfortran.h"
38 #include "coretypes.h"
40 #include "splay-tree.h"
41 /* The following ifdefs are recommended by the autoconf documentation
42 for any code using alloca. */
44 /* AIX requires this to be the first thing in the file. */
46 #else /* not __GNUC__ */
49 #else /* do not HAVE_ALLOCA_H */
53 #ifndef alloca /* predefined by HP cc +Olibcalls */
55 #endif /* not predefined */
57 #endif /* do not HAVE_ALLOCA_H */
58 #endif /* not __GNUC__ */
60 /* Major control parameters. */
62 #define GFC_MAX_SYMBOL_LEN 63 /* Must be at least 63 for F2003. */
63 #define GFC_MAX_BINDING_LABEL_LEN 126 /* (2 * GFC_MAX_SYMBOL_LEN) */
64 #define GFC_MAX_LINE 132 /* Characters beyond this are not seen. */
65 #define GFC_LETTERS 26 /* Number of letters in the alphabet. */
67 #define MAX_SUBRECORD_LENGTH 2147483639 /* 2**31-9 */
70 #define free(x) Use_gfc_free_instead_of_free()
71 #define gfc_is_whitespace(c) ((c==' ') || (c=='\t'))
74 #define NULL ((void *) 0)
78 #define stringize(x) expand_macro(x)
79 #define expand_macro(x) # x
81 /* For the runtime library, a standard prefix is a requirement to
82 avoid cluttering the namespace with things nobody asked for. It's
83 ugly to look at and a pain to type when you add the prefix by hand,
84 so we hide it behind a macro. */
85 #define PREFIX(x) "_gfortran_" x
88 #define BLANK_COMMON_NAME "__BLNK__"
90 /* Macro to initialize an mstring structure. */
91 #define minit(s, t) { s, NULL, t }
93 /* Structure for storing strings to be matched by gfc_match_string. */
104 /*************************** Enums *****************************/
106 /* Used when matching and resolving data I/O transfer statements. */
109 { M_READ
, M_WRITE
, M_PRINT
, M_INQUIRE
}
112 /* The author remains confused to this day about the convention of
113 returning '0' for 'SUCCESS'... or was it the other way around? The
114 following enum makes things much more readable. We also start
115 values off at one instead of zero. */
118 { SUCCESS
= 1, FAILURE
}
121 /* This is returned by gfc_notification_std to know if, given the flags
122 that were given (-std=, -pedantic) we should issue an error, a warning
126 { SILENT
, WARNING
, ERROR
}
129 /* Matchers return one of these three values. The difference between
130 MATCH_NO and MATCH_ERROR is that MATCH_ERROR means that a match was
131 successful, but that something non-syntactic is wrong and an error
132 has already been issued. */
135 { MATCH_NO
= 1, MATCH_YES
, MATCH_ERROR
}
139 { FORM_FREE
, FORM_FIXED
, FORM_UNKNOWN
}
142 /* Basic types. BT_VOID is used by ISO C Binding so funcs like c_f_pointer
143 can take any arg with the pointer attribute as a param. */
145 { BT_UNKNOWN
= 1, BT_INTEGER
, BT_REAL
, BT_COMPLEX
, BT_LOGICAL
, BT_CHARACTER
,
146 BT_DERIVED
, BT_CLASS
, BT_PROCEDURE
, BT_HOLLERITH
, BT_VOID
150 /* Expression node types. */
152 { EXPR_OP
= 1, EXPR_FUNCTION
, EXPR_CONSTANT
, EXPR_VARIABLE
,
153 EXPR_SUBSTRING
, EXPR_STRUCTURE
, EXPR_ARRAY
, EXPR_NULL
, EXPR_COMPCALL
, EXPR_PPC
159 { AS_EXPLICIT
= 1, AS_ASSUMED_SHAPE
, AS_DEFERRED
,
160 AS_ASSUMED_SIZE
, AS_UNKNOWN
165 { AR_FULL
= 1, AR_ELEMENT
, AR_SECTION
, AR_UNKNOWN
}
168 /* Statement label types. */
170 { ST_LABEL_UNKNOWN
= 1, ST_LABEL_TARGET
,
171 ST_LABEL_BAD_TARGET
, ST_LABEL_FORMAT
175 /* Intrinsic operators. */
177 { GFC_INTRINSIC_BEGIN
= 0,
178 INTRINSIC_NONE
= -1, INTRINSIC_UPLUS
= GFC_INTRINSIC_BEGIN
,
179 INTRINSIC_UMINUS
, INTRINSIC_PLUS
, INTRINSIC_MINUS
, INTRINSIC_TIMES
,
180 INTRINSIC_DIVIDE
, INTRINSIC_POWER
, INTRINSIC_CONCAT
,
181 INTRINSIC_AND
, INTRINSIC_OR
, INTRINSIC_EQV
, INTRINSIC_NEQV
,
182 /* ==, /=, >, >=, <, <= */
183 INTRINSIC_EQ
, INTRINSIC_NE
, INTRINSIC_GT
, INTRINSIC_GE
,
184 INTRINSIC_LT
, INTRINSIC_LE
,
185 /* .EQ., .NE., .GT., .GE., .LT., .LE. (OS = Old-Style) */
186 INTRINSIC_EQ_OS
, INTRINSIC_NE_OS
, INTRINSIC_GT_OS
, INTRINSIC_GE_OS
,
187 INTRINSIC_LT_OS
, INTRINSIC_LE_OS
,
188 INTRINSIC_NOT
, INTRINSIC_USER
, INTRINSIC_ASSIGN
,
189 INTRINSIC_PARENTHESES
, GFC_INTRINSIC_END
/* Sentinel */
194 /* This macro is the number of intrinsic operators that exist.
195 Assumptions are made about the numbering of the interface_op enums. */
196 #define GFC_INTRINSIC_OPS GFC_INTRINSIC_END
198 /* Arithmetic results. */
200 { ARITH_OK
= 1, ARITH_OVERFLOW
, ARITH_UNDERFLOW
, ARITH_NAN
,
201 ARITH_DIV0
, ARITH_INCOMMENSURATE
, ARITH_ASYMMETRIC
, ARITH_PROHIBIT
208 ST_ARITHMETIC_IF
, ST_ALLOCATE
, ST_ATTR_DECL
, ST_ASSOCIATE
,
209 ST_BACKSPACE
, ST_BLOCK
, ST_BLOCK_DATA
,
210 ST_CALL
, ST_CASE
, ST_CLOSE
, ST_COMMON
, ST_CONTINUE
, ST_CONTAINS
, ST_CYCLE
,
211 ST_DATA
, ST_DATA_DECL
, ST_DEALLOCATE
, ST_DO
, ST_ELSE
, ST_ELSEIF
,
212 ST_ELSEWHERE
, ST_END_ASSOCIATE
, ST_END_BLOCK
, ST_END_BLOCK_DATA
,
213 ST_ENDDO
, ST_IMPLIED_ENDDO
,
214 ST_END_FILE
, ST_FINAL
, ST_FLUSH
, ST_END_FORALL
, ST_END_FUNCTION
, ST_ENDIF
,
215 ST_END_INTERFACE
, ST_END_MODULE
, ST_END_PROGRAM
, ST_END_SELECT
,
216 ST_END_SUBROUTINE
, ST_END_WHERE
, ST_END_TYPE
, ST_ENTRY
, ST_EQUIVALENCE
,
217 ST_ERROR_STOP
, ST_EXIT
, ST_FORALL
, ST_FORALL_BLOCK
, ST_FORMAT
, ST_FUNCTION
,
218 ST_GOTO
, ST_IF_BLOCK
, ST_IMPLICIT
, ST_IMPLICIT_NONE
, ST_IMPORT
,
219 ST_INQUIRE
, ST_INTERFACE
, ST_SYNC_ALL
, ST_SYNC_MEMORY
, ST_SYNC_IMAGES
,
220 ST_PARAMETER
, ST_MODULE
, ST_MODULE_PROC
, ST_NAMELIST
, ST_NULLIFY
, ST_OPEN
,
221 ST_PAUSE
, ST_PRIVATE
, ST_PROGRAM
, ST_PUBLIC
, ST_READ
, ST_RETURN
, ST_REWIND
,
222 ST_STOP
, ST_SUBROUTINE
, ST_TYPE
, ST_USE
, ST_WHERE_BLOCK
, ST_WHERE
, ST_WAIT
,
223 ST_WRITE
, ST_ASSIGNMENT
, ST_POINTER_ASSIGNMENT
, ST_SELECT_CASE
, ST_SEQUENCE
,
224 ST_SIMPLE_IF
, ST_STATEMENT_FUNCTION
, ST_DERIVED_DECL
, ST_LABEL_ASSIGNMENT
,
225 ST_ENUM
, ST_ENUMERATOR
, ST_END_ENUM
, ST_SELECT_TYPE
, ST_TYPE_IS
, ST_CLASS_IS
,
226 ST_OMP_ATOMIC
, ST_OMP_BARRIER
, ST_OMP_CRITICAL
, ST_OMP_END_CRITICAL
,
227 ST_OMP_END_DO
, ST_OMP_END_MASTER
, ST_OMP_END_ORDERED
, ST_OMP_END_PARALLEL
,
228 ST_OMP_END_PARALLEL_DO
, ST_OMP_END_PARALLEL_SECTIONS
,
229 ST_OMP_END_PARALLEL_WORKSHARE
, ST_OMP_END_SECTIONS
, ST_OMP_END_SINGLE
,
230 ST_OMP_END_WORKSHARE
, ST_OMP_DO
, ST_OMP_FLUSH
, ST_OMP_MASTER
, ST_OMP_ORDERED
,
231 ST_OMP_PARALLEL
, ST_OMP_PARALLEL_DO
, ST_OMP_PARALLEL_SECTIONS
,
232 ST_OMP_PARALLEL_WORKSHARE
, ST_OMP_SECTIONS
, ST_OMP_SECTION
, ST_OMP_SINGLE
,
233 ST_OMP_THREADPRIVATE
, ST_OMP_WORKSHARE
, ST_OMP_TASK
, ST_OMP_END_TASK
,
234 ST_OMP_TASKWAIT
, ST_PROCEDURE
, ST_GENERIC
, ST_CRITICAL
, ST_END_CRITICAL
,
235 ST_GET_FCN_CHARACTERISTICS
, ST_NONE
240 /* Types of interfaces that we can have. Assignment interfaces are
241 considered to be intrinsic operators. */
244 INTERFACE_NAMELESS
= 1, INTERFACE_GENERIC
,
245 INTERFACE_INTRINSIC_OP
, INTERFACE_USER_OP
, INTERFACE_ABSTRACT
249 /* Symbol flavors: these are all mutually exclusive.
250 10 elements = 4 bits. */
251 typedef enum sym_flavor
253 FL_UNKNOWN
= 0, FL_PROGRAM
, FL_BLOCK_DATA
, FL_MODULE
, FL_VARIABLE
,
254 FL_PARAMETER
, FL_LABEL
, FL_PROCEDURE
, FL_DERIVED
, FL_NAMELIST
,
259 /* Procedure types. 7 elements = 3 bits. */
260 typedef enum procedure_type
261 { PROC_UNKNOWN
, PROC_MODULE
, PROC_INTERNAL
, PROC_DUMMY
,
262 PROC_INTRINSIC
, PROC_ST_FUNCTION
, PROC_EXTERNAL
267 typedef enum sym_intent
268 { INTENT_UNKNOWN
= 0, INTENT_IN
, INTENT_OUT
, INTENT_INOUT
273 typedef enum gfc_access
274 { ACCESS_UNKNOWN
= 0, ACCESS_PUBLIC
, ACCESS_PRIVATE
278 /* Flags to keep track of where an interface came from.
279 3 elements = 2 bits. */
281 { IFSRC_UNKNOWN
= 0, /* Interface unknown, only return type may be known. */
282 IFSRC_DECL
, /* FUNCTION or SUBROUTINE declaration. */
283 IFSRC_IFBODY
/* INTERFACE statement or PROCEDURE statement
284 with explicit interface. */
288 /* Whether a SAVE attribute was set explicitly or implicitly. */
289 typedef enum save_state
290 { SAVE_NONE
= 0, SAVE_EXPLICIT
, SAVE_IMPLICIT
294 /* Strings for all symbol attributes. We use these for dumping the
295 parse tree, in error messages, and also when reading and writing
296 modules. In symbol.c. */
297 extern const mstring flavors
[];
298 extern const mstring procedures
[];
299 extern const mstring intents
[];
300 extern const mstring access_types
[];
301 extern const mstring ifsrc_types
[];
302 extern const mstring save_status
[];
304 /* Enumeration of all the generic intrinsic functions. Used by the
305 backend for identification of a function. */
309 /* GFC_ISYM_NONE is used for intrinsics which will never be seen by
310 the backend (e.g. KIND). */
341 GFC_ISYM_COMMAND_ARGUMENT_COUNT
,
352 GFC_ISYM_DATE_AND_TIME
,
356 GFC_ISYM_DOT_PRODUCT
,
363 GFC_ISYM_ERFC_SCALED
,
368 GFC_ISYM_EXTENDS_TYPE_OF
,
385 GFC_ISYM_GET_COMMAND
,
386 GFC_ISYM_GET_COMMAND_ARGUMENT
,
389 GFC_ISYM_GET_ENVIRONMENT_VARIABLE
,
408 GFC_ISYM_IMAGE_INDEX
,
416 GFC_ISYM_IS_IOSTAT_END
,
417 GFC_ISYM_IS_IOSTAT_EOR
,
449 GFC_ISYM_MAXEXPONENT
,
456 GFC_ISYM_MINEXPONENT
,
477 GFC_ISYM_RANDOM_NUMBER
,
478 GFC_ISYM_RANDOM_SEED
,
486 GFC_ISYM_SAME_TYPE_AS
,
492 GFC_ISYM_SET_EXPONENT
,
508 GFC_ISYM_STORAGE_SIZE
,
513 GFC_ISYM_SYSTEM_CLOCK
,
536 typedef enum gfc_isym_id gfc_isym_id
;
541 GFC_INIT_REAL_OFF
= 0,
546 GFC_INIT_REAL_NEG_INF
552 GFC_INIT_LOGICAL_OFF
= 0,
553 GFC_INIT_LOGICAL_FALSE
,
554 GFC_INIT_LOGICAL_TRUE
560 GFC_INIT_CHARACTER_OFF
= 0,
561 GFC_INIT_CHARACTER_ON
563 init_local_character
;
567 GFC_INIT_INTEGER_OFF
= 0,
574 GFC_FCOARRAY_NONE
= 0,
588 /************************* Structures *****************************/
590 /* Used for keeping things in balanced binary trees. */
591 #define BBT_HEADER(self) int priority; struct self *left, *right
593 #define NAMED_INTCST(a,b,c,d) a,
596 ISOFORTRANENV_INVALID
= -1,
597 #include "iso-fortran-env.def"
598 ISOFORTRANENV_LAST
, ISOFORTRANENV_NUMBER
= ISOFORTRANENV_LAST
600 iso_fortran_env_symbol
;
603 #define NAMED_INTCST(a,b,c,d) a,
604 #define NAMED_REALCST(a,b,c) a,
605 #define NAMED_CMPXCST(a,b,c) a,
606 #define NAMED_LOGCST(a,b,c) a,
607 #define NAMED_CHARKNDCST(a,b,c) a,
608 #define NAMED_CHARCST(a,b,c) a,
609 #define DERIVED_TYPE(a,b,c) a,
610 #define PROCEDURE(a,b) a,
613 ISOCBINDING_INVALID
= -1,
614 #include "iso-c-binding.def"
616 ISOCBINDING_NUMBER
= ISOCBINDING_LAST
618 iso_c_binding_symbol
;
623 #undef NAMED_CHARKNDCST
630 INTMOD_NONE
= 0, INTMOD_ISO_FORTRAN_ENV
, INTMOD_ISO_C_BINDING
636 char name
[GFC_MAX_SYMBOL_LEN
+ 1];
637 int value
; /* Used for both integer and character values. */
642 /* Array of structs, where the structs represent the C interop kinds.
643 The list will be implemented based on a hash of the kind name since
644 these could be accessed multiple times.
645 Declared in trans-types.c as a global, since it's in that file
646 that the list is initialized. */
647 extern CInteropKind_t c_interop_kinds_table
[];
650 /* Structure and list of supported extension attributes. */
653 EXT_ATTR_DLLIMPORT
= 0,
658 EXT_ATTR_LAST
, EXT_ATTR_NUM
= EXT_ATTR_LAST
666 const char *middle_end_name
;
670 extern const ext_attr_t ext_attr_list
[];
672 /* Symbol attribute structure. */
675 /* Variable attributes. */
676 unsigned allocatable
:1, dimension
:1, codimension
:1, external
:1, intrinsic
:1,
677 optional
:1, pointer
:1, target
:1, value
:1, volatile_
:1, temporary
:1,
678 dummy
:1, result
:1, assign
:1, threadprivate
:1, not_always_present
:1,
679 implied_index
:1, subref_array_pointer
:1, proc_pointer
:1, asynchronous
:1,
682 /* For CLASS containers, the pointer attribute is sometimes set internally
683 even though it was not directly specified. In this case, keep the
684 "real" (original) value here. */
685 unsigned class_pointer
:1;
687 ENUM_BITFIELD (save_state
) save
:2;
689 unsigned data
:1, /* Symbol is named in a DATA statement. */
690 is_protected
:1, /* Symbol has been marked as protected. */
691 use_assoc
:1, /* Symbol has been use-associated. */
692 use_only
:1, /* Symbol has been use-associated, with ONLY. */
693 use_rename
:1, /* Symbol has been use-associated and renamed. */
694 imported
:1, /* Symbol has been associated by IMPORT. */
695 host_assoc
:1; /* Symbol has been host associated. */
697 unsigned in_namelist
:1, in_common
:1, in_equivalence
:1;
698 unsigned function
:1, subroutine
:1, procedure
:1;
699 unsigned generic
:1, generic_copy
:1;
700 unsigned implicit_type
:1; /* Type defined via implicit rules. */
701 unsigned untyped
:1; /* No implicit type could be found. */
703 unsigned is_bind_c
:1; /* say if is bound to C. */
704 unsigned extension
:8; /* extension level of a derived type. */
705 unsigned is_class
:1; /* is a CLASS container. */
706 unsigned class_ok
:1; /* is a CLASS object with correct attributes. */
707 unsigned vtab
:1; /* is a derived type vtab, pointed to by CLASS objects. */
708 unsigned vtype
:1; /* is a derived type of a vtab. */
710 /* These flags are both in the typespec and attribute. The attribute
711 list is what gets read from/written to a module file. The typespec
712 is created from a decl being processed. */
713 unsigned is_c_interop
:1; /* It's c interoperable. */
714 unsigned is_iso_c
:1; /* Symbol is from iso_c_binding. */
716 /* Function/subroutine attributes */
717 unsigned sequence
:1, elemental
:1, pure
:1, recursive
:1;
718 unsigned unmaskable
:1, masked
:1, contained
:1, mod_proc
:1, abstract
:1;
720 /* This is set if the subroutine doesn't return. Currently, this
721 is only possible for intrinsic subroutines. */
724 /* Set if this procedure is an alternate entry point. These procedures
725 don't have any code associated, and the backend will turn them into
726 thunks to the master function. */
729 /* Set if this is the master function for a procedure with multiple
731 unsigned entry_master
:1;
733 /* Set if this is the master function for a function with multiple
734 entry points where characteristics of the entry points differ. */
735 unsigned mixed_entry_master
:1;
737 /* Set if a function must always be referenced by an explicit interface. */
738 unsigned always_explicit
:1;
740 /* Set if the symbol has been referenced in an expression. No further
741 modification of type or type parameters is permitted. */
742 unsigned referenced
:1;
744 /* Set if this is the symbol for the main program. */
745 unsigned is_main_program
:1;
747 /* Mutually exclusive multibit attributes. */
748 ENUM_BITFIELD (gfc_access
) access
:2;
749 ENUM_BITFIELD (sym_intent
) intent
:2;
750 ENUM_BITFIELD (sym_flavor
) flavor
:4;
751 ENUM_BITFIELD (ifsrc
) if_source
:2;
753 ENUM_BITFIELD (procedure_type
) proc
:3;
755 /* Special attributes for Cray pointers, pointees. */
756 unsigned cray_pointer
:1, cray_pointee
:1;
758 /* The symbol is a derived type with allocatable components, pointer
759 components or private components, procedure pointer components,
760 possibly nested. zero_comp is true if the derived type has no
762 unsigned alloc_comp
:1, pointer_comp
:1, proc_pointer_comp
:1,
763 private_comp
:1, zero_comp
:1, coarray_comp
:1;
765 /* Attributes set by compiler extensions (!GCC$ ATTRIBUTES). */
766 unsigned ext_attr
:EXT_ATTR_NUM
;
768 /* The namespace where the attribute has been set. */
769 struct gfc_namespace
*volatile_ns
, *asynchronous_ns
;
774 /* We need to store source lines as sequences of multibyte source
775 characters. We define here a type wide enough to hold any multibyte
776 source character, just like libcpp does. A 32-bit type is enough. */
778 #if HOST_BITS_PER_INT >= 32
779 typedef unsigned int gfc_char_t
;
780 #elif HOST_BITS_PER_LONG >= 32
781 typedef unsigned long gfc_char_t
;
782 #elif defined(HAVE_LONG_LONG) && (HOST_BITS_PER_LONGLONG >= 32)
783 typedef unsigned long long gfc_char_t
;
785 # error "Cannot find an integer type with at least 32 bits"
789 /* The following three structures are used to identify a location in
792 gfc_file is used to maintain a tree of the source files and how
793 they include each other
795 gfc_linebuf holds a single line of source code and information
796 which file it resides in
798 locus point to the sourceline and the character in the source
802 typedef struct gfc_file
804 struct gfc_file
*next
, *up
;
805 int inclusion_line
, line
;
809 typedef struct gfc_linebuf
811 source_location location
;
812 struct gfc_file
*file
;
813 struct gfc_linebuf
*next
;
821 #define gfc_linebuf_header_size (offsetof (gfc_linebuf, line))
823 #define gfc_linebuf_linenum(LBUF) (LOCATION_LINE ((LBUF)->location))
831 /* In order for the "gfc" format checking to work correctly, you must
832 have declared a typedef locus first. */
833 #if GCC_VERSION >= 4001
834 #define ATTRIBUTE_GCC_GFC(m, n) __attribute__ ((__format__ (__gcc_gfc__, m, n))) ATTRIBUTE_NONNULL(m)
836 #define ATTRIBUTE_GCC_GFC(m, n) ATTRIBUTE_NONNULL(m)
840 /* Suppress error messages or re-enable them. */
842 void gfc_push_suppress_errors (void);
843 void gfc_pop_suppress_errors (void);
846 /* Character length structures hold the expression that gives the
847 length of a character variable. We avoid putting these into
848 gfc_typespec because doing so prevents us from doing structure
849 copies and forces us to deallocate any typespecs we create, as well
850 as structures that contain typespecs. They also can have multiple
851 character typespecs pointing to them.
853 These structures form a singly linked list within the current
854 namespace and are deallocated with the namespace. It is possible to
855 end up with gfc_charlen structures that have nothing pointing to them. */
857 typedef struct gfc_charlen
859 struct gfc_expr
*length
;
860 struct gfc_charlen
*next
;
861 bool length_from_typespec
; /* Length from explicit array ctor typespec? */
863 tree passed_length
; /* Length argument explicitelly passed. */
869 #define gfc_get_charlen() XCNEW (gfc_charlen)
871 /* Type specification structure. */
879 struct gfc_symbol
*derived
; /* For derived types only. */
880 gfc_charlen
*cl
; /* For character types only. */
884 struct gfc_symbol
*interface
; /* For PROCEDURE declarations. */
891 /* Array specification. */
894 int rank
; /* A rank of zero means that a variable is a scalar. */
896 array_type type
, cotype
;
897 struct gfc_expr
*lower
[GFC_MAX_DIMENSIONS
], *upper
[GFC_MAX_DIMENSIONS
];
899 /* These two fields are used with the Cray Pointer extension. */
900 bool cray_pointee
; /* True iff this spec belongs to a cray pointee. */
901 bool cp_was_assumed
; /* AS_ASSUMED_SIZE cp arrays are converted to
902 AS_EXPLICIT, but we want to remember that we
908 #define gfc_get_array_spec() XCNEW (gfc_array_spec)
911 /* Components of derived types. */
912 typedef struct gfc_component
917 symbol_attribute attr
;
922 struct gfc_expr
*initializer
;
923 struct gfc_component
*next
;
925 /* Needed for procedure pointer components. */
926 struct gfc_formal_arglist
*formal
;
927 struct gfc_namespace
*formal_ns
;
928 struct gfc_typebound_proc
*tb
;
932 #define gfc_get_component() XCNEW (gfc_component)
934 /* Formal argument lists are lists of symbols. */
935 typedef struct gfc_formal_arglist
937 /* Symbol representing the argument at this position in the arglist. */
938 struct gfc_symbol
*sym
;
939 /* Points to the next formal argument. */
940 struct gfc_formal_arglist
*next
;
944 #define gfc_get_formal_arglist() XCNEW (gfc_formal_arglist)
947 /* The gfc_actual_arglist structure is for actual arguments. */
948 typedef struct gfc_actual_arglist
951 /* Alternate return label when the expr member is null. */
952 struct gfc_st_label
*label
;
954 /* This is set to the type of an eventual omitted optional
955 argument. This is used to determine if a hidden string length
956 argument has to be added to a function call. */
959 struct gfc_expr
*expr
;
960 struct gfc_actual_arglist
*next
;
964 #define gfc_get_actual_arglist() XCNEW (gfc_actual_arglist)
967 /* Because a symbol can belong to multiple namelists, they must be
968 linked externally to the symbol itself. */
969 typedef struct gfc_namelist
971 struct gfc_symbol
*sym
;
972 struct gfc_namelist
*next
;
976 #define gfc_get_namelist() XCNEW (gfc_namelist)
981 OMP_LIST_FIRSTPRIVATE
,
982 OMP_LIST_LASTPRIVATE
,
983 OMP_LIST_COPYPRIVATE
,
987 OMP_LIST_REDUCTION_FIRST
= OMP_LIST_PLUS
,
999 OMP_LIST_REDUCTION_LAST
= OMP_LIST_IEOR
,
1003 /* Because a symbol can belong to multiple namelists, they must be
1004 linked externally to the symbol itself. */
1006 enum gfc_omp_sched_kind
1016 enum gfc_omp_default_sharing
1018 OMP_DEFAULT_UNKNOWN
,
1020 OMP_DEFAULT_PRIVATE
,
1022 OMP_DEFAULT_FIRSTPRIVATE
1025 typedef struct gfc_omp_clauses
1027 struct gfc_expr
*if_expr
;
1028 struct gfc_expr
*num_threads
;
1029 gfc_namelist
*lists
[OMP_LIST_NUM
];
1030 enum gfc_omp_sched_kind sched_kind
;
1031 struct gfc_expr
*chunk_size
;
1032 enum gfc_omp_default_sharing default_sharing
;
1034 bool nowait
, ordered
, untied
;
1038 #define gfc_get_omp_clauses() XCNEW (gfc_omp_clauses)
1041 /* The gfc_st_label structure is a BBT attached to a namespace that
1042 records the usage of statement labels within that space. */
1044 typedef struct gfc_st_label
1046 BBT_HEADER(gfc_st_label
);
1050 gfc_sl_type defined
, referenced
;
1052 struct gfc_expr
*format
;
1061 /* gfc_interface()-- Interfaces are lists of symbols strung together. */
1062 typedef struct gfc_interface
1064 struct gfc_symbol
*sym
;
1066 struct gfc_interface
*next
;
1070 #define gfc_get_interface() XCNEW (gfc_interface)
1072 /* User operator nodes. These are like stripped down symbols. */
1078 struct gfc_namespace
*ns
;
1084 /* A list of specific bindings that are associated with a generic spec. */
1085 typedef struct gfc_tbp_generic
1087 /* The parser sets specific_st, upon resolution we look for the corresponding
1088 gfc_typebound_proc and set specific for further use. */
1089 struct gfc_symtree
* specific_st
;
1090 struct gfc_typebound_proc
* specific
;
1092 struct gfc_tbp_generic
* next
;
1096 #define gfc_get_tbp_generic() XCNEW (gfc_tbp_generic)
1099 /* Data needed for type-bound procedures. */
1100 typedef struct gfc_typebound_proc
1102 locus where
; /* Where the PROCEDURE/GENERIC definition was. */
1106 struct gfc_symtree
* specific
; /* The interface if DEFERRED. */
1107 gfc_tbp_generic
* generic
;
1112 const char* pass_arg
; /* Argument-name for PASS. NULL if not specified. */
1114 /* The overridden type-bound proc (or GENERIC with this name in the
1115 parent-type) or NULL if non. */
1116 struct gfc_typebound_proc
* overridden
;
1118 /* Once resolved, we use the position of pass_arg in the formal arglist of
1119 the binding-target procedure to identify it. The first argument has
1120 number 1 here, the second 2, and so on. */
1121 unsigned pass_arg_num
;
1123 unsigned nopass
:1; /* Whether we have NOPASS (PASS otherwise). */
1124 unsigned non_overridable
:1;
1125 unsigned deferred
:1;
1126 unsigned is_generic
:1;
1127 unsigned function
:1, subroutine
:1;
1128 unsigned error
:1; /* Ignore it, when an error occurred during resolution. */
1134 /* Symbol nodes. These are important things. They are what the
1135 standard refers to as "entities". The possibly multiple names that
1136 refer to the same entity are accomplished by a binary tree of
1137 symtree structures that is balanced by the red-black method-- more
1138 than one symtree node can point to any given symbol. */
1140 typedef struct gfc_symbol
1142 const char *name
; /* Primary name, before renaming */
1143 const char *module
; /* Module this symbol came from */
1147 symbol_attribute attr
;
1149 /* The formal member points to the formal argument list if the
1150 symbol is a function or subroutine name. If the symbol is a
1151 generic name, the generic member points to the list of
1154 gfc_interface
*generic
;
1155 gfc_access component_access
;
1157 gfc_formal_arglist
*formal
;
1158 struct gfc_namespace
*formal_ns
;
1159 struct gfc_namespace
*f2k_derived
;
1161 struct gfc_expr
*value
; /* Parameter/Initializer value */
1163 struct gfc_symbol
*result
; /* function result symbol */
1164 gfc_component
*components
; /* Derived type components */
1166 /* Defined only for Cray pointees; points to their pointer. */
1167 struct gfc_symbol
*cp_pointer
;
1169 int entry_id
; /* Used in resolve.c for entries. */
1171 /* CLASS hashed name for declared and dynamic types in the class. */
1174 struct gfc_symbol
*common_next
; /* Links for COMMON syms */
1176 /* This is in fact a gfc_common_head but it is only used for pointer
1177 comparisons to check if symbols are in the same common block. */
1178 struct gfc_common_head
* common_head
;
1180 /* Make sure setup code for dummy arguments is generated in the correct
1184 gfc_namelist
*namelist
, *namelist_tail
;
1186 /* Change management fields. Symbols that might be modified by the
1187 current statement have the mark member nonzero and are kept in a
1188 singly linked list through the tlink field. Of these symbols,
1189 symbols with old_symbol equal to NULL are symbols created within
1190 the current statement. Otherwise, old_symbol points to a copy of
1193 struct gfc_symbol
*old_symbol
, *tlink
;
1194 unsigned mark
:1, gfc_new
:1;
1195 /* Nonzero if all equivalences associated with this symbol have been
1197 unsigned equiv_built
:1;
1198 /* Set if this variable is used as an index name in a FORALL. */
1199 unsigned forall_index
:1;
1201 struct gfc_namespace
*ns
; /* namespace containing this symbol */
1205 /* Identity of the intrinsic module the symbol comes from, or
1206 INTMOD_NONE if it's not imported from a intrinsic module. */
1207 intmod_id from_intmod
;
1208 /* Identity of the symbol from intrinsic modules, from enums maintained
1209 separately by each intrinsic module. Used together with from_intmod,
1210 it uniquely identifies a symbol from an intrinsic module. */
1213 /* This may be repetitive, since the typespec now has a binding
1215 char binding_label
[GFC_MAX_BINDING_LABEL_LEN
+ 1];
1216 /* Store a reference to the common_block, if this symbol is in one. */
1217 struct gfc_common_head
*common_block
;
1219 /* Link to corresponding association-list if this is an associate name. */
1220 struct gfc_association_list
*assoc
;
1225 /* This structure is used to keep track of symbols in common blocks. */
1226 typedef struct gfc_common_head
1229 char use_assoc
, saved
, threadprivate
;
1230 char name
[GFC_MAX_SYMBOL_LEN
+ 1];
1231 struct gfc_symbol
*head
;
1232 char binding_label
[GFC_MAX_BINDING_LABEL_LEN
+ 1];
1237 #define gfc_get_common_head() XCNEW (gfc_common_head)
1240 /* A list of all the alternate entry points for a procedure. */
1242 typedef struct gfc_entry_list
1244 /* The symbol for this entry point. */
1246 /* The zero-based id of this entry point. */
1248 /* The LABEL_EXPR marking this entry point. */
1250 /* The next item in the list. */
1251 struct gfc_entry_list
*next
;
1255 #define gfc_get_entry_list() \
1256 (gfc_entry_list *) gfc_getmem(sizeof(gfc_entry_list))
1258 /* Lists of rename info for the USE statement. */
1260 typedef struct gfc_use_rename
1262 char local_name
[GFC_MAX_SYMBOL_LEN
+ 1], use_name
[GFC_MAX_SYMBOL_LEN
+ 1];
1263 struct gfc_use_rename
*next
;
1265 gfc_intrinsic_op op
;
1270 #define gfc_get_use_rename() XCNEW (gfc_use_rename);
1272 /* A list of all USE statements in a namespace. */
1274 typedef struct gfc_use_list
1276 const char *module_name
;
1278 struct gfc_use_rename
*rename
;
1280 /* Next USE statement. */
1281 struct gfc_use_list
*next
;
1285 #define gfc_get_use_list() \
1286 (gfc_use_list *) gfc_getmem(sizeof(gfc_use_list))
1288 /* Within a namespace, symbols are pointed to by symtree nodes that
1289 are linked together in a balanced binary tree. There can be
1290 several symtrees pointing to the same symbol node via USE
1293 typedef struct gfc_symtree
1295 BBT_HEADER (gfc_symtree
);
1300 gfc_symbol
*sym
; /* Symbol associated with this node */
1302 gfc_common_head
*common
;
1303 gfc_typebound_proc
*tb
;
1309 /* A linked list of derived types in the namespace. */
1310 typedef struct gfc_dt_list
1312 struct gfc_symbol
*derived
;
1313 struct gfc_dt_list
*next
;
1317 #define gfc_get_dt_list() XCNEW (gfc_dt_list)
1319 /* A list of all derived types. */
1320 extern gfc_dt_list
*gfc_derived_types
;
1322 /* A namespace describes the contents of procedure, module, interface block
1323 or BLOCK construct. */
1324 /* ??? Anything else use these? */
1326 typedef struct gfc_namespace
1328 /* Tree containing all the symbols in this namespace. */
1329 gfc_symtree
*sym_root
;
1330 /* Tree containing all the user-defined operators in the namespace. */
1331 gfc_symtree
*uop_root
;
1332 /* Tree containing all the common blocks. */
1333 gfc_symtree
*common_root
;
1335 /* Tree containing type-bound procedures. */
1336 gfc_symtree
*tb_sym_root
;
1337 /* Type-bound user operators. */
1338 gfc_symtree
*tb_uop_root
;
1339 /* For derived-types, store type-bound intrinsic operators here. */
1340 gfc_typebound_proc
*tb_op
[GFC_INTRINSIC_OPS
];
1341 /* Linked list of finalizer procedures. */
1342 struct gfc_finalizer
*finalizers
;
1344 /* If set_flag[letter] is set, an implicit type has been set for letter. */
1345 int set_flag
[GFC_LETTERS
];
1346 /* Keeps track of the implicit types associated with the letters. */
1347 gfc_typespec default_type
[GFC_LETTERS
];
1348 /* Store the positions of IMPLICIT statements. */
1349 locus implicit_loc
[GFC_LETTERS
];
1351 /* If this is a namespace of a procedure, this points to the procedure. */
1352 struct gfc_symbol
*proc_name
;
1353 /* If this is the namespace of a unit which contains executable
1354 code, this points to it. */
1355 struct gfc_code
*code
;
1357 /* Points to the equivalences set up in this namespace. */
1358 struct gfc_equiv
*equiv
, *old_equiv
;
1360 /* Points to the equivalence groups produced by trans_common. */
1361 struct gfc_equiv_list
*equiv_lists
;
1363 gfc_interface
*op
[GFC_INTRINSIC_OPS
];
1365 /* Points to the parent namespace, i.e. the namespace of a module or
1366 procedure in which the procedure belonging to this namespace is
1367 contained. The parent namespace points to this namespace either
1368 directly via CONTAINED, or indirectly via the chain built by
1370 struct gfc_namespace
*parent
;
1371 /* CONTAINED points to the first contained namespace. Sibling
1372 namespaces are chained via SIBLING. */
1373 struct gfc_namespace
*contained
, *sibling
;
1375 gfc_common_head blank_common
;
1376 gfc_access default_access
, operator_access
[GFC_INTRINSIC_OPS
];
1378 gfc_st_label
*st_labels
;
1379 /* This list holds information about all the data initializers in
1381 struct gfc_data
*data
;
1383 gfc_charlen
*cl_list
, *old_cl_list
;
1385 gfc_dt_list
*derived_types
;
1387 int save_all
, seen_save
, seen_implicit_none
;
1389 /* Normally we don't need to refcount namespaces. However when we read
1390 a module containing a function with multiple entry points, this
1391 will appear as several functions with the same formal namespace. */
1394 /* A list of all alternate entry points to this procedure (or NULL). */
1395 gfc_entry_list
*entries
;
1397 /* A list of USE statements in this namespace. */
1398 gfc_use_list
*use_stmts
;
1400 /* Set to 1 if namespace is a BLOCK DATA program unit. */
1401 unsigned is_block_data
:1;
1403 /* Set to 1 if namespace is an interface body with "IMPORT" used. */
1404 unsigned has_import_set
:1;
1406 /* Set to 1 if resolved has been called for this namespace.
1407 Holds -1 during resolution. */
1410 /* Set to 1 if code has been generated for this namespace. */
1411 unsigned translated
:1;
1413 /* Set to 1 if symbols in this namespace should be 'construct entities',
1414 i.e. for BLOCK local variables. */
1415 unsigned construct_entities
:1;
1419 extern gfc_namespace
*gfc_current_ns
;
1420 extern gfc_namespace
*gfc_global_ns_list
;
1422 /* Global symbols are symbols of global scope. Currently we only use
1423 this to detect collisions already when parsing.
1424 TODO: Extend to verify procedure calls. */
1426 enum gfc_symbol_type
1428 GSYM_UNKNOWN
=1, GSYM_PROGRAM
, GSYM_FUNCTION
, GSYM_SUBROUTINE
,
1429 GSYM_MODULE
, GSYM_COMMON
, GSYM_BLOCK_DATA
1432 typedef struct gfc_gsymbol
1434 BBT_HEADER(gfc_gsymbol
);
1437 const char *sym_name
;
1438 const char *mod_name
;
1439 const char *binding_label
;
1440 enum gfc_symbol_type type
;
1448 extern gfc_gsymbol
*gfc_gsym_root
;
1450 /* Information on interfaces being built. */
1453 interface_type type
;
1457 gfc_intrinsic_op op
;
1461 extern gfc_interface_info current_interface
;
1464 /* Array reference. */
1466 enum gfc_array_ref_dimen_type
1468 DIMEN_ELEMENT
= 1, DIMEN_RANGE
, DIMEN_VECTOR
, DIMEN_STAR
, DIMEN_UNKNOWN
1471 typedef struct gfc_array_ref
1474 int dimen
; /* # of components in the reference */
1476 bool in_allocate
; /* For coarray checks. */
1480 locus c_where
[GFC_MAX_DIMENSIONS
]; /* All expressions can be NULL */
1481 struct gfc_expr
*start
[GFC_MAX_DIMENSIONS
], *end
[GFC_MAX_DIMENSIONS
],
1482 *stride
[GFC_MAX_DIMENSIONS
];
1484 enum gfc_array_ref_dimen_type dimen_type
[GFC_MAX_DIMENSIONS
];
1486 struct gfc_expr
*offset
;
1490 #define gfc_get_array_ref() XCNEW (gfc_array_ref)
1493 /* Component reference nodes. A variable is stored as an expression
1494 node that points to the base symbol. After that, a singly linked
1495 list of component reference nodes gives the variable's complete
1496 resolution. The array_ref component may be present and comes
1497 before the component component. */
1500 { REF_ARRAY
, REF_COMPONENT
, REF_SUBSTRING
}
1503 typedef struct gfc_ref
1509 struct gfc_array_ref ar
;
1513 gfc_component
*component
;
1520 struct gfc_expr
*start
, *end
; /* Substring */
1521 gfc_charlen
*length
;
1528 struct gfc_ref
*next
;
1532 #define gfc_get_ref() XCNEW (gfc_ref)
1535 /* Structures representing intrinsic symbols and their arguments lists. */
1536 typedef struct gfc_intrinsic_arg
1538 char name
[GFC_MAX_SYMBOL_LEN
+ 1];
1542 ENUM_BITFIELD (sym_intent
) intent
:2;
1543 gfc_actual_arglist
*actual
;
1545 struct gfc_intrinsic_arg
*next
;
1551 /* Specifies the various kinds of check functions used to verify the
1552 argument lists of intrinsic functions. fX with X an integer refer
1553 to check functions of intrinsics with X arguments. f1m is used for
1554 the MAX and MIN intrinsics which can have an arbitrary number of
1555 arguments, f3ml is used for the MINLOC and MAXLOC intrinsics as
1556 these have special semantics. */
1560 gfc_try (*f0
)(void);
1561 gfc_try (*f1
)(struct gfc_expr
*);
1562 gfc_try (*f1m
)(gfc_actual_arglist
*);
1563 gfc_try (*f2
)(struct gfc_expr
*, struct gfc_expr
*);
1564 gfc_try (*f3
)(struct gfc_expr
*, struct gfc_expr
*, struct gfc_expr
*);
1565 gfc_try (*f3ml
)(gfc_actual_arglist
*);
1566 gfc_try (*f3red
)(gfc_actual_arglist
*);
1567 gfc_try (*f4
)(struct gfc_expr
*, struct gfc_expr
*, struct gfc_expr
*,
1569 gfc_try (*f5
)(struct gfc_expr
*, struct gfc_expr
*, struct gfc_expr
*,
1570 struct gfc_expr
*, struct gfc_expr
*);
1574 /* Like gfc_check_f, these specify the type of the simplification
1575 function associated with an intrinsic. The fX are just like in
1576 gfc_check_f. cc is used for type conversion functions. */
1580 struct gfc_expr
*(*f0
)(void);
1581 struct gfc_expr
*(*f1
)(struct gfc_expr
*);
1582 struct gfc_expr
*(*f2
)(struct gfc_expr
*, struct gfc_expr
*);
1583 struct gfc_expr
*(*f3
)(struct gfc_expr
*, struct gfc_expr
*,
1585 struct gfc_expr
*(*f4
)(struct gfc_expr
*, struct gfc_expr
*,
1586 struct gfc_expr
*, struct gfc_expr
*);
1587 struct gfc_expr
*(*f5
)(struct gfc_expr
*, struct gfc_expr
*,
1588 struct gfc_expr
*, struct gfc_expr
*,
1590 struct gfc_expr
*(*cc
)(struct gfc_expr
*, bt
, int);
1594 /* Again like gfc_check_f, these specify the type of the resolution
1595 function associated with an intrinsic. The fX are just like in
1596 gfc_check_f. f1m is used for MIN and MAX, s1 is used for abort(). */
1600 void (*f0
)(struct gfc_expr
*);
1601 void (*f1
)(struct gfc_expr
*, struct gfc_expr
*);
1602 void (*f1m
)(struct gfc_expr
*, struct gfc_actual_arglist
*);
1603 void (*f2
)(struct gfc_expr
*, struct gfc_expr
*, struct gfc_expr
*);
1604 void (*f3
)(struct gfc_expr
*, struct gfc_expr
*, struct gfc_expr
*,
1606 void (*f4
)(struct gfc_expr
*, struct gfc_expr
*, struct gfc_expr
*,
1607 struct gfc_expr
*, struct gfc_expr
*);
1608 void (*f5
)(struct gfc_expr
*, struct gfc_expr
*, struct gfc_expr
*,
1609 struct gfc_expr
*, struct gfc_expr
*, struct gfc_expr
*);
1610 void (*s1
)(struct gfc_code
*);
1615 typedef struct gfc_intrinsic_sym
1617 const char *name
, *lib_name
;
1618 gfc_intrinsic_arg
*formal
;
1620 unsigned elemental
:1, inquiry
:1, transformational
:1, pure
:1,
1621 generic
:1, specific
:1, actual_ok
:1, noreturn
:1, conversion
:1;
1625 gfc_simplify_f simplify
;
1627 gfc_resolve_f resolve
;
1628 struct gfc_intrinsic_sym
*specific_head
, *next
;
1635 /* Expression nodes. The expression node types deserve explanations,
1636 since the last couple can be easily misconstrued:
1638 EXPR_OP Operator node pointing to one or two other nodes
1639 EXPR_FUNCTION Function call, symbol points to function's name
1640 EXPR_CONSTANT A scalar constant: Logical, String, Real, Int or Complex
1641 EXPR_VARIABLE An Lvalue with a root symbol and possible reference list
1642 which expresses structure, array and substring refs.
1643 EXPR_NULL The NULL pointer value (which also has a basic type).
1644 EXPR_SUBSTRING A substring of a constant string
1645 EXPR_STRUCTURE A structure constructor
1646 EXPR_ARRAY An array constructor.
1647 EXPR_COMPCALL Function (or subroutine) call of a procedure pointer
1648 component or type-bound procedure. */
1653 #define GFC_RND_MODE GMP_RNDN
1654 #define GFC_MPC_RND_MODE MPC_RNDNN
1656 typedef splay_tree gfc_constructor_base
;
1658 typedef struct gfc_expr
1662 gfc_typespec ts
; /* These two refer to the overall expression */
1665 mpz_t
*shape
; /* Can be NULL if shape is unknown at compile time */
1667 /* Nonnull for functions and structure constructors, may also used to hold the
1668 base-object for component calls. */
1669 gfc_symtree
*symtree
;
1675 /* True if the expression is a call to a function that returns an array,
1676 and if we have decided not to allocate temporary data for that array.
1677 is_boz is true if the integer is regarded as BOZ bitpatten and is_snan
1678 denotes a signalling not-a-number. */
1679 unsigned int inline_noncopying_intrinsic
: 1, is_boz
: 1, is_snan
: 1;
1681 /* Sometimes, when an error has been emitted, it is necessary to prevent
1682 it from recurring. */
1683 unsigned int error
: 1;
1685 /* Mark an expression where a user operator has been substituted by
1686 a function call in interface.c(gfc_extend_expr). */
1687 unsigned int user_operator
: 1;
1689 /* Mark an expression as being a MOLD argument of ALLOCATE. */
1690 unsigned int mold
: 1;
1692 /* If an expression comes from a Hollerith constant or compile-time
1693 evaluation of a transfer statement, it may have a prescribed target-
1694 memory representation, and these cannot always be backformed from
1717 gfc_intrinsic_op op
;
1719 struct gfc_expr
*op1
, *op2
;
1725 gfc_actual_arglist
*actual
;
1726 const char *name
; /* Points to the ultimate name of the function */
1727 gfc_intrinsic_sym
*isym
;
1734 gfc_actual_arglist
* actual
;
1736 /* Base-object, whose component was called. NULL means that it should
1737 be taken from symtree/ref. */
1738 struct gfc_expr
* base_object
;
1739 gfc_typebound_proc
* tbp
; /* Should overlap with esym. */
1741 /* For type-bound operators, we want to call PASS procedures but already
1742 have the full arglist; mark this, so that it is not extended by the
1744 unsigned ignore_pass
:1;
1746 /* Do assign-calls rather than calls, that is appropriate dependency
1759 gfc_constructor_base constructor
;
1767 #define gfc_get_shape(rank) ((mpz_t *) gfc_getmem((rank)*sizeof(mpz_t)))
1769 /* Structures for information associated with different kinds of
1770 numbers. The first set of integer parameters define all there is
1771 to know about a particular kind. The rest of the elements are
1772 computed from the first elements. */
1776 /* Values really representable by the target. */
1777 mpz_t huge
, pedantic_min_int
, min_int
;
1779 int kind
, radix
, digits
, bit_size
, range
;
1781 /* True if the C type of the given name maps to this precision.
1782 Note that more than one bit can be set. */
1783 unsigned int c_char
: 1;
1784 unsigned int c_short
: 1;
1785 unsigned int c_int
: 1;
1786 unsigned int c_long
: 1;
1787 unsigned int c_long_long
: 1;
1791 extern gfc_integer_info gfc_integer_kinds
[];
1798 /* True if the C++ type bool, C99 type _Bool, maps to this precision. */
1799 unsigned int c_bool
: 1;
1803 extern gfc_logical_info gfc_logical_kinds
[];
1808 mpfr_t epsilon
, huge
, tiny
, subnormal
;
1809 int kind
, radix
, digits
, min_exponent
, max_exponent
;
1810 int range
, precision
;
1812 /* The precision of the type as reported by GET_MODE_PRECISION. */
1815 /* True if the C type of the given name maps to this precision.
1816 Note that more than one bit can be set. */
1817 unsigned int c_float
: 1;
1818 unsigned int c_double
: 1;
1819 unsigned int c_long_double
: 1;
1823 extern gfc_real_info gfc_real_kinds
[];
1832 extern gfc_character_info gfc_character_kinds
[];
1835 /* Equivalence structures. Equivalent lvalues are linked along the
1836 *eq pointer, equivalence sets are strung along the *next node. */
1837 typedef struct gfc_equiv
1839 struct gfc_equiv
*next
, *eq
;
1846 #define gfc_get_equiv() XCNEW (gfc_equiv)
1848 /* Holds a single equivalence member after processing. */
1849 typedef struct gfc_equiv_info
1852 HOST_WIDE_INT offset
;
1853 HOST_WIDE_INT length
;
1854 struct gfc_equiv_info
*next
;
1857 /* Holds equivalence groups, after they have been processed. */
1858 typedef struct gfc_equiv_list
1860 gfc_equiv_info
*equiv
;
1861 struct gfc_equiv_list
*next
;
1864 /* gfc_case stores the selector list of a case statement. The *low
1865 and *high pointers can point to the same expression in the case of
1866 a single value. If *high is NULL, the selection is from *low
1867 upwards, if *low is NULL the selection is *high downwards.
1869 This structure has separate fields to allow single and double linked
1870 lists of CASEs at the same time. The singe linked list along the NEXT
1871 field is a list of cases for a single CASE label. The double linked
1872 list along the LEFT/RIGHT fields is used to detect overlap and to
1873 build a table of the cases for SELECT constructs with a CHARACTER
1876 typedef struct gfc_case
1878 /* Where we saw this case. */
1882 /* Case range values. If (low == high), it's a single value. If one of
1883 the labels is NULL, it's an unbounded case. If both are NULL, this
1884 represents the default case. */
1885 gfc_expr
*low
, *high
;
1887 /* Only used for SELECT TYPE. */
1890 /* Next case label in the list of cases for a single CASE label. */
1891 struct gfc_case
*next
;
1893 /* Used for detecting overlap, and for code generation. */
1894 struct gfc_case
*left
, *right
;
1896 /* True if this case label can never be matched. */
1901 #define gfc_get_case() XCNEW (gfc_case)
1906 gfc_expr
*var
, *start
, *end
, *step
;
1910 #define gfc_get_iterator() XCNEW (gfc_iterator)
1913 /* Allocation structure for ALLOCATE, DEALLOCATE and NULLIFY statements. */
1915 typedef struct gfc_alloc
1918 struct gfc_alloc
*next
;
1922 #define gfc_get_alloc() XCNEW (gfc_alloc)
1927 gfc_expr
*unit
, *file
, *status
, *access
, *form
, *recl
,
1928 *blank
, *position
, *action
, *delim
, *pad
, *iostat
, *iomsg
, *convert
,
1929 *decimal
, *encoding
, *round
, *sign
, *asynchronous
, *id
, *newunit
;
1937 gfc_expr
*unit
, *status
, *iostat
, *iomsg
;
1945 gfc_expr
*unit
, *iostat
, *iomsg
;
1953 gfc_expr
*unit
, *file
, *iostat
, *exist
, *opened
, *number
, *named
,
1954 *name
, *access
, *sequential
, *direct
, *form
, *formatted
,
1955 *unformatted
, *recl
, *nextrec
, *blank
, *position
, *action
, *read
,
1956 *write
, *readwrite
, *delim
, *pad
, *iolength
, *iomsg
, *convert
, *strm_pos
,
1957 *asynchronous
, *decimal
, *encoding
, *pending
, *round
, *sign
, *size
, *id
;
1967 gfc_expr
*unit
, *iostat
, *iomsg
, *id
;
1968 gfc_st_label
*err
, *end
, *eor
;
1975 gfc_expr
*io_unit
, *format_expr
, *rec
, *advance
, *iostat
, *size
, *iomsg
,
1976 *id
, *pos
, *asynchronous
, *blank
, *decimal
, *delim
, *pad
, *round
,
1977 *sign
, *extra_comma
;
1979 gfc_symbol
*namelist
;
1980 /* A format_label of `format_asterisk' indicates the "*" format */
1981 gfc_st_label
*format_label
;
1982 gfc_st_label
*err
, *end
, *eor
;
1984 locus eor_where
, end_where
, err_where
;
1989 typedef struct gfc_forall_iterator
1991 gfc_expr
*var
, *start
, *end
, *stride
;
1992 struct gfc_forall_iterator
*next
;
1994 gfc_forall_iterator
;
1997 /* Linked list to store associations in an ASSOCIATE statement. */
1999 typedef struct gfc_association_list
2001 struct gfc_association_list
*next
;
2003 /* Whether this is association to a variable that can be changed; otherwise,
2004 it's association to an expression and the name may not be used as
2006 unsigned variable
:1;
2008 char name
[GFC_MAX_SYMBOL_LEN
+ 1];
2009 gfc_symtree
*st
; /* Symtree corresponding to name. */
2012 gfc_association_list
;
2013 #define gfc_get_association_list() XCNEW (gfc_association_list)
2016 /* Executable statements that fill gfc_code structures. */
2019 EXEC_NOP
= 1, EXEC_END_BLOCK
, EXEC_ASSIGN
, EXEC_LABEL_ASSIGN
,
2020 EXEC_POINTER_ASSIGN
, EXEC_CRITICAL
, EXEC_ERROR_STOP
,
2021 EXEC_GOTO
, EXEC_CALL
, EXEC_COMPCALL
, EXEC_ASSIGN_CALL
, EXEC_RETURN
,
2022 EXEC_ENTRY
, EXEC_PAUSE
, EXEC_STOP
, EXEC_CONTINUE
, EXEC_INIT_ASSIGN
,
2023 EXEC_IF
, EXEC_ARITHMETIC_IF
, EXEC_DO
, EXEC_DO_WHILE
, EXEC_SELECT
, EXEC_BLOCK
,
2024 EXEC_FORALL
, EXEC_WHERE
, EXEC_CYCLE
, EXEC_EXIT
, EXEC_CALL_PPC
,
2025 EXEC_ALLOCATE
, EXEC_DEALLOCATE
, EXEC_END_PROCEDURE
, EXEC_SELECT_TYPE
,
2026 EXEC_SYNC_ALL
, EXEC_SYNC_MEMORY
, EXEC_SYNC_IMAGES
,
2027 EXEC_OPEN
, EXEC_CLOSE
, EXEC_WAIT
,
2028 EXEC_READ
, EXEC_WRITE
, EXEC_IOLENGTH
, EXEC_TRANSFER
, EXEC_DT_END
,
2029 EXEC_BACKSPACE
, EXEC_ENDFILE
, EXEC_INQUIRE
, EXEC_REWIND
, EXEC_FLUSH
,
2030 EXEC_OMP_CRITICAL
, EXEC_OMP_DO
, EXEC_OMP_FLUSH
, EXEC_OMP_MASTER
,
2031 EXEC_OMP_ORDERED
, EXEC_OMP_PARALLEL
, EXEC_OMP_PARALLEL_DO
,
2032 EXEC_OMP_PARALLEL_SECTIONS
, EXEC_OMP_PARALLEL_WORKSHARE
,
2033 EXEC_OMP_SECTIONS
, EXEC_OMP_SINGLE
, EXEC_OMP_WORKSHARE
,
2034 EXEC_OMP_ATOMIC
, EXEC_OMP_BARRIER
, EXEC_OMP_END_NOWAIT
,
2035 EXEC_OMP_END_SINGLE
, EXEC_OMP_TASK
, EXEC_OMP_TASKWAIT
2039 typedef struct gfc_code
2043 struct gfc_code
*block
, *next
;
2046 gfc_st_label
*here
, *label1
, *label2
, *label3
;
2047 gfc_symtree
*symtree
;
2048 gfc_expr
*expr1
, *expr2
, *expr3
;
2049 /* A name isn't sufficient to identify a subroutine, we need the actual
2050 symbol for the interface definition.
2051 const char *sub_name; */
2052 gfc_symbol
*resolved_sym
;
2053 gfc_intrinsic_sym
*resolved_isym
;
2057 gfc_actual_arglist
*actual
;
2058 gfc_case
*case_list
;
2059 gfc_iterator
*iterator
;
2071 gfc_association_list
*assoc
;
2077 gfc_filepos
*filepos
;
2078 gfc_inquire
*inquire
;
2081 gfc_forall_iterator
*forall_iterator
;
2082 struct gfc_code
*whichloop
;
2084 gfc_entry_list
*entry
;
2085 gfc_omp_clauses
*omp_clauses
;
2086 const char *omp_name
;
2087 gfc_namelist
*omp_namelist
;
2090 ext
; /* Points to additional structures required by statement */
2092 /* Cycle and break labels in do loops. */
2099 /* Storage for DATA statements. */
2100 typedef struct gfc_data_variable
2104 struct gfc_data_variable
*list
, *next
;
2109 typedef struct gfc_data_value
2113 struct gfc_data_value
*next
;
2118 typedef struct gfc_data
2120 gfc_data_variable
*var
;
2121 gfc_data_value
*value
;
2124 struct gfc_data
*next
;
2129 /* Structure for holding compile options */
2133 gfc_source_form source_form
;
2134 /* Maximum line lengths in fixed- and free-form source, respectively.
2135 When fixed_line_length or free_line_length are 0, the whole line is used,
2136 regardless of length.
2138 If the user requests a fixed_line_length <7 then gfc_init_options()
2139 emits a fatal error. */
2140 int fixed_line_length
;
2141 int free_line_length
;
2142 /* Maximum number of continuation lines in fixed- and free-form source,
2144 int max_continue_fixed
;
2145 int max_continue_free
;
2146 int max_identifier_length
;
2147 int dump_parse_tree
;
2151 int warn_conversion
;
2152 int warn_conversion_extra
;
2153 int warn_implicit_interface
;
2154 int warn_implicit_procedure
;
2155 int warn_line_truncation
;
2156 int warn_surprising
;
2159 int warn_intrinsic_shadow
;
2160 int warn_intrinsics_std
;
2161 int warn_character_truncation
;
2162 int warn_array_temp
;
2163 int warn_align_commons
;
2164 int warn_unused_dummy_argument
;
2167 int flag_all_intrinsics
;
2168 int flag_default_double
;
2169 int flag_default_integer
;
2170 int flag_default_real
;
2172 int flag_underscoring
;
2173 int flag_second_underscore
;
2174 int flag_implicit_none
;
2175 int flag_max_stack_var_size
;
2176 int flag_max_array_constructor
;
2177 int flag_range_check
;
2178 int flag_pack_derived
;
2179 int flag_repack_arrays
;
2180 int flag_preprocessed
;
2185 int flag_allow_leading_underscore
;
2187 int flag_external_blas
;
2188 int blas_matmul_limit
;
2189 int flag_cray_pointer
;
2193 int flag_module_private
;
2195 int flag_init_local_zero
;
2196 int flag_init_integer
;
2197 int flag_init_integer_value
;
2199 int flag_init_logical
;
2200 int flag_init_character
;
2201 char flag_init_character_value
;
2202 int flag_align_commons
;
2203 int flag_whole_file
;
2204 int flag_protect_parens
;
2208 gfc_fcoarray coarray
;
2214 int max_subrecord_length
;
2218 extern gfc_option_t gfc_option
;
2220 /* Constructor nodes for array and structure constructors. */
2221 typedef struct gfc_constructor
2223 gfc_constructor_base base
;
2224 mpz_t offset
; /* Offset within a constructor, used as
2228 gfc_iterator
*iterator
;
2233 gfc_component
*component
; /* Record the component being initialized. */
2240 typedef struct iterator_stack
2242 gfc_symtree
*variable
;
2244 struct iterator_stack
*prev
;
2247 extern iterator_stack
*iter_stack
;
2250 /* Used for (possibly nested) SELECT TYPE statements. */
2251 typedef struct gfc_select_type_stack
2253 gfc_symbol
*selector
; /* Current selector variable. */
2254 gfc_symtree
*tmp
; /* Current temporary variable. */
2255 struct gfc_select_type_stack
*prev
; /* Previous element on stack. */
2257 gfc_select_type_stack
;
2258 extern gfc_select_type_stack
*select_type_stack
;
2259 #define gfc_get_select_type_stack() XCNEW (gfc_select_type_stack)
2262 /* Node in the linked list used for storing finalizer procedures. */
2264 typedef struct gfc_finalizer
2266 struct gfc_finalizer
* next
;
2267 locus where
; /* Where the FINAL declaration occurred. */
2269 /* Up to resolution, we want the gfc_symbol, there we lookup the corresponding
2270 symtree and later need only that. This way, we can access and call the
2271 finalizers from every context as they should be "always accessible". I
2272 don't make this a union because we need the information whether proc_sym is
2273 still referenced or not for dereferencing it on deleting a gfc_finalizer
2275 gfc_symbol
* proc_sym
;
2276 gfc_symtree
* proc_tree
;
2279 #define gfc_get_finalizer() XCNEW (gfc_finalizer)
2282 /************************ Function prototypes *************************/
2285 bool gfc_in_match_data (void);
2286 match
gfc_match_char_spec (gfc_typespec
*);
2289 void gfc_scanner_done_1 (void);
2290 void gfc_scanner_init_1 (void);
2292 void gfc_add_include_path (const char *, bool, bool);
2293 void gfc_add_intrinsic_modules_path (const char *);
2294 void gfc_release_include_path (void);
2295 FILE *gfc_open_included_file (const char *, bool, bool);
2296 FILE *gfc_open_intrinsic_module (const char *);
2298 int gfc_at_end (void);
2299 int gfc_at_eof (void);
2300 int gfc_at_bol (void);
2301 int gfc_at_eol (void);
2302 void gfc_advance_line (void);
2303 int gfc_check_include (void);
2304 int gfc_define_undef_line (void);
2306 int gfc_wide_is_printable (gfc_char_t
);
2307 int gfc_wide_is_digit (gfc_char_t
);
2308 int gfc_wide_fits_in_byte (gfc_char_t
);
2309 gfc_char_t
gfc_wide_tolower (gfc_char_t
);
2310 gfc_char_t
gfc_wide_toupper (gfc_char_t
);
2311 size_t gfc_wide_strlen (const gfc_char_t
*);
2312 int gfc_wide_strncasecmp (const gfc_char_t
*, const char *, size_t);
2313 gfc_char_t
*gfc_wide_memset (gfc_char_t
*, gfc_char_t
, size_t);
2314 char *gfc_widechar_to_char (const gfc_char_t
*, int);
2315 gfc_char_t
*gfc_char_to_widechar (const char *);
2317 #define gfc_get_wide_string(n) XCNEWVEC (gfc_char_t, n)
2319 void gfc_skip_comments (void);
2320 gfc_char_t
gfc_next_char_literal (int);
2321 gfc_char_t
gfc_next_char (void);
2322 char gfc_next_ascii_char (void);
2323 gfc_char_t
gfc_peek_char (void);
2324 char gfc_peek_ascii_char (void);
2325 void gfc_error_recovery (void);
2326 void gfc_gobble_whitespace (void);
2327 gfc_try
gfc_new_file (void);
2328 const char * gfc_read_orig_filename (const char *, const char **);
2330 extern gfc_source_form gfc_current_form
;
2331 extern const char *gfc_source_file
;
2332 extern locus gfc_current_locus
;
2334 void gfc_start_source_files (void);
2335 void gfc_end_source_files (void);
2338 void *gfc_getmem (size_t) ATTRIBUTE_MALLOC
;
2339 void gfc_free (void *);
2340 int gfc_terminal_width (void);
2341 void gfc_clear_ts (gfc_typespec
*);
2342 FILE *gfc_open_file (const char *);
2343 const char *gfc_basic_typename (bt
);
2344 const char *gfc_typename (gfc_typespec
*);
2345 const char *gfc_op2string (gfc_intrinsic_op
);
2346 const char *gfc_code2string (const mstring
*, int);
2347 int gfc_string2code (const mstring
*, const char *);
2348 const char *gfc_intent_string (sym_intent
);
2350 void gfc_init_1 (void);
2351 void gfc_init_2 (void);
2352 void gfc_done_1 (void);
2353 void gfc_done_2 (void);
2355 int get_c_kind (const char *, CInteropKind_t
*);
2358 unsigned int gfc_option_lang_mask (void);
2359 void gfc_init_options (unsigned int,
2360 struct cl_decoded_option
*);
2361 int gfc_handle_option (size_t, const char *, int, int);
2362 bool gfc_post_options (const char **);
2365 void gfc_maybe_initialize_eh (void);
2368 const char * gfc_get_string (const char *, ...) ATTRIBUTE_PRINTF_1
;
2369 bool gfc_find_sym_in_expr (gfc_symbol
*, gfc_expr
*);
2373 typedef struct gfc_error_buf
2376 size_t allocated
, index
;
2380 void gfc_error_init_1 (void);
2381 void gfc_buffer_error (int);
2383 const char *gfc_print_wide_char (gfc_char_t
);
2385 void gfc_warning (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2386 void gfc_warning_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2387 void gfc_clear_warning (void);
2388 void gfc_warning_check (void);
2390 void gfc_error (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2391 void gfc_error_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2392 void gfc_fatal_error (const char *, ...) ATTRIBUTE_NORETURN
ATTRIBUTE_GCC_GFC(1,2);
2393 void gfc_internal_error (const char *, ...) ATTRIBUTE_NORETURN
ATTRIBUTE_GCC_GFC(1,2);
2394 void gfc_clear_error (void);
2395 int gfc_error_check (void);
2396 int gfc_error_flag_test (void);
2398 notification
gfc_notification_std (int);
2399 gfc_try
gfc_notify_std (int, const char *, ...) ATTRIBUTE_GCC_GFC(2,3);
2401 /* A general purpose syntax error. */
2402 #define gfc_syntax_error(ST) \
2403 gfc_error ("Syntax error in %s statement at %C", gfc_ascii_statement (ST));
2405 void gfc_push_error (gfc_error_buf
*);
2406 void gfc_pop_error (gfc_error_buf
*);
2407 void gfc_free_error (gfc_error_buf
*);
2409 void gfc_get_errors (int *, int *);
2410 void gfc_errors_to_warnings (int);
2413 void gfc_arith_init_1 (void);
2414 void gfc_arith_done_1 (void);
2415 arith
gfc_check_integer_range (mpz_t p
, int kind
);
2416 bool gfc_check_character_range (gfc_char_t
, int);
2419 gfc_try
gfc_check_any_c_kind (gfc_typespec
*);
2420 int gfc_validate_kind (bt
, int, bool);
2421 int gfc_get_int_kind_from_width_isofortranenv (int size
);
2422 int gfc_get_real_kind_from_width_isofortranenv (int size
);
2423 tree
gfc_get_derived_type (gfc_symbol
* derived
);
2424 extern int gfc_index_integer_kind
;
2425 extern int gfc_default_integer_kind
;
2426 extern int gfc_max_integer_kind
;
2427 extern int gfc_default_real_kind
;
2428 extern int gfc_default_double_kind
;
2429 extern int gfc_default_character_kind
;
2430 extern int gfc_default_logical_kind
;
2431 extern int gfc_default_complex_kind
;
2432 extern int gfc_c_int_kind
;
2433 extern int gfc_intio_kind
;
2434 extern int gfc_charlen_int_kind
;
2435 extern int gfc_numeric_storage_size
;
2436 extern int gfc_character_storage_size
;
2439 void gfc_clear_new_implicit (void);
2440 gfc_try
gfc_add_new_implicit_range (int, int);
2441 gfc_try
gfc_merge_new_implicit (gfc_typespec
*);
2442 void gfc_set_implicit_none (void);
2443 void gfc_check_function_type (gfc_namespace
*);
2444 bool gfc_is_intrinsic_typename (const char *);
2446 gfc_typespec
*gfc_get_default_type (const char *, gfc_namespace
*);
2447 gfc_try
gfc_set_default_type (gfc_symbol
*, int, gfc_namespace
*);
2449 void gfc_set_sym_referenced (gfc_symbol
*);
2451 gfc_try
gfc_add_attribute (symbol_attribute
*, locus
*);
2452 gfc_try
gfc_add_ext_attribute (symbol_attribute
*, ext_attr_id_t
, locus
*);
2453 gfc_try
gfc_add_allocatable (symbol_attribute
*, locus
*);
2454 gfc_try
gfc_add_codimension (symbol_attribute
*, const char *, locus
*);
2455 gfc_try
gfc_add_contiguous (symbol_attribute
*, const char *, locus
*);
2456 gfc_try
gfc_add_dimension (symbol_attribute
*, const char *, locus
*);
2457 gfc_try
gfc_add_external (symbol_attribute
*, locus
*);
2458 gfc_try
gfc_add_intrinsic (symbol_attribute
*, locus
*);
2459 gfc_try
gfc_add_optional (symbol_attribute
*, locus
*);
2460 gfc_try
gfc_add_pointer (symbol_attribute
*, locus
*);
2461 gfc_try
gfc_add_cray_pointer (symbol_attribute
*, locus
*);
2462 gfc_try
gfc_add_cray_pointee (symbol_attribute
*, locus
*);
2463 match
gfc_mod_pointee_as (gfc_array_spec
*);
2464 gfc_try
gfc_add_protected (symbol_attribute
*, const char *, locus
*);
2465 gfc_try
gfc_add_result (symbol_attribute
*, const char *, locus
*);
2466 gfc_try
gfc_add_save (symbol_attribute
*, const char *, locus
*);
2467 gfc_try
gfc_add_threadprivate (symbol_attribute
*, const char *, locus
*);
2468 gfc_try
gfc_add_saved_common (symbol_attribute
*, locus
*);
2469 gfc_try
gfc_add_target (symbol_attribute
*, locus
*);
2470 gfc_try
gfc_add_dummy (symbol_attribute
*, const char *, locus
*);
2471 gfc_try
gfc_add_generic (symbol_attribute
*, const char *, locus
*);
2472 gfc_try
gfc_add_common (symbol_attribute
*, locus
*);
2473 gfc_try
gfc_add_in_common (symbol_attribute
*, const char *, locus
*);
2474 gfc_try
gfc_add_in_equivalence (symbol_attribute
*, const char *, locus
*);
2475 gfc_try
gfc_add_data (symbol_attribute
*, const char *, locus
*);
2476 gfc_try
gfc_add_in_namelist (symbol_attribute
*, const char *, locus
*);
2477 gfc_try
gfc_add_sequence (symbol_attribute
*, const char *, locus
*);
2478 gfc_try
gfc_add_elemental (symbol_attribute
*, locus
*);
2479 gfc_try
gfc_add_pure (symbol_attribute
*, locus
*);
2480 gfc_try
gfc_add_recursive (symbol_attribute
*, locus
*);
2481 gfc_try
gfc_add_function (symbol_attribute
*, const char *, locus
*);
2482 gfc_try
gfc_add_subroutine (symbol_attribute
*, const char *, locus
*);
2483 gfc_try
gfc_add_volatile (symbol_attribute
*, const char *, locus
*);
2484 gfc_try
gfc_add_asynchronous (symbol_attribute
*, const char *, locus
*);
2485 gfc_try
gfc_add_proc (symbol_attribute
*attr
, const char *name
, locus
*where
);
2486 gfc_try
gfc_add_abstract (symbol_attribute
* attr
, locus
* where
);
2488 gfc_try
gfc_add_access (symbol_attribute
*, gfc_access
, const char *, locus
*);
2489 gfc_try
gfc_add_is_bind_c (symbol_attribute
*, const char *, locus
*, int);
2490 gfc_try
gfc_add_extension (symbol_attribute
*, locus
*);
2491 gfc_try
gfc_add_value (symbol_attribute
*, const char *, locus
*);
2492 gfc_try
gfc_add_flavor (symbol_attribute
*, sym_flavor
, const char *, locus
*);
2493 gfc_try
gfc_add_entry (symbol_attribute
*, const char *, locus
*);
2494 gfc_try
gfc_add_procedure (symbol_attribute
*, procedure_type
,
2495 const char *, locus
*);
2496 gfc_try
gfc_add_intent (symbol_attribute
*, sym_intent
, locus
*);
2497 gfc_try
gfc_add_explicit_interface (gfc_symbol
*, ifsrc
,
2498 gfc_formal_arglist
*, locus
*);
2499 gfc_try
gfc_add_type (gfc_symbol
*, gfc_typespec
*, locus
*);
2501 void gfc_clear_attr (symbol_attribute
*);
2502 gfc_try
gfc_missing_attr (symbol_attribute
*, locus
*);
2503 gfc_try
gfc_copy_attr (symbol_attribute
*, symbol_attribute
*, locus
*);
2505 gfc_try
gfc_add_component (gfc_symbol
*, const char *, gfc_component
**);
2506 gfc_symbol
*gfc_use_derived (gfc_symbol
*);
2507 gfc_symtree
*gfc_use_derived_tree (gfc_symtree
*);
2508 gfc_component
*gfc_find_component (gfc_symbol
*, const char *, bool, bool);
2510 gfc_st_label
*gfc_get_st_label (int);
2511 void gfc_free_st_label (gfc_st_label
*);
2512 void gfc_define_st_label (gfc_st_label
*, gfc_sl_type
, locus
*);
2513 gfc_try
gfc_reference_st_label (gfc_st_label
*, gfc_sl_type
);
2515 gfc_expr
* gfc_lval_expr_from_sym (gfc_symbol
*);
2517 gfc_namespace
*gfc_get_namespace (gfc_namespace
*, int);
2518 gfc_symtree
*gfc_new_symtree (gfc_symtree
**, const char *);
2519 gfc_symtree
*gfc_find_symtree (gfc_symtree
*, const char *);
2520 void gfc_delete_symtree (gfc_symtree
**, const char *);
2521 gfc_symtree
*gfc_get_unique_symtree (gfc_namespace
*);
2522 gfc_user_op
*gfc_get_uop (const char *);
2523 gfc_user_op
*gfc_find_uop (const char *, gfc_namespace
*);
2524 void gfc_free_symbol (gfc_symbol
*);
2525 gfc_symbol
*gfc_new_symbol (const char *, gfc_namespace
*);
2526 gfc_symtree
* gfc_find_symtree_in_proc (const char *, gfc_namespace
*);
2527 int gfc_find_symbol (const char *, gfc_namespace
*, int, gfc_symbol
**);
2528 int gfc_find_sym_tree (const char *, gfc_namespace
*, int, gfc_symtree
**);
2529 int gfc_get_symbol (const char *, gfc_namespace
*, gfc_symbol
**);
2530 gfc_try
verify_c_interop (gfc_typespec
*);
2531 gfc_try
verify_c_interop_param (gfc_symbol
*);
2532 gfc_try
verify_bind_c_sym (gfc_symbol
*, gfc_typespec
*, int, gfc_common_head
*);
2533 gfc_try
verify_bind_c_derived_type (gfc_symbol
*);
2534 gfc_try
verify_com_block_vars_c_interop (gfc_common_head
*);
2535 void generate_isocbinding_symbol (const char *, iso_c_binding_symbol
, const char *);
2536 gfc_symbol
*get_iso_c_sym (gfc_symbol
*, char *, char *, int);
2537 int gfc_get_sym_tree (const char *, gfc_namespace
*, gfc_symtree
**, bool);
2538 int gfc_get_ha_symbol (const char *, gfc_symbol
**);
2539 int gfc_get_ha_sym_tree (const char *, gfc_symtree
**);
2541 int gfc_symbols_could_alias (gfc_symbol
*, gfc_symbol
*);
2543 void gfc_undo_symbols (void);
2544 void gfc_commit_symbols (void);
2545 void gfc_commit_symbol (gfc_symbol
*);
2546 gfc_charlen
*gfc_new_charlen (gfc_namespace
*, gfc_charlen
*);
2547 void gfc_free_charlen (gfc_charlen
*, gfc_charlen
*);
2548 void gfc_free_namespace (gfc_namespace
*);
2550 void gfc_symbol_init_2 (void);
2551 void gfc_symbol_done_2 (void);
2553 void gfc_traverse_symtree (gfc_symtree
*, void (*)(gfc_symtree
*));
2554 void gfc_traverse_ns (gfc_namespace
*, void (*)(gfc_symbol
*));
2555 void gfc_traverse_user_op (gfc_namespace
*, void (*)(gfc_user_op
*));
2556 void gfc_save_all (gfc_namespace
*);
2558 void gfc_symbol_state (void);
2559 void gfc_free_dt_list (void);
2562 gfc_gsymbol
*gfc_get_gsymbol (const char *);
2563 gfc_gsymbol
*gfc_find_gsymbol (gfc_gsymbol
*, const char *);
2565 gfc_typebound_proc
* gfc_get_typebound_proc (gfc_typebound_proc
*);
2566 gfc_symbol
* gfc_get_derived_super_type (gfc_symbol
*);
2567 gfc_symbol
* gfc_get_ultimate_derived_super_type (gfc_symbol
*);
2568 bool gfc_type_is_extension_of (gfc_symbol
*, gfc_symbol
*);
2569 bool gfc_type_compatible (gfc_typespec
*, gfc_typespec
*);
2571 void gfc_copy_formal_args (gfc_symbol
*, gfc_symbol
*);
2572 void gfc_copy_formal_args_intr (gfc_symbol
*, gfc_intrinsic_sym
*);
2573 void gfc_copy_formal_args_ppc (gfc_component
*, gfc_symbol
*);
2575 void gfc_free_finalizer (gfc_finalizer
*el
); /* Needed in resolve.c, too */
2577 gfc_try
gfc_check_symbol_typed (gfc_symbol
*, gfc_namespace
*, bool, locus
);
2579 /* intrinsic.c -- true if working in an init-expr, false otherwise. */
2580 extern bool gfc_init_expr_flag
;
2582 /* Given a symbol that we have decided is intrinsic, mark it as such
2583 by placing it into a special module that is otherwise impossible to
2586 #define gfc_intrinsic_symbol(SYM) SYM->module = gfc_get_string ("(intrinsic)")
2588 void gfc_intrinsic_init_1 (void);
2589 void gfc_intrinsic_done_1 (void);
2591 char gfc_type_letter (bt
);
2592 gfc_symbol
* gfc_get_intrinsic_sub_symbol (const char *);
2593 gfc_try
gfc_convert_type (gfc_expr
*, gfc_typespec
*, int);
2594 gfc_try
gfc_convert_type_warn (gfc_expr
*, gfc_typespec
*, int, int);
2595 gfc_try
gfc_convert_chartype (gfc_expr
*, gfc_typespec
*);
2596 int gfc_generic_intrinsic (const char *);
2597 int gfc_specific_intrinsic (const char *);
2598 bool gfc_is_intrinsic (gfc_symbol
*, int, locus
);
2599 int gfc_intrinsic_actual_ok (const char *, const bool);
2600 gfc_intrinsic_sym
*gfc_find_function (const char *);
2601 gfc_intrinsic_sym
*gfc_find_subroutine (const char *);
2603 match
gfc_intrinsic_func_interface (gfc_expr
*, int);
2604 match
gfc_intrinsic_sub_interface (gfc_code
*, int);
2606 void gfc_warn_intrinsic_shadow (const gfc_symbol
*, bool, bool);
2607 gfc_try
gfc_check_intrinsic_standard (const gfc_intrinsic_sym
*, const char**,
2610 /* match.c -- FIXME */
2611 void gfc_free_iterator (gfc_iterator
*, int);
2612 void gfc_free_forall_iterator (gfc_forall_iterator
*);
2613 void gfc_free_alloc_list (gfc_alloc
*);
2614 void gfc_free_namelist (gfc_namelist
*);
2615 void gfc_free_equiv (gfc_equiv
*);
2616 void gfc_free_equiv_until (gfc_equiv
*, gfc_equiv
*);
2617 void gfc_free_data (gfc_data
*);
2618 void gfc_free_case_list (gfc_case
*);
2620 /* matchexp.c -- FIXME too? */
2621 gfc_expr
*gfc_get_parentheses (gfc_expr
*);
2624 void gfc_free_omp_clauses (gfc_omp_clauses
*);
2625 void gfc_resolve_omp_directive (gfc_code
*, gfc_namespace
*);
2626 void gfc_resolve_do_iterator (gfc_code
*, gfc_symbol
*);
2627 void gfc_resolve_omp_parallel_blocks (gfc_code
*, gfc_namespace
*);
2628 void gfc_resolve_omp_do_blocks (gfc_code
*, gfc_namespace
*);
2631 void gfc_free_actual_arglist (gfc_actual_arglist
*);
2632 gfc_actual_arglist
*gfc_copy_actual_arglist (gfc_actual_arglist
*);
2633 const char *gfc_extract_int (gfc_expr
*, int *);
2634 bool is_subref_array (gfc_expr
*);
2635 bool gfc_is_simply_contiguous (gfc_expr
*, bool);
2637 gfc_expr
*gfc_build_conversion (gfc_expr
*);
2638 void gfc_free_ref_list (gfc_ref
*);
2639 void gfc_type_convert_binary (gfc_expr
*, int);
2640 int gfc_is_constant_expr (gfc_expr
*);
2641 gfc_try
gfc_simplify_expr (gfc_expr
*, int);
2642 int gfc_has_vector_index (gfc_expr
*);
2644 gfc_expr
*gfc_get_expr (void);
2645 gfc_expr
*gfc_get_array_expr (bt type
, int kind
, locus
*);
2646 gfc_expr
*gfc_get_null_expr (locus
*);
2647 gfc_expr
*gfc_get_operator_expr (locus
*, gfc_intrinsic_op
,gfc_expr
*, gfc_expr
*);
2648 gfc_expr
*gfc_get_structure_constructor_expr (bt
, int, locus
*);
2649 gfc_expr
*gfc_get_constant_expr (bt
, int, locus
*);
2650 gfc_expr
*gfc_get_character_expr (int, locus
*, const char *, int len
);
2651 gfc_expr
*gfc_get_int_expr (int, locus
*, int);
2652 gfc_expr
*gfc_get_logical_expr (int, locus
*, bool);
2653 gfc_expr
*gfc_get_iokind_expr (locus
*, io_kind
);
2655 void gfc_free_expr (gfc_expr
*);
2656 void gfc_replace_expr (gfc_expr
*, gfc_expr
*);
2657 mpz_t
*gfc_copy_shape (mpz_t
*, int);
2658 mpz_t
*gfc_copy_shape_excluding (mpz_t
*, int, gfc_expr
*);
2659 gfc_expr
*gfc_copy_expr (gfc_expr
*);
2660 gfc_ref
* gfc_copy_ref (gfc_ref
*);
2662 gfc_try
gfc_specification_expr (gfc_expr
*);
2664 int gfc_numeric_ts (gfc_typespec
*);
2665 int gfc_kind_max (gfc_expr
*, gfc_expr
*);
2667 gfc_try
gfc_check_conformance (gfc_expr
*, gfc_expr
*, const char *, ...) ATTRIBUTE_PRINTF_3
;
2668 gfc_try
gfc_check_assign (gfc_expr
*, gfc_expr
*, int);
2669 gfc_try
gfc_check_pointer_assign (gfc_expr
*, gfc_expr
*);
2670 gfc_try
gfc_check_assign_symbol (gfc_symbol
*, gfc_expr
*);
2672 bool gfc_has_default_initializer (gfc_symbol
*);
2673 gfc_expr
*gfc_default_initializer (gfc_typespec
*);
2674 gfc_expr
*gfc_get_variable_expr (gfc_symtree
*);
2676 gfc_array_spec
*gfc_get_full_arrayspec_from_expr (gfc_expr
*expr
);
2678 bool gfc_traverse_expr (gfc_expr
*, gfc_symbol
*,
2679 bool (*)(gfc_expr
*, gfc_symbol
*, int*),
2681 void gfc_expr_set_symbols_referenced (gfc_expr
*);
2682 gfc_try
gfc_expr_check_typed (gfc_expr
*, gfc_namespace
*, bool);
2683 void gfc_expr_replace_symbols (gfc_expr
*, gfc_symbol
*);
2684 void gfc_expr_replace_comp (gfc_expr
*, gfc_component
*);
2686 bool gfc_is_proc_ptr_comp (gfc_expr
*, gfc_component
**);
2688 bool gfc_is_coindexed (gfc_expr
*);
2689 bool gfc_get_corank (gfc_expr
*);
2690 bool gfc_has_ultimate_allocatable (gfc_expr
*);
2691 bool gfc_has_ultimate_pointer (gfc_expr
*);
2695 extern gfc_code new_st
;
2697 void gfc_clear_new_st (void);
2698 gfc_code
*gfc_get_code (void);
2699 gfc_code
*gfc_append_code (gfc_code
*, gfc_code
*);
2700 void gfc_free_statement (gfc_code
*);
2701 void gfc_free_statements (gfc_code
*);
2702 void gfc_free_association_list (gfc_association_list
*);
2705 gfc_try
gfc_resolve_expr (gfc_expr
*);
2706 void gfc_resolve (gfc_namespace
*);
2707 void gfc_resolve_blocks (gfc_code
*, gfc_namespace
*);
2708 int gfc_impure_variable (gfc_symbol
*);
2709 int gfc_pure (gfc_symbol
*);
2710 int gfc_elemental (gfc_symbol
*);
2711 gfc_try
gfc_resolve_iterator (gfc_iterator
*, bool);
2712 gfc_try
find_forall_index (gfc_expr
*, gfc_symbol
*, int);
2713 gfc_try
gfc_resolve_index (gfc_expr
*, int);
2714 gfc_try
gfc_resolve_dim_arg (gfc_expr
*);
2715 int gfc_is_formal_arg (void);
2716 void gfc_resolve_substring_charlen (gfc_expr
*);
2717 match
gfc_iso_c_sub_interface(gfc_code
*, gfc_symbol
*);
2718 gfc_expr
*gfc_expr_to_initialize (gfc_expr
*);
2719 bool gfc_type_is_extensible (gfc_symbol
*sym
);
2723 gfc_iterator
*gfc_copy_iterator (gfc_iterator
*);
2725 void gfc_free_array_spec (gfc_array_spec
*);
2726 gfc_array_ref
*gfc_copy_array_ref (gfc_array_ref
*);
2728 gfc_try
gfc_set_array_spec (gfc_symbol
*, gfc_array_spec
*, locus
*);
2729 gfc_array_spec
*gfc_copy_array_spec (gfc_array_spec
*);
2730 gfc_try
gfc_resolve_array_spec (gfc_array_spec
*, int);
2732 int gfc_compare_array_spec (gfc_array_spec
*, gfc_array_spec
*);
2734 void gfc_simplify_iterator_var (gfc_expr
*);
2735 gfc_try
gfc_expand_constructor (gfc_expr
*, bool);
2736 int gfc_constant_ac (gfc_expr
*);
2737 int gfc_expanded_ac (gfc_expr
*);
2738 gfc_try
gfc_resolve_character_array_constructor (gfc_expr
*);
2739 gfc_try
gfc_resolve_array_constructor (gfc_expr
*);
2740 gfc_try
gfc_check_constructor_type (gfc_expr
*);
2741 gfc_try
gfc_check_iter_variable (gfc_expr
*);
2742 gfc_try
gfc_check_constructor (gfc_expr
*, gfc_try (*)(gfc_expr
*));
2743 gfc_try
gfc_array_size (gfc_expr
*, mpz_t
*);
2744 gfc_try
gfc_array_dimen_size (gfc_expr
*, int, mpz_t
*);
2745 gfc_try
gfc_array_ref_shape (gfc_array_ref
*, mpz_t
*);
2746 gfc_array_ref
*gfc_find_array_ref (gfc_expr
*);
2747 tree
gfc_conv_array_initializer (tree type
, gfc_expr
*);
2748 gfc_try
spec_size (gfc_array_spec
*, mpz_t
*);
2749 gfc_try
spec_dimen_size (gfc_array_spec
*, int, mpz_t
*);
2750 int gfc_is_compile_time_shape (gfc_array_spec
*);
2752 gfc_try
gfc_ref_dimen_size (gfc_array_ref
*, int dimen
, mpz_t
*);
2755 /* interface.c -- FIXME: some of these should be in symbol.c */
2756 void gfc_free_interface (gfc_interface
*);
2757 int gfc_compare_derived_types (gfc_symbol
*, gfc_symbol
*);
2758 int gfc_compare_types (gfc_typespec
*, gfc_typespec
*);
2759 int gfc_compare_interfaces (gfc_symbol
*, gfc_symbol
*, const char *, int, int,
2761 void gfc_check_interfaces (gfc_namespace
*);
2762 void gfc_procedure_use (gfc_symbol
*, gfc_actual_arglist
**, locus
*);
2763 void gfc_ppc_use (gfc_component
*, gfc_actual_arglist
**, locus
*);
2764 gfc_symbol
*gfc_search_interface (gfc_interface
*, int,
2765 gfc_actual_arglist
**);
2766 gfc_try
gfc_extend_expr (gfc_expr
*, bool *);
2767 void gfc_free_formal_arglist (gfc_formal_arglist
*);
2768 gfc_try
gfc_extend_assign (gfc_code
*, gfc_namespace
*);
2769 gfc_try
gfc_add_interface (gfc_symbol
*);
2770 gfc_interface
*gfc_current_interface_head (void);
2771 void gfc_set_current_interface_head (gfc_interface
*);
2772 gfc_symtree
* gfc_find_sym_in_symtree (gfc_symbol
*);
2773 bool gfc_arglist_matches_symbol (gfc_actual_arglist
**, gfc_symbol
*);
2774 bool gfc_check_operator_interface (gfc_symbol
*, gfc_intrinsic_op
, locus
);
2775 int gfc_has_vector_subscript (gfc_expr
*);
2778 extern gfc_st_label format_asterisk
;
2780 void gfc_free_open (gfc_open
*);
2781 gfc_try
gfc_resolve_open (gfc_open
*);
2782 void gfc_free_close (gfc_close
*);
2783 gfc_try
gfc_resolve_close (gfc_close
*);
2784 void gfc_free_filepos (gfc_filepos
*);
2785 gfc_try
gfc_resolve_filepos (gfc_filepos
*);
2786 void gfc_free_inquire (gfc_inquire
*);
2787 gfc_try
gfc_resolve_inquire (gfc_inquire
*);
2788 void gfc_free_dt (gfc_dt
*);
2789 gfc_try
gfc_resolve_dt (gfc_dt
*, locus
*);
2790 void gfc_free_wait (gfc_wait
*);
2791 gfc_try
gfc_resolve_wait (gfc_wait
*);
2794 void gfc_module_init_2 (void);
2795 void gfc_module_done_2 (void);
2796 void gfc_dump_module (const char *, int);
2797 bool gfc_check_access (gfc_access
, gfc_access
);
2798 void gfc_free_use_stmts (gfc_use_list
*);
2801 symbol_attribute
gfc_variable_attr (gfc_expr
*, gfc_typespec
*);
2802 symbol_attribute
gfc_expr_attr (gfc_expr
*);
2803 match
gfc_match_rvalue (gfc_expr
**);
2804 match
gfc_match_varspec (gfc_expr
*, int, bool, bool);
2805 int gfc_check_digit (char, int);
2806 bool gfc_is_function_return_value (gfc_symbol
*, gfc_namespace
*);
2809 void gfc_generate_code (gfc_namespace
*);
2810 void gfc_generate_module_code (gfc_namespace
*);
2813 typedef int (*compare_fn
) (void *, void *);
2814 void gfc_insert_bbt (void *, void *, compare_fn
);
2815 void gfc_delete_bbt (void *, void *, compare_fn
);
2817 /* dump-parse-tree.c */
2818 void gfc_dump_parse_tree (gfc_namespace
*, FILE *);
2821 gfc_try
gfc_parse_file (void);
2822 void gfc_global_used (gfc_gsymbol
*, locus
*);
2825 int gfc_dep_compare_expr (gfc_expr
*, gfc_expr
*);
2828 gfc_try
gfc_check_same_strlen (const gfc_expr
*, const gfc_expr
*, const char*);
2831 void gfc_add_component_ref (gfc_expr
*, const char *);
2832 gfc_expr
*gfc_class_null_initializer (gfc_typespec
*);
2833 gfc_try
gfc_build_class_symbol (gfc_typespec
*, symbol_attribute
*,
2834 gfc_array_spec
**, bool);
2835 gfc_symbol
*gfc_find_derived_vtab (gfc_symbol
*);
2836 gfc_symtree
* gfc_find_typebound_proc (gfc_symbol
*, gfc_try
*,
2837 const char*, bool, locus
*);
2838 gfc_symtree
* gfc_find_typebound_user_op (gfc_symbol
*, gfc_try
*,
2839 const char*, bool, locus
*);
2840 gfc_typebound_proc
* gfc_find_typebound_intrinsic_op (gfc_symbol
*, gfc_try
*,
2841 gfc_intrinsic_op
, bool,
2843 gfc_symtree
* gfc_get_tbp_symtree (gfc_symtree
**, const char*);
2845 #define CLASS_DATA(sym) sym->ts.u.derived->components
2847 /* frontend-passes.c */
2849 void gfc_run_passes (gfc_namespace
*);
2851 #endif /* GCC_GFORTRAN_H */