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"
39 #include "coretypes.h"
41 #include "splay-tree.h"
42 /* The following ifdefs are recommended by the autoconf documentation
43 for any code using alloca. */
45 /* AIX requires this to be the first thing in the file. */
47 #else /* not __GNUC__ */
50 #else /* do not HAVE_ALLOCA_H */
54 #ifndef alloca /* predefined by HP cc +Olibcalls */
56 #endif /* not predefined */
58 #endif /* do not HAVE_ALLOCA_H */
59 #endif /* not __GNUC__ */
61 /* Major control parameters. */
63 #define GFC_MAX_SYMBOL_LEN 63 /* Must be at least 63 for F2003. */
64 #define GFC_MAX_BINDING_LABEL_LEN 126 /* (2 * GFC_MAX_SYMBOL_LEN) */
65 #define GFC_MAX_LINE 132 /* Characters beyond this are not seen. */
66 #define GFC_LETTERS 26 /* Number of letters in the alphabet. */
68 #define MAX_SUBRECORD_LENGTH 2147483639 /* 2**31-9 */
71 #define free(x) Use_gfc_free_instead_of_free()
72 #define gfc_is_whitespace(c) ((c==' ') || (c=='\t'))
75 #define NULL ((void *) 0)
79 #define stringize(x) expand_macro(x)
80 #define expand_macro(x) # x
82 /* For the runtime library, a standard prefix is a requirement to
83 avoid cluttering the namespace with things nobody asked for. It's
84 ugly to look at and a pain to type when you add the prefix by hand,
85 so we hide it behind a macro. */
86 #define PREFIX(x) "_gfortran_" x
89 #define BLANK_COMMON_NAME "__BLNK__"
91 /* Macro to initialize an mstring structure. */
92 #define minit(s, t) { s, NULL, t }
94 /* Structure for storing strings to be matched by gfc_match_string. */
105 /*************************** Enums *****************************/
107 /* Used when matching and resolving data I/O transfer statements. */
110 { M_READ, M_WRITE, M_PRINT, M_INQUIRE }
113 /* The author remains confused to this day about the convention of
114 returning '0' for 'SUCCESS'... or was it the other way around? The
115 following enum makes things much more readable. We also start
116 values off at one instead of zero. */
119 { SUCCESS = 1, FAILURE }
122 /* This is returned by gfc_notification_std to know if, given the flags
123 that were given (-std=, -pedantic) we should issue an error, a warning
127 { SILENT, WARNING, ERROR }
130 /* Matchers return one of these three values. The difference between
131 MATCH_NO and MATCH_ERROR is that MATCH_ERROR means that a match was
132 successful, but that something non-syntactic is wrong and an error
133 has already been issued. */
136 { MATCH_NO = 1, MATCH_YES, MATCH_ERROR }
140 { FORM_FREE, FORM_FIXED, FORM_UNKNOWN }
143 /* Basic types. BT_VOID is used by ISO C Binding so funcs like c_f_pointer
144 can take any arg with the pointer attribute as a param. */
146 { BT_UNKNOWN = 1, BT_INTEGER, BT_REAL, BT_COMPLEX, BT_LOGICAL, BT_CHARACTER,
147 BT_DERIVED, BT_CLASS, BT_PROCEDURE, BT_HOLLERITH, BT_VOID
151 /* Expression node types. */
153 { EXPR_OP = 1, EXPR_FUNCTION, EXPR_CONSTANT, EXPR_VARIABLE,
154 EXPR_SUBSTRING, EXPR_STRUCTURE, EXPR_ARRAY, EXPR_NULL, EXPR_COMPCALL, EXPR_PPC
160 { AS_EXPLICIT = 1, AS_ASSUMED_SHAPE, AS_DEFERRED,
161 AS_ASSUMED_SIZE, AS_UNKNOWN
166 { AR_FULL = 1, AR_ELEMENT, AR_SECTION, AR_UNKNOWN }
169 /* Statement label types. */
171 { ST_LABEL_UNKNOWN = 1, ST_LABEL_TARGET,
172 ST_LABEL_BAD_TARGET, ST_LABEL_FORMAT
176 /* Intrinsic operators. */
178 { GFC_INTRINSIC_BEGIN = 0,
179 INTRINSIC_NONE = -1, INTRINSIC_UPLUS = GFC_INTRINSIC_BEGIN,
180 INTRINSIC_UMINUS, INTRINSIC_PLUS, INTRINSIC_MINUS, INTRINSIC_TIMES,
181 INTRINSIC_DIVIDE, INTRINSIC_POWER, INTRINSIC_CONCAT,
182 INTRINSIC_AND, INTRINSIC_OR, INTRINSIC_EQV, INTRINSIC_NEQV,
183 /* ==, /=, >, >=, <, <= */
184 INTRINSIC_EQ, INTRINSIC_NE, INTRINSIC_GT, INTRINSIC_GE,
185 INTRINSIC_LT, INTRINSIC_LE,
186 /* .EQ., .NE., .GT., .GE., .LT., .LE. (OS = Old-Style) */
187 INTRINSIC_EQ_OS, INTRINSIC_NE_OS, INTRINSIC_GT_OS, INTRINSIC_GE_OS,
188 INTRINSIC_LT_OS, INTRINSIC_LE_OS,
189 INTRINSIC_NOT, INTRINSIC_USER, INTRINSIC_ASSIGN,
190 INTRINSIC_PARENTHESES, GFC_INTRINSIC_END /* Sentinel */
195 /* This macro is the number of intrinsic operators that exist.
196 Assumptions are made about the numbering of the interface_op enums. */
197 #define GFC_INTRINSIC_OPS GFC_INTRINSIC_END
199 /* Arithmetic results. */
201 { ARITH_OK = 1, ARITH_OVERFLOW, ARITH_UNDERFLOW, ARITH_NAN,
202 ARITH_DIV0, ARITH_INCOMMENSURATE, ARITH_ASYMMETRIC, ARITH_PROHIBIT
209 ST_ARITHMETIC_IF, ST_ALLOCATE, ST_ATTR_DECL, ST_BACKSPACE,
210 ST_BLOCK, ST_BLOCK_DATA,
211 ST_CALL, ST_CASE, ST_CLOSE, ST_COMMON, ST_CONTINUE, ST_CONTAINS, ST_CYCLE,
212 ST_DATA, ST_DATA_DECL, ST_DEALLOCATE, ST_DO, ST_ELSE, ST_ELSEIF,
213 ST_ELSEWHERE, ST_END_BLOCK, ST_END_BLOCK_DATA, 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,
351 GFC_ISYM_DATE_AND_TIME,
355 GFC_ISYM_DOT_PRODUCT,
362 GFC_ISYM_ERFC_SCALED,
367 GFC_ISYM_EXTENDS_TYPE_OF,
384 GFC_ISYM_GET_COMMAND,
385 GFC_ISYM_GET_COMMAND_ARGUMENT,
388 GFC_ISYM_GET_ENVIRONMENT_VARIABLE,
407 GFC_ISYM_IMAGE_INDEX,
415 GFC_ISYM_IS_IOSTAT_END,
416 GFC_ISYM_IS_IOSTAT_EOR,
448 GFC_ISYM_MAXEXPONENT,
455 GFC_ISYM_MINEXPONENT,
476 GFC_ISYM_RANDOM_NUMBER,
477 GFC_ISYM_RANDOM_SEED,
485 GFC_ISYM_SAME_TYPE_AS,
491 GFC_ISYM_SET_EXPONENT,
511 GFC_ISYM_SYSTEM_CLOCK,
534 typedef enum gfc_isym_id gfc_isym_id;
539 GFC_INIT_REAL_OFF = 0,
544 GFC_INIT_REAL_NEG_INF
550 GFC_INIT_LOGICAL_OFF = 0,
551 GFC_INIT_LOGICAL_FALSE,
552 GFC_INIT_LOGICAL_TRUE
558 GFC_INIT_CHARACTER_OFF = 0,
559 GFC_INIT_CHARACTER_ON
561 init_local_character;
565 GFC_INIT_INTEGER_OFF = 0,
572 GFC_FCOARRAY_NONE = 0,
577 /************************* Structures *****************************/
579 /* Used for keeping things in balanced binary trees. */
580 #define BBT_HEADER(self) int priority; struct self *left, *right
582 #define NAMED_INTCST(a,b,c,d) a,
585 ISOFORTRANENV_INVALID = -1,
586 #include "iso-fortran-env.def"
587 ISOFORTRANENV_LAST, ISOFORTRANENV_NUMBER = ISOFORTRANENV_LAST
589 iso_fortran_env_symbol;
592 #define NAMED_INTCST(a,b,c,d) a,
593 #define NAMED_REALCST(a,b,c) a,
594 #define NAMED_CMPXCST(a,b,c) a,
595 #define NAMED_LOGCST(a,b,c) a,
596 #define NAMED_CHARKNDCST(a,b,c) a,
597 #define NAMED_CHARCST(a,b,c) a,
598 #define DERIVED_TYPE(a,b,c) a,
599 #define PROCEDURE(a,b) a,
602 ISOCBINDING_INVALID = -1,
603 #include "iso-c-binding.def"
605 ISOCBINDING_NUMBER = ISOCBINDING_LAST
607 iso_c_binding_symbol;
612 #undef NAMED_CHARKNDCST
619 INTMOD_NONE = 0, INTMOD_ISO_FORTRAN_ENV, INTMOD_ISO_C_BINDING
625 char name[GFC_MAX_SYMBOL_LEN + 1];
626 int value; /* Used for both integer and character values. */
631 /* Array of structs, where the structs represent the C interop kinds.
632 The list will be implemented based on a hash of the kind name since
633 these could be accessed multiple times.
634 Declared in trans-types.c as a global, since it's in that file
635 that the list is initialized. */
636 extern CInteropKind_t c_interop_kinds_table[];
639 /* Structure and list of supported extension attributes. */
642 EXT_ATTR_DLLIMPORT = 0,
647 EXT_ATTR_LAST, EXT_ATTR_NUM = EXT_ATTR_LAST
655 const char *middle_end_name;
659 extern const ext_attr_t ext_attr_list[];
661 /* Symbol attribute structure. */
664 /* Variable attributes. */
665 unsigned allocatable:1, dimension:1, codimension:1, external:1, intrinsic:1,
666 optional:1, pointer:1, target:1, value:1, volatile_:1, temporary:1,
667 dummy:1, result:1, assign:1, threadprivate:1, not_always_present:1,
668 implied_index:1, subref_array_pointer:1, proc_pointer:1, asynchronous:1;
670 /* For CLASS containers, the pointer attribute is sometimes set internally
671 even though it was not directly specified. In this case, keep the
672 "real" (original) value here. */
673 unsigned class_pointer:1;
675 ENUM_BITFIELD (save_state) save:2;
677 unsigned data:1, /* Symbol is named in a DATA statement. */
678 is_protected:1, /* Symbol has been marked as protected. */
679 use_assoc:1, /* Symbol has been use-associated. */
680 use_only:1, /* Symbol has been use-associated, with ONLY. */
681 use_rename:1, /* Symbol has been use-associated and renamed. */
682 imported:1; /* Symbol has been associated by IMPORT. */
684 unsigned in_namelist:1, in_common:1, in_equivalence:1;
685 unsigned function:1, subroutine:1, procedure:1;
686 unsigned generic:1, generic_copy:1;
687 unsigned implicit_type:1; /* Type defined via implicit rules. */
688 unsigned untyped:1; /* No implicit type could be found. */
690 unsigned is_bind_c:1; /* say if is bound to C. */
691 unsigned extension:8; /* extension level of a derived type. */
692 unsigned is_class:1; /* is a CLASS container. */
693 unsigned class_ok:1; /* is a CLASS object with correct attributes. */
694 unsigned vtab:1; /* is a derived type vtab, pointed to by CLASS objects. */
695 unsigned vtype:1; /* is a derived type of a vtab. */
697 /* These flags are both in the typespec and attribute. The attribute
698 list is what gets read from/written to a module file. The typespec
699 is created from a decl being processed. */
700 unsigned is_c_interop:1; /* It's c interoperable. */
701 unsigned is_iso_c:1; /* Symbol is from iso_c_binding. */
703 /* Function/subroutine attributes */
704 unsigned sequence:1, elemental:1, pure:1, recursive:1;
705 unsigned unmaskable:1, masked:1, contained:1, mod_proc:1, abstract:1;
707 /* This is set if the subroutine doesn't return. Currently, this
708 is only possible for intrinsic subroutines. */
711 /* Set if this procedure is an alternate entry point. These procedures
712 don't have any code associated, and the backend will turn them into
713 thunks to the master function. */
716 /* Set if this is the master function for a procedure with multiple
718 unsigned entry_master:1;
720 /* Set if this is the master function for a function with multiple
721 entry points where characteristics of the entry points differ. */
722 unsigned mixed_entry_master:1;
724 /* Set if a function must always be referenced by an explicit interface. */
725 unsigned always_explicit:1;
727 /* Set if the symbol has been referenced in an expression. No further
728 modification of type or type parameters is permitted. */
729 unsigned referenced:1;
731 /* Set if this is the symbol for the main program. */
732 unsigned is_main_program:1;
734 /* Mutually exclusive multibit attributes. */
735 ENUM_BITFIELD (gfc_access) access:2;
736 ENUM_BITFIELD (sym_intent) intent:2;
737 ENUM_BITFIELD (sym_flavor) flavor:4;
738 ENUM_BITFIELD (ifsrc) if_source:2;
740 ENUM_BITFIELD (procedure_type) proc:3;
742 /* Special attributes for Cray pointers, pointees. */
743 unsigned cray_pointer:1, cray_pointee:1;
745 /* The symbol is a derived type with allocatable components, pointer
746 components or private components, procedure pointer components,
747 possibly nested. zero_comp is true if the derived type has no
749 unsigned alloc_comp:1, pointer_comp:1, proc_pointer_comp:1,
750 private_comp:1, zero_comp:1, coarray_comp:1;
752 /* Attributes set by compiler extensions (!GCC$ ATTRIBUTES). */
753 unsigned ext_attr:EXT_ATTR_NUM;
755 /* The namespace where the attribute has been set. */
756 struct gfc_namespace *volatile_ns, *asynchronous_ns;
761 /* We need to store source lines as sequences of multibyte source
762 characters. We define here a type wide enough to hold any multibyte
763 source character, just like libcpp does. A 32-bit type is enough. */
765 #if HOST_BITS_PER_INT >= 32
766 typedef unsigned int gfc_char_t;
767 #elif HOST_BITS_PER_LONG >= 32
768 typedef unsigned long gfc_char_t;
769 #elif defined(HAVE_LONG_LONG) && (HOST_BITS_PER_LONGLONG >= 32)
770 typedef unsigned long long gfc_char_t;
772 # error "Cannot find an integer type with at least 32 bits"
776 /* The following three structures are used to identify a location in
779 gfc_file is used to maintain a tree of the source files and how
780 they include each other
782 gfc_linebuf holds a single line of source code and information
783 which file it resides in
785 locus point to the sourceline and the character in the source
789 typedef struct gfc_file
791 struct gfc_file *next, *up;
792 int inclusion_line, line;
796 typedef struct gfc_linebuf
798 source_location location;
799 struct gfc_file *file;
800 struct gfc_linebuf *next;
808 #define gfc_linebuf_header_size (offsetof (gfc_linebuf, line))
810 #define gfc_linebuf_linenum(LBUF) (LOCATION_LINE ((LBUF)->location))
818 /* In order for the "gfc" format checking to work correctly, you must
819 have declared a typedef locus first. */
820 #if GCC_VERSION >= 4001
821 #define ATTRIBUTE_GCC_GFC(m, n) __attribute__ ((__format__ (__gcc_gfc__, m, n))) ATTRIBUTE_NONNULL(m)
823 #define ATTRIBUTE_GCC_GFC(m, n) ATTRIBUTE_NONNULL(m)
827 /* Suppress error messages or re-enable them. */
829 void gfc_push_suppress_errors (void);
830 void gfc_pop_suppress_errors (void);
833 /* Character length structures hold the expression that gives the
834 length of a character variable. We avoid putting these into
835 gfc_typespec because doing so prevents us from doing structure
836 copies and forces us to deallocate any typespecs we create, as well
837 as structures that contain typespecs. They also can have multiple
838 character typespecs pointing to them.
840 These structures form a singly linked list within the current
841 namespace and are deallocated with the namespace. It is possible to
842 end up with gfc_charlen structures that have nothing pointing to them. */
844 typedef struct gfc_charlen
846 struct gfc_expr *length;
847 struct gfc_charlen *next;
848 bool length_from_typespec; /* Length from explicit array ctor typespec? */
850 tree passed_length; /* Length argument explicitelly passed. */
856 #define gfc_get_charlen() XCNEW (gfc_charlen)
858 /* Type specification structure. */
866 struct gfc_symbol *derived; /* For derived types only. */
867 gfc_charlen *cl; /* For character types only. */
871 struct gfc_symbol *interface; /* For PROCEDURE declarations. */
878 /* Array specification. */
881 int rank; /* A rank of zero means that a variable is a scalar. */
883 array_type type, cotype;
884 struct gfc_expr *lower[GFC_MAX_DIMENSIONS], *upper[GFC_MAX_DIMENSIONS];
886 /* These two fields are used with the Cray Pointer extension. */
887 bool cray_pointee; /* True iff this spec belongs to a cray pointee. */
888 bool cp_was_assumed; /* AS_ASSUMED_SIZE cp arrays are converted to
889 AS_EXPLICIT, but we want to remember that we
895 #define gfc_get_array_spec() XCNEW (gfc_array_spec)
898 /* Components of derived types. */
899 typedef struct gfc_component
904 symbol_attribute attr;
909 struct gfc_expr *initializer;
910 struct gfc_component *next;
912 /* Needed for procedure pointer components. */
913 struct gfc_formal_arglist *formal;
914 struct gfc_namespace *formal_ns;
915 struct gfc_typebound_proc *tb;
919 #define gfc_get_component() XCNEW (gfc_component)
921 /* Formal argument lists are lists of symbols. */
922 typedef struct gfc_formal_arglist
924 /* Symbol representing the argument at this position in the arglist. */
925 struct gfc_symbol *sym;
926 /* Points to the next formal argument. */
927 struct gfc_formal_arglist *next;
931 #define gfc_get_formal_arglist() XCNEW (gfc_formal_arglist)
934 /* The gfc_actual_arglist structure is for actual arguments. */
935 typedef struct gfc_actual_arglist
938 /* Alternate return label when the expr member is null. */
939 struct gfc_st_label *label;
941 /* This is set to the type of an eventual omitted optional
942 argument. This is used to determine if a hidden string length
943 argument has to be added to a function call. */
946 struct gfc_expr *expr;
947 struct gfc_actual_arglist *next;
951 #define gfc_get_actual_arglist() XCNEW (gfc_actual_arglist)
954 /* Because a symbol can belong to multiple namelists, they must be
955 linked externally to the symbol itself. */
956 typedef struct gfc_namelist
958 struct gfc_symbol *sym;
959 struct gfc_namelist *next;
963 #define gfc_get_namelist() XCNEW (gfc_namelist)
968 OMP_LIST_FIRSTPRIVATE,
969 OMP_LIST_LASTPRIVATE,
970 OMP_LIST_COPYPRIVATE,
974 OMP_LIST_REDUCTION_FIRST = OMP_LIST_PLUS,
986 OMP_LIST_REDUCTION_LAST = OMP_LIST_IEOR,
990 /* Because a symbol can belong to multiple namelists, they must be
991 linked externally to the symbol itself. */
993 enum gfc_omp_sched_kind
1003 enum gfc_omp_default_sharing
1005 OMP_DEFAULT_UNKNOWN,
1007 OMP_DEFAULT_PRIVATE,
1009 OMP_DEFAULT_FIRSTPRIVATE
1012 typedef struct gfc_omp_clauses
1014 struct gfc_expr *if_expr;
1015 struct gfc_expr *num_threads;
1016 gfc_namelist *lists[OMP_LIST_NUM];
1017 enum gfc_omp_sched_kind sched_kind;
1018 struct gfc_expr *chunk_size;
1019 enum gfc_omp_default_sharing default_sharing;
1021 bool nowait, ordered, untied;
1025 #define gfc_get_omp_clauses() XCNEW (gfc_omp_clauses)
1028 /* The gfc_st_label structure is a BBT attached to a namespace that
1029 records the usage of statement labels within that space. */
1031 typedef struct gfc_st_label
1033 BBT_HEADER(gfc_st_label);
1037 gfc_sl_type defined, referenced;
1039 struct gfc_expr *format;
1048 /* gfc_interface()-- Interfaces are lists of symbols strung together. */
1049 typedef struct gfc_interface
1051 struct gfc_symbol *sym;
1053 struct gfc_interface *next;
1057 #define gfc_get_interface() XCNEW (gfc_interface)
1059 /* User operator nodes. These are like stripped down symbols. */
1065 struct gfc_namespace *ns;
1071 /* A list of specific bindings that are associated with a generic spec. */
1072 typedef struct gfc_tbp_generic
1074 /* The parser sets specific_st, upon resolution we look for the corresponding
1075 gfc_typebound_proc and set specific for further use. */
1076 struct gfc_symtree* specific_st;
1077 struct gfc_typebound_proc* specific;
1079 struct gfc_tbp_generic* next;
1083 #define gfc_get_tbp_generic() XCNEW (gfc_tbp_generic)
1086 /* Data needed for type-bound procedures. */
1087 typedef struct gfc_typebound_proc
1089 locus where; /* Where the PROCEDURE/GENERIC definition was. */
1093 struct gfc_symtree* specific; /* The interface if DEFERRED. */
1094 gfc_tbp_generic* generic;
1099 const char* pass_arg; /* Argument-name for PASS. NULL if not specified. */
1101 /* The overridden type-bound proc (or GENERIC with this name in the
1102 parent-type) or NULL if non. */
1103 struct gfc_typebound_proc* overridden;
1105 /* Once resolved, we use the position of pass_arg in the formal arglist of
1106 the binding-target procedure to identify it. The first argument has
1107 number 1 here, the second 2, and so on. */
1108 unsigned pass_arg_num;
1110 unsigned nopass:1; /* Whether we have NOPASS (PASS otherwise). */
1111 unsigned non_overridable:1;
1112 unsigned deferred:1;
1113 unsigned is_generic:1;
1114 unsigned function:1, subroutine:1;
1115 unsigned error:1; /* Ignore it, when an error occurred during resolution. */
1121 /* Symbol nodes. These are important things. They are what the
1122 standard refers to as "entities". The possibly multiple names that
1123 refer to the same entity are accomplished by a binary tree of
1124 symtree structures that is balanced by the red-black method-- more
1125 than one symtree node can point to any given symbol. */
1127 typedef struct gfc_symbol
1129 const char *name; /* Primary name, before renaming */
1130 const char *module; /* Module this symbol came from */
1134 symbol_attribute attr;
1136 /* The formal member points to the formal argument list if the
1137 symbol is a function or subroutine name. If the symbol is a
1138 generic name, the generic member points to the list of
1141 gfc_interface *generic;
1142 gfc_access component_access;
1144 gfc_formal_arglist *formal;
1145 struct gfc_namespace *formal_ns;
1146 struct gfc_namespace *f2k_derived;
1148 struct gfc_expr *value; /* Parameter/Initializer value */
1150 struct gfc_symbol *result; /* function result symbol */
1151 gfc_component *components; /* Derived type components */
1153 /* Defined only for Cray pointees; points to their pointer. */
1154 struct gfc_symbol *cp_pointer;
1156 int entry_id; /* Used in resolve.c for entries. */
1158 /* CLASS hashed name for declared and dynamic types in the class. */
1161 struct gfc_symbol *common_next; /* Links for COMMON syms */
1163 /* This is in fact a gfc_common_head but it is only used for pointer
1164 comparisons to check if symbols are in the same common block. */
1165 struct gfc_common_head* common_head;
1167 /* Make sure setup code for dummy arguments is generated in the correct
1171 gfc_namelist *namelist, *namelist_tail;
1173 /* Change management fields. Symbols that might be modified by the
1174 current statement have the mark member nonzero and are kept in a
1175 singly linked list through the tlink field. Of these symbols,
1176 symbols with old_symbol equal to NULL are symbols created within
1177 the current statement. Otherwise, old_symbol points to a copy of
1180 struct gfc_symbol *old_symbol, *tlink;
1181 unsigned mark:1, gfc_new:1;
1182 /* Nonzero if all equivalences associated with this symbol have been
1184 unsigned equiv_built:1;
1185 /* Set if this variable is used as an index name in a FORALL. */
1186 unsigned forall_index:1;
1188 struct gfc_namespace *ns; /* namespace containing this symbol */
1192 /* Identity of the intrinsic module the symbol comes from, or
1193 INTMOD_NONE if it's not imported from a intrinsic module. */
1194 intmod_id from_intmod;
1195 /* Identity of the symbol from intrinsic modules, from enums maintained
1196 separately by each intrinsic module. Used together with from_intmod,
1197 it uniquely identifies a symbol from an intrinsic module. */
1200 /* This may be repetitive, since the typespec now has a binding
1202 char binding_label[GFC_MAX_BINDING_LABEL_LEN + 1];
1203 /* Store a reference to the common_block, if this symbol is in one. */
1204 struct gfc_common_head *common_block;
1209 /* This structure is used to keep track of symbols in common blocks. */
1210 typedef struct gfc_common_head
1213 char use_assoc, saved, threadprivate;
1214 char name[GFC_MAX_SYMBOL_LEN + 1];
1215 struct gfc_symbol *head;
1216 char binding_label[GFC_MAX_BINDING_LABEL_LEN + 1];
1221 #define gfc_get_common_head() XCNEW (gfc_common_head)
1224 /* A list of all the alternate entry points for a procedure. */
1226 typedef struct gfc_entry_list
1228 /* The symbol for this entry point. */
1230 /* The zero-based id of this entry point. */
1232 /* The LABEL_EXPR marking this entry point. */
1234 /* The next item in the list. */
1235 struct gfc_entry_list *next;
1239 #define gfc_get_entry_list() \
1240 (gfc_entry_list *) gfc_getmem(sizeof(gfc_entry_list))
1242 /* Lists of rename info for the USE statement. */
1244 typedef struct gfc_use_rename
1246 char local_name[GFC_MAX_SYMBOL_LEN + 1], use_name[GFC_MAX_SYMBOL_LEN + 1];
1247 struct gfc_use_rename *next;
1249 gfc_intrinsic_op op;
1254 #define gfc_get_use_rename() XCNEW (gfc_use_rename);
1256 /* A list of all USE statements in a namespace. */
1258 typedef struct gfc_use_list
1260 const char *module_name;
1262 struct gfc_use_rename *rename;
1264 /* Next USE statement. */
1265 struct gfc_use_list *next;
1269 #define gfc_get_use_list() \
1270 (gfc_use_list *) gfc_getmem(sizeof(gfc_use_list))
1272 /* Within a namespace, symbols are pointed to by symtree nodes that
1273 are linked together in a balanced binary tree. There can be
1274 several symtrees pointing to the same symbol node via USE
1277 typedef struct gfc_symtree
1279 BBT_HEADER (gfc_symtree);
1284 gfc_symbol *sym; /* Symbol associated with this node */
1286 gfc_common_head *common;
1287 gfc_typebound_proc *tb;
1293 /* A linked list of derived types in the namespace. */
1294 typedef struct gfc_dt_list
1296 struct gfc_symbol *derived;
1297 struct gfc_dt_list *next;
1301 #define gfc_get_dt_list() XCNEW (gfc_dt_list)
1303 /* A list of all derived types. */
1304 extern gfc_dt_list *gfc_derived_types;
1306 /* A namespace describes the contents of procedure, module, interface block
1307 or BLOCK construct. */
1308 /* ??? Anything else use these? */
1310 typedef struct gfc_namespace
1312 /* Tree containing all the symbols in this namespace. */
1313 gfc_symtree *sym_root;
1314 /* Tree containing all the user-defined operators in the namespace. */
1315 gfc_symtree *uop_root;
1316 /* Tree containing all the common blocks. */
1317 gfc_symtree *common_root;
1319 /* Tree containing type-bound procedures. */
1320 gfc_symtree *tb_sym_root;
1321 /* Type-bound user operators. */
1322 gfc_symtree *tb_uop_root;
1323 /* For derived-types, store type-bound intrinsic operators here. */
1324 gfc_typebound_proc *tb_op[GFC_INTRINSIC_OPS];
1325 /* Linked list of finalizer procedures. */
1326 struct gfc_finalizer *finalizers;
1328 /* If set_flag[letter] is set, an implicit type has been set for letter. */
1329 int set_flag[GFC_LETTERS];
1330 /* Keeps track of the implicit types associated with the letters. */
1331 gfc_typespec default_type[GFC_LETTERS];
1332 /* Store the positions of IMPLICIT statements. */
1333 locus implicit_loc[GFC_LETTERS];
1335 /* If this is a namespace of a procedure, this points to the procedure. */
1336 struct gfc_symbol *proc_name;
1337 /* If this is the namespace of a unit which contains executable
1338 code, this points to it. */
1339 struct gfc_code *code;
1341 /* Points to the equivalences set up in this namespace. */
1342 struct gfc_equiv *equiv;
1344 /* Points to the equivalence groups produced by trans_common. */
1345 struct gfc_equiv_list *equiv_lists;
1347 gfc_interface *op[GFC_INTRINSIC_OPS];
1349 /* Points to the parent namespace, i.e. the namespace of a module or
1350 procedure in which the procedure belonging to this namespace is
1351 contained. The parent namespace points to this namespace either
1352 directly via CONTAINED, or indirectly via the chain built by
1354 struct gfc_namespace *parent;
1355 /* CONTAINED points to the first contained namespace. Sibling
1356 namespaces are chained via SIBLING. */
1357 struct gfc_namespace *contained, *sibling;
1359 gfc_common_head blank_common;
1360 gfc_access default_access, operator_access[GFC_INTRINSIC_OPS];
1362 gfc_st_label *st_labels;
1363 /* This list holds information about all the data initializers in
1365 struct gfc_data *data;
1367 gfc_charlen *cl_list, *old_cl_list;
1369 gfc_dt_list *derived_types;
1371 int save_all, seen_save, seen_implicit_none;
1373 /* Normally we don't need to refcount namespaces. However when we read
1374 a module containing a function with multiple entry points, this
1375 will appear as several functions with the same formal namespace. */
1378 /* A list of all alternate entry points to this procedure (or NULL). */
1379 gfc_entry_list *entries;
1381 /* A list of USE statements in this namespace. */
1382 gfc_use_list *use_stmts;
1384 /* Set to 1 if namespace is a BLOCK DATA program unit. */
1385 unsigned is_block_data:1;
1387 /* Set to 1 if namespace is an interface body with "IMPORT" used. */
1388 unsigned has_import_set:1;
1390 /* Set to 1 if resolved has been called for this namespace.
1391 Holds -1 during resolution. */
1394 /* Set to 1 if code has been generated for this namespace. */
1395 unsigned translated:1;
1397 /* Set to 1 if symbols in this namespace should be 'construct entities',
1398 i.e. for BLOCK local variables. */
1399 unsigned construct_entities:1;
1403 extern gfc_namespace *gfc_current_ns;
1404 extern gfc_namespace *gfc_global_ns_list;
1406 /* Global symbols are symbols of global scope. Currently we only use
1407 this to detect collisions already when parsing.
1408 TODO: Extend to verify procedure calls. */
1410 enum gfc_symbol_type
1412 GSYM_UNKNOWN=1, GSYM_PROGRAM, GSYM_FUNCTION, GSYM_SUBROUTINE,
1413 GSYM_MODULE, GSYM_COMMON, GSYM_BLOCK_DATA
1416 typedef struct gfc_gsymbol
1418 BBT_HEADER(gfc_gsymbol);
1421 const char *sym_name;
1422 const char *mod_name;
1423 const char *binding_label;
1424 enum gfc_symbol_type type;
1432 extern gfc_gsymbol *gfc_gsym_root;
1434 /* Information on interfaces being built. */
1437 interface_type type;
1441 gfc_intrinsic_op op;
1445 extern gfc_interface_info current_interface;
1448 /* Array reference. */
1450 enum gfc_array_ref_dimen_type
1452 DIMEN_ELEMENT = 1, DIMEN_RANGE, DIMEN_VECTOR, DIMEN_STAR, DIMEN_UNKNOWN
1455 typedef struct gfc_array_ref
1458 int dimen; /* # of components in the reference */
1460 bool in_allocate; /* For coarray checks. */
1464 locus c_where[GFC_MAX_DIMENSIONS]; /* All expressions can be NULL */
1465 struct gfc_expr *start[GFC_MAX_DIMENSIONS], *end[GFC_MAX_DIMENSIONS],
1466 *stride[GFC_MAX_DIMENSIONS];
1468 enum gfc_array_ref_dimen_type dimen_type[GFC_MAX_DIMENSIONS];
1470 struct gfc_expr *offset;
1474 #define gfc_get_array_ref() XCNEW (gfc_array_ref)
1477 /* Component reference nodes. A variable is stored as an expression
1478 node that points to the base symbol. After that, a singly linked
1479 list of component reference nodes gives the variable's complete
1480 resolution. The array_ref component may be present and comes
1481 before the component component. */
1484 { REF_ARRAY, REF_COMPONENT, REF_SUBSTRING }
1487 typedef struct gfc_ref
1493 struct gfc_array_ref ar;
1497 gfc_component *component;
1504 struct gfc_expr *start, *end; /* Substring */
1505 gfc_charlen *length;
1512 struct gfc_ref *next;
1516 #define gfc_get_ref() XCNEW (gfc_ref)
1519 /* Structures representing intrinsic symbols and their arguments lists. */
1520 typedef struct gfc_intrinsic_arg
1522 char name[GFC_MAX_SYMBOL_LEN + 1];
1526 ENUM_BITFIELD (sym_intent) intent:2;
1527 gfc_actual_arglist *actual;
1529 struct gfc_intrinsic_arg *next;
1535 /* Specifies the various kinds of check functions used to verify the
1536 argument lists of intrinsic functions. fX with X an integer refer
1537 to check functions of intrinsics with X arguments. f1m is used for
1538 the MAX and MIN intrinsics which can have an arbitrary number of
1539 arguments, f3ml is used for the MINLOC and MAXLOC intrinsics as
1540 these have special semantics. */
1544 gfc_try (*f0)(void);
1545 gfc_try (*f1)(struct gfc_expr *);
1546 gfc_try (*f1m)(gfc_actual_arglist *);
1547 gfc_try (*f2)(struct gfc_expr *, struct gfc_expr *);
1548 gfc_try (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1549 gfc_try (*f3ml)(gfc_actual_arglist *);
1550 gfc_try (*f3red)(gfc_actual_arglist *);
1551 gfc_try (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1553 gfc_try (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1554 struct gfc_expr *, struct gfc_expr *);
1558 /* Like gfc_check_f, these specify the type of the simplification
1559 function associated with an intrinsic. The fX are just like in
1560 gfc_check_f. cc is used for type conversion functions. */
1564 struct gfc_expr *(*f0)(void);
1565 struct gfc_expr *(*f1)(struct gfc_expr *);
1566 struct gfc_expr *(*f2)(struct gfc_expr *, struct gfc_expr *);
1567 struct gfc_expr *(*f3)(struct gfc_expr *, struct gfc_expr *,
1569 struct gfc_expr *(*f4)(struct gfc_expr *, struct gfc_expr *,
1570 struct gfc_expr *, struct gfc_expr *);
1571 struct gfc_expr *(*f5)(struct gfc_expr *, struct gfc_expr *,
1572 struct gfc_expr *, struct gfc_expr *,
1574 struct gfc_expr *(*cc)(struct gfc_expr *, bt, int);
1578 /* Again like gfc_check_f, these specify the type of the resolution
1579 function associated with an intrinsic. The fX are just like in
1580 gfc_check_f. f1m is used for MIN and MAX, s1 is used for abort(). */
1584 void (*f0)(struct gfc_expr *);
1585 void (*f1)(struct gfc_expr *, struct gfc_expr *);
1586 void (*f1m)(struct gfc_expr *, struct gfc_actual_arglist *);
1587 void (*f2)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1588 void (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1590 void (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1591 struct gfc_expr *, struct gfc_expr *);
1592 void (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1593 struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1594 void (*s1)(struct gfc_code *);
1599 typedef struct gfc_intrinsic_sym
1601 const char *name, *lib_name;
1602 gfc_intrinsic_arg *formal;
1604 unsigned elemental:1, inquiry:1, transformational:1, pure:1,
1605 generic:1, specific:1, actual_ok:1, noreturn:1, conversion:1;
1609 gfc_simplify_f simplify;
1611 gfc_resolve_f resolve;
1612 struct gfc_intrinsic_sym *specific_head, *next;
1619 /* Expression nodes. The expression node types deserve explanations,
1620 since the last couple can be easily misconstrued:
1622 EXPR_OP Operator node pointing to one or two other nodes
1623 EXPR_FUNCTION Function call, symbol points to function's name
1624 EXPR_CONSTANT A scalar constant: Logical, String, Real, Int or Complex
1625 EXPR_VARIABLE An Lvalue with a root symbol and possible reference list
1626 which expresses structure, array and substring refs.
1627 EXPR_NULL The NULL pointer value (which also has a basic type).
1628 EXPR_SUBSTRING A substring of a constant string
1629 EXPR_STRUCTURE A structure constructor
1630 EXPR_ARRAY An array constructor.
1631 EXPR_COMPCALL Function (or subroutine) call of a procedure pointer
1632 component or type-bound procedure. */
1637 #define GFC_RND_MODE GMP_RNDN
1638 #define GFC_MPC_RND_MODE MPC_RNDNN
1640 typedef splay_tree gfc_constructor_base;
1642 typedef struct gfc_expr
1646 gfc_typespec ts; /* These two refer to the overall expression */
1649 mpz_t *shape; /* Can be NULL if shape is unknown at compile time */
1651 /* Nonnull for functions and structure constructors, may also used to hold the
1652 base-object for component calls. */
1653 gfc_symtree *symtree;
1659 /* True if the expression is a call to a function that returns an array,
1660 and if we have decided not to allocate temporary data for that array.
1661 is_boz is true if the integer is regarded as BOZ bitpatten and is_snan
1662 denotes a signalling not-a-number. */
1663 unsigned int inline_noncopying_intrinsic : 1, is_boz : 1, is_snan : 1;
1665 /* Sometimes, when an error has been emitted, it is necessary to prevent
1666 it from recurring. */
1667 unsigned int error : 1;
1669 /* Mark and expression where a user operator has been substituted by
1670 a function call in interface.c(gfc_extend_expr). */
1671 unsigned int user_operator : 1;
1673 /* If an expression comes from a Hollerith constant or compile-time
1674 evaluation of a transfer statement, it may have a prescribed target-
1675 memory representation, and these cannot always be backformed from
1698 gfc_intrinsic_op op;
1700 struct gfc_expr *op1, *op2;
1706 gfc_actual_arglist *actual;
1707 const char *name; /* Points to the ultimate name of the function */
1708 gfc_intrinsic_sym *isym;
1715 gfc_actual_arglist* actual;
1717 /* Base-object, whose component was called. NULL means that it should
1718 be taken from symtree/ref. */
1719 struct gfc_expr* base_object;
1720 gfc_typebound_proc* tbp; /* Should overlap with esym. */
1722 /* For type-bound operators, we want to call PASS procedures but already
1723 have the full arglist; mark this, so that it is not extended by the
1725 unsigned ignore_pass:1;
1727 /* Do assign-calls rather than calls, that is appropriate dependency
1740 gfc_constructor_base constructor;
1748 #define gfc_get_shape(rank) ((mpz_t *) gfc_getmem((rank)*sizeof(mpz_t)))
1750 /* Structures for information associated with different kinds of
1751 numbers. The first set of integer parameters define all there is
1752 to know about a particular kind. The rest of the elements are
1753 computed from the first elements. */
1757 /* Values really representable by the target. */
1758 mpz_t huge, pedantic_min_int, min_int;
1760 int kind, radix, digits, bit_size, range;
1762 /* True if the C type of the given name maps to this precision.
1763 Note that more than one bit can be set. */
1764 unsigned int c_char : 1;
1765 unsigned int c_short : 1;
1766 unsigned int c_int : 1;
1767 unsigned int c_long : 1;
1768 unsigned int c_long_long : 1;
1772 extern gfc_integer_info gfc_integer_kinds[];
1779 /* True if the C++ type bool, C99 type _Bool, maps to this precision. */
1780 unsigned int c_bool : 1;
1784 extern gfc_logical_info gfc_logical_kinds[];
1789 mpfr_t epsilon, huge, tiny, subnormal;
1790 int kind, radix, digits, min_exponent, max_exponent;
1791 int range, precision;
1793 /* The precision of the type as reported by GET_MODE_PRECISION. */
1796 /* True if the C type of the given name maps to this precision.
1797 Note that more than one bit can be set. */
1798 unsigned int c_float : 1;
1799 unsigned int c_double : 1;
1800 unsigned int c_long_double : 1;
1804 extern gfc_real_info gfc_real_kinds[];
1813 extern gfc_character_info gfc_character_kinds[];
1816 /* Equivalence structures. Equivalent lvalues are linked along the
1817 *eq pointer, equivalence sets are strung along the *next node. */
1818 typedef struct gfc_equiv
1820 struct gfc_equiv *next, *eq;
1827 #define gfc_get_equiv() XCNEW (gfc_equiv)
1829 /* Holds a single equivalence member after processing. */
1830 typedef struct gfc_equiv_info
1833 HOST_WIDE_INT offset;
1834 HOST_WIDE_INT length;
1835 struct gfc_equiv_info *next;
1838 /* Holds equivalence groups, after they have been processed. */
1839 typedef struct gfc_equiv_list
1841 gfc_equiv_info *equiv;
1842 struct gfc_equiv_list *next;
1845 /* gfc_case stores the selector list of a case statement. The *low
1846 and *high pointers can point to the same expression in the case of
1847 a single value. If *high is NULL, the selection is from *low
1848 upwards, if *low is NULL the selection is *high downwards.
1850 This structure has separate fields to allow single and double linked
1851 lists of CASEs at the same time. The singe linked list along the NEXT
1852 field is a list of cases for a single CASE label. The double linked
1853 list along the LEFT/RIGHT fields is used to detect overlap and to
1854 build a table of the cases for SELECT constructs with a CHARACTER
1857 typedef struct gfc_case
1859 /* Where we saw this case. */
1863 /* Case range values. If (low == high), it's a single value. If one of
1864 the labels is NULL, it's an unbounded case. If both are NULL, this
1865 represents the default case. */
1866 gfc_expr *low, *high;
1868 /* Only used for SELECT TYPE. */
1871 /* Next case label in the list of cases for a single CASE label. */
1872 struct gfc_case *next;
1874 /* Used for detecting overlap, and for code generation. */
1875 struct gfc_case *left, *right;
1877 /* True if this case label can never be matched. */
1882 #define gfc_get_case() XCNEW (gfc_case)
1887 gfc_expr *var, *start, *end, *step;
1891 #define gfc_get_iterator() XCNEW (gfc_iterator)
1894 /* Allocation structure for ALLOCATE, DEALLOCATE and NULLIFY statements. */
1896 typedef struct gfc_alloc
1899 struct gfc_alloc *next;
1903 #define gfc_get_alloc() XCNEW (gfc_alloc)
1908 gfc_expr *unit, *file, *status, *access, *form, *recl,
1909 *blank, *position, *action, *delim, *pad, *iostat, *iomsg, *convert,
1910 *decimal, *encoding, *round, *sign, *asynchronous, *id, *newunit;
1918 gfc_expr *unit, *status, *iostat, *iomsg;
1926 gfc_expr *unit, *iostat, *iomsg;
1934 gfc_expr *unit, *file, *iostat, *exist, *opened, *number, *named,
1935 *name, *access, *sequential, *direct, *form, *formatted,
1936 *unformatted, *recl, *nextrec, *blank, *position, *action, *read,
1937 *write, *readwrite, *delim, *pad, *iolength, *iomsg, *convert, *strm_pos,
1938 *asynchronous, *decimal, *encoding, *pending, *round, *sign, *size, *id;
1948 gfc_expr *unit, *iostat, *iomsg, *id;
1949 gfc_st_label *err, *end, *eor;
1956 gfc_expr *io_unit, *format_expr, *rec, *advance, *iostat, *size, *iomsg,
1957 *id, *pos, *asynchronous, *blank, *decimal, *delim, *pad, *round,
1958 *sign, *extra_comma;
1960 gfc_symbol *namelist;
1961 /* A format_label of `format_asterisk' indicates the "*" format */
1962 gfc_st_label *format_label;
1963 gfc_st_label *err, *end, *eor;
1965 locus eor_where, end_where, err_where;
1970 typedef struct gfc_forall_iterator
1972 gfc_expr *var, *start, *end, *stride;
1973 struct gfc_forall_iterator *next;
1975 gfc_forall_iterator;
1978 /* Executable statements that fill gfc_code structures. */
1981 EXEC_NOP = 1, EXEC_END_BLOCK, EXEC_ASSIGN, EXEC_LABEL_ASSIGN,
1982 EXEC_POINTER_ASSIGN, EXEC_CRITICAL, EXEC_ERROR_STOP,
1983 EXEC_GOTO, EXEC_CALL, EXEC_COMPCALL, EXEC_ASSIGN_CALL, EXEC_RETURN,
1984 EXEC_ENTRY, EXEC_PAUSE, EXEC_STOP, EXEC_CONTINUE, EXEC_INIT_ASSIGN,
1985 EXEC_IF, EXEC_ARITHMETIC_IF, EXEC_DO, EXEC_DO_WHILE, EXEC_SELECT, EXEC_BLOCK,
1986 EXEC_FORALL, EXEC_WHERE, EXEC_CYCLE, EXEC_EXIT, EXEC_CALL_PPC,
1987 EXEC_ALLOCATE, EXEC_DEALLOCATE, EXEC_END_PROCEDURE, EXEC_SELECT_TYPE,
1988 EXEC_SYNC_ALL, EXEC_SYNC_MEMORY, EXEC_SYNC_IMAGES,
1989 EXEC_OPEN, EXEC_CLOSE, EXEC_WAIT,
1990 EXEC_READ, EXEC_WRITE, EXEC_IOLENGTH, EXEC_TRANSFER, EXEC_DT_END,
1991 EXEC_BACKSPACE, EXEC_ENDFILE, EXEC_INQUIRE, EXEC_REWIND, EXEC_FLUSH,
1992 EXEC_OMP_CRITICAL, EXEC_OMP_DO, EXEC_OMP_FLUSH, EXEC_OMP_MASTER,
1993 EXEC_OMP_ORDERED, EXEC_OMP_PARALLEL, EXEC_OMP_PARALLEL_DO,
1994 EXEC_OMP_PARALLEL_SECTIONS, EXEC_OMP_PARALLEL_WORKSHARE,
1995 EXEC_OMP_SECTIONS, EXEC_OMP_SINGLE, EXEC_OMP_WORKSHARE,
1996 EXEC_OMP_ATOMIC, EXEC_OMP_BARRIER, EXEC_OMP_END_NOWAIT,
1997 EXEC_OMP_END_SINGLE, EXEC_OMP_TASK, EXEC_OMP_TASKWAIT
2001 typedef struct gfc_code
2005 struct gfc_code *block, *next;
2008 gfc_st_label *here, *label1, *label2, *label3;
2009 gfc_symtree *symtree;
2010 gfc_expr *expr1, *expr2, *expr3;
2011 /* A name isn't sufficient to identify a subroutine, we need the actual
2012 symbol for the interface definition.
2013 const char *sub_name; */
2014 gfc_symbol *resolved_sym;
2015 gfc_intrinsic_sym *resolved_isym;
2019 gfc_actual_arglist *actual;
2020 gfc_case *case_list;
2021 gfc_iterator *iterator;
2032 gfc_filepos *filepos;
2033 gfc_inquire *inquire;
2036 gfc_forall_iterator *forall_iterator;
2037 struct gfc_code *whichloop;
2039 gfc_entry_list *entry;
2040 gfc_omp_clauses *omp_clauses;
2041 const char *omp_name;
2042 gfc_namelist *omp_namelist;
2046 ext; /* Points to additional structures required by statement */
2048 /* Backend_decl is used for cycle and break labels in do loops, and
2049 probably for other constructs as well, once we translate them. */
2055 /* Storage for DATA statements. */
2056 typedef struct gfc_data_variable
2060 struct gfc_data_variable *list, *next;
2065 typedef struct gfc_data_value
2069 struct gfc_data_value *next;
2074 typedef struct gfc_data
2076 gfc_data_variable *var;
2077 gfc_data_value *value;
2080 struct gfc_data *next;
2085 /* Structure for holding compile options */
2089 gfc_source_form source_form;
2090 /* Maximum line lengths in fixed- and free-form source, respectively.
2091 When fixed_line_length or free_line_length are 0, the whole line is used,
2092 regardless of length.
2094 If the user requests a fixed_line_length <7 then gfc_init_options()
2095 emits a fatal error. */
2096 int fixed_line_length;
2097 int free_line_length;
2098 /* Maximum number of continuation lines in fixed- and free-form source,
2100 int max_continue_fixed;
2101 int max_continue_free;
2102 int max_identifier_length;
2103 int dump_parse_tree;
2107 int warn_conversion;
2108 int warn_implicit_interface;
2109 int warn_implicit_procedure;
2110 int warn_line_truncation;
2111 int warn_surprising;
2114 int warn_intrinsic_shadow;
2115 int warn_intrinsics_std;
2116 int warn_character_truncation;
2117 int warn_array_temp;
2118 int warn_align_commons;
2121 int flag_all_intrinsics;
2122 int flag_default_double;
2123 int flag_default_integer;
2124 int flag_default_real;
2126 int flag_underscoring;
2127 int flag_second_underscore;
2128 int flag_implicit_none;
2129 int flag_max_stack_var_size;
2130 int flag_max_array_constructor;
2131 int flag_range_check;
2132 int flag_pack_derived;
2133 int flag_repack_arrays;
2134 int flag_preprocessed;
2139 int flag_allow_leading_underscore;
2141 int flag_external_blas;
2142 int blas_matmul_limit;
2143 int flag_cray_pointer;
2147 int flag_module_private;
2149 int flag_init_local_zero;
2150 int flag_init_integer;
2151 int flag_init_integer_value;
2153 int flag_init_logical;
2154 int flag_init_character;
2155 char flag_init_character_value;
2156 int flag_align_commons;
2157 int flag_whole_file;
2158 int flag_protect_parens;
2162 gfc_fcoarray coarray;
2168 int max_subrecord_length;
2172 extern gfc_option_t gfc_option;
2174 /* Constructor nodes for array and structure constructors. */
2175 typedef struct gfc_constructor
2177 gfc_constructor_base base;
2178 mpz_t offset; /* Offset within a constructor, used as
2182 gfc_iterator *iterator;
2187 gfc_component *component; /* Record the component being initialized. */
2190 mpz_t repeat; /* Record the repeat number of initial values in data
2191 statement like "data a/5*10/". */
2196 typedef struct iterator_stack
2198 gfc_symtree *variable;
2200 struct iterator_stack *prev;
2203 extern iterator_stack *iter_stack;
2206 /* Used for (possibly nested) SELECT TYPE statements. */
2207 typedef struct gfc_select_type_stack
2209 gfc_symbol *selector; /* Current selector variable. */
2210 gfc_symtree *tmp; /* Current temporary variable. */
2211 struct gfc_select_type_stack *prev; /* Previous element on stack. */
2213 gfc_select_type_stack;
2214 extern gfc_select_type_stack *select_type_stack;
2215 #define gfc_get_select_type_stack() XCNEW (gfc_select_type_stack)
2218 /* Node in the linked list used for storing finalizer procedures. */
2220 typedef struct gfc_finalizer
2222 struct gfc_finalizer* next;
2223 locus where; /* Where the FINAL declaration occurred. */
2225 /* Up to resolution, we want the gfc_symbol, there we lookup the corresponding
2226 symtree and later need only that. This way, we can access and call the
2227 finalizers from every context as they should be "always accessible". I
2228 don't make this a union because we need the information whether proc_sym is
2229 still referenced or not for dereferencing it on deleting a gfc_finalizer
2231 gfc_symbol* proc_sym;
2232 gfc_symtree* proc_tree;
2235 #define gfc_get_finalizer() XCNEW (gfc_finalizer)
2238 /************************ Function prototypes *************************/
2241 bool gfc_in_match_data (void);
2242 match gfc_match_char_spec (gfc_typespec *);
2245 void gfc_scanner_done_1 (void);
2246 void gfc_scanner_init_1 (void);
2248 void gfc_add_include_path (const char *, bool, bool);
2249 void gfc_add_intrinsic_modules_path (const char *);
2250 void gfc_release_include_path (void);
2251 FILE *gfc_open_included_file (const char *, bool, bool);
2252 FILE *gfc_open_intrinsic_module (const char *);
2254 int gfc_at_end (void);
2255 int gfc_at_eof (void);
2256 int gfc_at_bol (void);
2257 int gfc_at_eol (void);
2258 void gfc_advance_line (void);
2259 int gfc_check_include (void);
2260 int gfc_define_undef_line (void);
2262 int gfc_wide_is_printable (gfc_char_t);
2263 int gfc_wide_is_digit (gfc_char_t);
2264 int gfc_wide_fits_in_byte (gfc_char_t);
2265 gfc_char_t gfc_wide_tolower (gfc_char_t);
2266 gfc_char_t gfc_wide_toupper (gfc_char_t);
2267 size_t gfc_wide_strlen (const gfc_char_t *);
2268 int gfc_wide_strncasecmp (const gfc_char_t *, const char *, size_t);
2269 gfc_char_t *gfc_wide_memset (gfc_char_t *, gfc_char_t, size_t);
2270 char *gfc_widechar_to_char (const gfc_char_t *, int);
2271 gfc_char_t *gfc_char_to_widechar (const char *);
2273 #define gfc_get_wide_string(n) XCNEWVEC (gfc_char_t, n)
2275 void gfc_skip_comments (void);
2276 gfc_char_t gfc_next_char_literal (int);
2277 gfc_char_t gfc_next_char (void);
2278 char gfc_next_ascii_char (void);
2279 gfc_char_t gfc_peek_char (void);
2280 char gfc_peek_ascii_char (void);
2281 void gfc_error_recovery (void);
2282 void gfc_gobble_whitespace (void);
2283 gfc_try gfc_new_file (void);
2284 const char * gfc_read_orig_filename (const char *, const char **);
2286 extern gfc_source_form gfc_current_form;
2287 extern const char *gfc_source_file;
2288 extern locus gfc_current_locus;
2290 void gfc_start_source_files (void);
2291 void gfc_end_source_files (void);
2294 void *gfc_getmem (size_t) ATTRIBUTE_MALLOC;
2295 void gfc_free (void *);
2296 int gfc_terminal_width (void);
2297 void gfc_clear_ts (gfc_typespec *);
2298 FILE *gfc_open_file (const char *);
2299 const char *gfc_basic_typename (bt);
2300 const char *gfc_typename (gfc_typespec *);
2301 const char *gfc_op2string (gfc_intrinsic_op);
2302 const char *gfc_code2string (const mstring *, int);
2303 int gfc_string2code (const mstring *, const char *);
2304 const char *gfc_intent_string (sym_intent);
2306 void gfc_init_1 (void);
2307 void gfc_init_2 (void);
2308 void gfc_done_1 (void);
2309 void gfc_done_2 (void);
2311 int get_c_kind (const char *, CInteropKind_t *);
2314 unsigned int gfc_init_options (unsigned int, const char **);
2315 int gfc_handle_option (size_t, const char *, int);
2316 bool gfc_post_options (const char **);
2319 void gfc_maybe_initialize_eh (void);
2322 const char * gfc_get_string (const char *, ...) ATTRIBUTE_PRINTF_1;
2323 bool gfc_find_sym_in_expr (gfc_symbol *, gfc_expr *);
2327 typedef struct gfc_error_buf
2330 size_t allocated, index;
2334 void gfc_error_init_1 (void);
2335 void gfc_buffer_error (int);
2337 const char *gfc_print_wide_char (gfc_char_t);
2339 void gfc_warning (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2340 void gfc_warning_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2341 void gfc_clear_warning (void);
2342 void gfc_warning_check (void);
2344 void gfc_error (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2345 void gfc_error_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2346 void gfc_fatal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2);
2347 void gfc_internal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2);
2348 void gfc_clear_error (void);
2349 int gfc_error_check (void);
2350 int gfc_error_flag_test (void);
2352 notification gfc_notification_std (int);
2353 gfc_try gfc_notify_std (int, const char *, ...) ATTRIBUTE_GCC_GFC(2,3);
2355 /* A general purpose syntax error. */
2356 #define gfc_syntax_error(ST) \
2357 gfc_error ("Syntax error in %s statement at %C", gfc_ascii_statement (ST));
2359 void gfc_push_error (gfc_error_buf *);
2360 void gfc_pop_error (gfc_error_buf *);
2361 void gfc_free_error (gfc_error_buf *);
2363 void gfc_get_errors (int *, int *);
2364 void gfc_errors_to_warnings (int);
2367 void gfc_arith_init_1 (void);
2368 void gfc_arith_done_1 (void);
2369 arith gfc_check_integer_range (mpz_t p, int kind);
2370 bool gfc_check_character_range (gfc_char_t, int);
2373 gfc_try gfc_check_any_c_kind (gfc_typespec *);
2374 int gfc_validate_kind (bt, int, bool);
2375 int gfc_get_int_kind_from_width_isofortranenv (int size);
2376 int gfc_get_real_kind_from_width_isofortranenv (int size);
2377 tree gfc_get_derived_type (gfc_symbol * derived);
2378 extern int gfc_index_integer_kind;
2379 extern int gfc_default_integer_kind;
2380 extern int gfc_max_integer_kind;
2381 extern int gfc_default_real_kind;
2382 extern int gfc_default_double_kind;
2383 extern int gfc_default_character_kind;
2384 extern int gfc_default_logical_kind;
2385 extern int gfc_default_complex_kind;
2386 extern int gfc_c_int_kind;
2387 extern int gfc_intio_kind;
2388 extern int gfc_charlen_int_kind;
2389 extern int gfc_numeric_storage_size;
2390 extern int gfc_character_storage_size;
2393 void gfc_clear_new_implicit (void);
2394 gfc_try gfc_add_new_implicit_range (int, int);
2395 gfc_try gfc_merge_new_implicit (gfc_typespec *);
2396 void gfc_set_implicit_none (void);
2397 void gfc_check_function_type (gfc_namespace *);
2398 bool gfc_is_intrinsic_typename (const char *);
2400 gfc_typespec *gfc_get_default_type (const char *, gfc_namespace *);
2401 gfc_try gfc_set_default_type (gfc_symbol *, int, gfc_namespace *);
2403 void gfc_set_sym_referenced (gfc_symbol *);
2405 gfc_try gfc_add_attribute (symbol_attribute *, locus *);
2406 gfc_try gfc_add_ext_attribute (symbol_attribute *, ext_attr_id_t, locus *);
2407 gfc_try gfc_add_allocatable (symbol_attribute *, locus *);
2408 gfc_try gfc_add_codimension (symbol_attribute *, const char *, locus *);
2409 gfc_try gfc_add_dimension (symbol_attribute *, const char *, locus *);
2410 gfc_try gfc_add_external (symbol_attribute *, locus *);
2411 gfc_try gfc_add_intrinsic (symbol_attribute *, locus *);
2412 gfc_try gfc_add_optional (symbol_attribute *, locus *);
2413 gfc_try gfc_add_pointer (symbol_attribute *, locus *);
2414 gfc_try gfc_add_cray_pointer (symbol_attribute *, locus *);
2415 gfc_try gfc_add_cray_pointee (symbol_attribute *, locus *);
2416 match gfc_mod_pointee_as (gfc_array_spec *);
2417 gfc_try gfc_add_protected (symbol_attribute *, const char *, locus *);
2418 gfc_try gfc_add_result (symbol_attribute *, const char *, locus *);
2419 gfc_try gfc_add_save (symbol_attribute *, const char *, locus *);
2420 gfc_try gfc_add_threadprivate (symbol_attribute *, const char *, locus *);
2421 gfc_try gfc_add_saved_common (symbol_attribute *, locus *);
2422 gfc_try gfc_add_target (symbol_attribute *, locus *);
2423 gfc_try gfc_add_dummy (symbol_attribute *, const char *, locus *);
2424 gfc_try gfc_add_generic (symbol_attribute *, const char *, locus *);
2425 gfc_try gfc_add_common (symbol_attribute *, locus *);
2426 gfc_try gfc_add_in_common (symbol_attribute *, const char *, locus *);
2427 gfc_try gfc_add_in_equivalence (symbol_attribute *, const char *, locus *);
2428 gfc_try gfc_add_data (symbol_attribute *, const char *, locus *);
2429 gfc_try gfc_add_in_namelist (symbol_attribute *, const char *, locus *);
2430 gfc_try gfc_add_sequence (symbol_attribute *, const char *, locus *);
2431 gfc_try gfc_add_elemental (symbol_attribute *, locus *);
2432 gfc_try gfc_add_pure (symbol_attribute *, locus *);
2433 gfc_try gfc_add_recursive (symbol_attribute *, locus *);
2434 gfc_try gfc_add_function (symbol_attribute *, const char *, locus *);
2435 gfc_try gfc_add_subroutine (symbol_attribute *, const char *, locus *);
2436 gfc_try gfc_add_volatile (symbol_attribute *, const char *, locus *);
2437 gfc_try gfc_add_asynchronous (symbol_attribute *, const char *, locus *);
2438 gfc_try gfc_add_proc (symbol_attribute *attr, const char *name, locus *where);
2439 gfc_try gfc_add_abstract (symbol_attribute* attr, locus* where);
2441 gfc_try gfc_add_access (symbol_attribute *, gfc_access, const char *, locus *);
2442 gfc_try gfc_add_is_bind_c (symbol_attribute *, const char *, locus *, int);
2443 gfc_try gfc_add_extension (symbol_attribute *, locus *);
2444 gfc_try gfc_add_value (symbol_attribute *, const char *, locus *);
2445 gfc_try gfc_add_flavor (symbol_attribute *, sym_flavor, const char *, locus *);
2446 gfc_try gfc_add_entry (symbol_attribute *, const char *, locus *);
2447 gfc_try gfc_add_procedure (symbol_attribute *, procedure_type,
2448 const char *, locus *);
2449 gfc_try gfc_add_intent (symbol_attribute *, sym_intent, locus *);
2450 gfc_try gfc_add_explicit_interface (gfc_symbol *, ifsrc,
2451 gfc_formal_arglist *, locus *);
2452 gfc_try gfc_add_type (gfc_symbol *, gfc_typespec *, locus *);
2454 void gfc_clear_attr (symbol_attribute *);
2455 gfc_try gfc_missing_attr (symbol_attribute *, locus *);
2456 gfc_try gfc_copy_attr (symbol_attribute *, symbol_attribute *, locus *);
2458 gfc_try gfc_add_component (gfc_symbol *, const char *, gfc_component **);
2459 gfc_symbol *gfc_use_derived (gfc_symbol *);
2460 gfc_symtree *gfc_use_derived_tree (gfc_symtree *);
2461 gfc_component *gfc_find_component (gfc_symbol *, const char *, bool, bool);
2463 gfc_st_label *gfc_get_st_label (int);
2464 void gfc_free_st_label (gfc_st_label *);
2465 void gfc_define_st_label (gfc_st_label *, gfc_sl_type, locus *);
2466 gfc_try gfc_reference_st_label (gfc_st_label *, gfc_sl_type);
2468 gfc_expr * gfc_lval_expr_from_sym (gfc_symbol *);
2470 gfc_namespace *gfc_get_namespace (gfc_namespace *, int);
2471 gfc_symtree *gfc_new_symtree (gfc_symtree **, const char *);
2472 gfc_symtree *gfc_find_symtree (gfc_symtree *, const char *);
2473 void gfc_delete_symtree (gfc_symtree **, const char *);
2474 gfc_symtree *gfc_get_unique_symtree (gfc_namespace *);
2475 gfc_user_op *gfc_get_uop (const char *);
2476 gfc_user_op *gfc_find_uop (const char *, gfc_namespace *);
2477 void gfc_free_symbol (gfc_symbol *);
2478 gfc_symbol *gfc_new_symbol (const char *, gfc_namespace *);
2479 int gfc_find_symbol (const char *, gfc_namespace *, int, gfc_symbol **);
2480 int gfc_find_sym_tree (const char *, gfc_namespace *, int, gfc_symtree **);
2481 int gfc_get_symbol (const char *, gfc_namespace *, gfc_symbol **);
2482 gfc_try verify_c_interop (gfc_typespec *);
2483 gfc_try verify_c_interop_param (gfc_symbol *);
2484 gfc_try verify_bind_c_sym (gfc_symbol *, gfc_typespec *, int, gfc_common_head *);
2485 gfc_try verify_bind_c_derived_type (gfc_symbol *);
2486 gfc_try verify_com_block_vars_c_interop (gfc_common_head *);
2487 void generate_isocbinding_symbol (const char *, iso_c_binding_symbol, const char *);
2488 gfc_symbol *get_iso_c_sym (gfc_symbol *, char *, char *, int);
2489 int gfc_get_sym_tree (const char *, gfc_namespace *, gfc_symtree **, bool);
2490 int gfc_get_ha_symbol (const char *, gfc_symbol **);
2491 int gfc_get_ha_sym_tree (const char *, gfc_symtree **);
2493 int gfc_symbols_could_alias (gfc_symbol *, gfc_symbol *);
2495 void gfc_undo_symbols (void);
2496 void gfc_commit_symbols (void);
2497 void gfc_commit_symbol (gfc_symbol *);
2498 gfc_charlen *gfc_new_charlen (gfc_namespace *, gfc_charlen *);
2499 void gfc_free_charlen (gfc_charlen *, gfc_charlen *);
2500 void gfc_free_namespace (gfc_namespace *);
2502 void gfc_symbol_init_2 (void);
2503 void gfc_symbol_done_2 (void);
2505 void gfc_traverse_symtree (gfc_symtree *, void (*)(gfc_symtree *));
2506 void gfc_traverse_ns (gfc_namespace *, void (*)(gfc_symbol *));
2507 void gfc_traverse_user_op (gfc_namespace *, void (*)(gfc_user_op *));
2508 void gfc_save_all (gfc_namespace *);
2510 void gfc_symbol_state (void);
2511 void gfc_free_dt_list (void);
2514 gfc_gsymbol *gfc_get_gsymbol (const char *);
2515 gfc_gsymbol *gfc_find_gsymbol (gfc_gsymbol *, const char *);
2517 gfc_try gfc_build_class_symbol (gfc_typespec *, symbol_attribute *,
2518 gfc_array_spec **, bool);
2519 gfc_symbol *gfc_find_derived_vtab (gfc_symbol *, bool);
2520 gfc_typebound_proc* gfc_get_typebound_proc (void);
2521 gfc_symbol* gfc_get_derived_super_type (gfc_symbol*);
2522 gfc_symbol* gfc_get_ultimate_derived_super_type (gfc_symbol*);
2523 bool gfc_type_is_extension_of (gfc_symbol *, gfc_symbol *);
2524 bool gfc_type_compatible (gfc_typespec *, gfc_typespec *);
2525 gfc_symtree* gfc_find_typebound_proc (gfc_symbol*, gfc_try*,
2526 const char*, bool, locus*);
2527 gfc_symtree* gfc_find_typebound_user_op (gfc_symbol*, gfc_try*,
2528 const char*, bool, locus*);
2529 gfc_typebound_proc* gfc_find_typebound_intrinsic_op (gfc_symbol*, gfc_try*,
2530 gfc_intrinsic_op, bool,
2532 gfc_symtree* gfc_get_tbp_symtree (gfc_symtree**, const char*);
2534 void gfc_copy_formal_args (gfc_symbol *, gfc_symbol *);
2535 void gfc_copy_formal_args_intr (gfc_symbol *, gfc_intrinsic_sym *);
2536 void gfc_copy_formal_args_ppc (gfc_component *, gfc_symbol *);
2538 void gfc_free_finalizer (gfc_finalizer *el); /* Needed in resolve.c, too */
2540 gfc_try gfc_check_symbol_typed (gfc_symbol*, gfc_namespace*, bool, locus);
2543 extern int gfc_init_expr;
2545 /* Given a symbol that we have decided is intrinsic, mark it as such
2546 by placing it into a special module that is otherwise impossible to
2549 #define gfc_intrinsic_symbol(SYM) SYM->module = gfc_get_string ("(intrinsic)")
2551 void gfc_intrinsic_init_1 (void);
2552 void gfc_intrinsic_done_1 (void);
2554 char gfc_type_letter (bt);
2555 gfc_symbol * gfc_get_intrinsic_sub_symbol (const char *);
2556 gfc_try gfc_convert_type (gfc_expr *, gfc_typespec *, int);
2557 gfc_try gfc_convert_type_warn (gfc_expr *, gfc_typespec *, int, int);
2558 gfc_try gfc_convert_chartype (gfc_expr *, gfc_typespec *);
2559 int gfc_generic_intrinsic (const char *);
2560 int gfc_specific_intrinsic (const char *);
2561 bool gfc_is_intrinsic (gfc_symbol*, int, locus);
2562 int gfc_intrinsic_actual_ok (const char *, const bool);
2563 gfc_intrinsic_sym *gfc_find_function (const char *);
2564 gfc_intrinsic_sym *gfc_find_subroutine (const char *);
2566 match gfc_intrinsic_func_interface (gfc_expr *, int);
2567 match gfc_intrinsic_sub_interface (gfc_code *, int);
2569 void gfc_warn_intrinsic_shadow (const gfc_symbol*, bool, bool);
2570 gfc_try gfc_check_intrinsic_standard (const gfc_intrinsic_sym*, const char**,
2573 /* match.c -- FIXME */
2574 void gfc_free_iterator (gfc_iterator *, int);
2575 void gfc_free_forall_iterator (gfc_forall_iterator *);
2576 void gfc_free_alloc_list (gfc_alloc *);
2577 void gfc_free_namelist (gfc_namelist *);
2578 void gfc_free_equiv (gfc_equiv *);
2579 void gfc_free_data (gfc_data *);
2580 void gfc_free_case_list (gfc_case *);
2582 /* matchexp.c -- FIXME too? */
2583 gfc_expr *gfc_get_parentheses (gfc_expr *);
2586 void gfc_free_omp_clauses (gfc_omp_clauses *);
2587 void gfc_resolve_omp_directive (gfc_code *, gfc_namespace *);
2588 void gfc_resolve_do_iterator (gfc_code *, gfc_symbol *);
2589 void gfc_resolve_omp_parallel_blocks (gfc_code *, gfc_namespace *);
2590 void gfc_resolve_omp_do_blocks (gfc_code *, gfc_namespace *);
2593 void gfc_free_actual_arglist (gfc_actual_arglist *);
2594 gfc_actual_arglist *gfc_copy_actual_arglist (gfc_actual_arglist *);
2595 const char *gfc_extract_int (gfc_expr *, int *);
2596 bool is_subref_array (gfc_expr *);
2598 void gfc_add_component_ref (gfc_expr *, const char *);
2599 gfc_expr *gfc_build_conversion (gfc_expr *);
2600 void gfc_free_ref_list (gfc_ref *);
2601 void gfc_type_convert_binary (gfc_expr *, int);
2602 int gfc_is_constant_expr (gfc_expr *);
2603 gfc_try gfc_simplify_expr (gfc_expr *, int);
2604 int gfc_has_vector_index (gfc_expr *);
2606 gfc_expr *gfc_get_expr (void);
2607 gfc_expr *gfc_get_array_expr (bt type, int kind, locus *);
2608 gfc_expr *gfc_get_null_expr (locus *);
2609 gfc_expr *gfc_get_operator_expr (locus *, gfc_intrinsic_op,gfc_expr *, gfc_expr *);
2610 gfc_expr *gfc_get_structure_constructor_expr (bt, int, locus *);
2611 gfc_expr *gfc_get_constant_expr (bt, int, locus *);
2612 gfc_expr *gfc_get_character_expr (int, locus *, const char *, int len);
2613 gfc_expr *gfc_get_int_expr (int, locus *, int);
2614 gfc_expr *gfc_get_logical_expr (int, locus *, bool);
2615 gfc_expr *gfc_get_iokind_expr (locus *, io_kind);
2617 void gfc_free_expr (gfc_expr *);
2618 void gfc_replace_expr (gfc_expr *, gfc_expr *);
2619 mpz_t *gfc_copy_shape (mpz_t *, int);
2620 mpz_t *gfc_copy_shape_excluding (mpz_t *, int, gfc_expr *);
2621 gfc_expr *gfc_copy_expr (gfc_expr *);
2622 gfc_ref* gfc_copy_ref (gfc_ref*);
2624 gfc_try gfc_specification_expr (gfc_expr *);
2626 int gfc_numeric_ts (gfc_typespec *);
2627 int gfc_kind_max (gfc_expr *, gfc_expr *);
2629 gfc_try gfc_check_conformance (gfc_expr *, gfc_expr *, const char *, ...) ATTRIBUTE_PRINTF_3;
2630 gfc_try gfc_check_assign (gfc_expr *, gfc_expr *, int);
2631 gfc_try gfc_check_pointer_assign (gfc_expr *, gfc_expr *);
2632 gfc_try gfc_check_assign_symbol (gfc_symbol *, gfc_expr *);
2634 gfc_expr *gfc_default_initializer (gfc_typespec *);
2635 gfc_expr *gfc_get_variable_expr (gfc_symtree *);
2637 gfc_array_spec *gfc_get_full_arrayspec_from_expr (gfc_expr *expr);
2639 bool gfc_traverse_expr (gfc_expr *, gfc_symbol *,
2640 bool (*)(gfc_expr *, gfc_symbol *, int*),
2642 void gfc_expr_set_symbols_referenced (gfc_expr *);
2643 gfc_try gfc_expr_check_typed (gfc_expr*, gfc_namespace*, bool);
2644 void gfc_expr_replace_symbols (gfc_expr *, gfc_symbol *);
2645 void gfc_expr_replace_comp (gfc_expr *, gfc_component *);
2647 bool gfc_is_proc_ptr_comp (gfc_expr *, gfc_component **);
2649 bool gfc_is_coindexed (gfc_expr *);
2650 bool gfc_has_ultimate_allocatable (gfc_expr *);
2651 bool gfc_has_ultimate_pointer (gfc_expr *);
2655 extern gfc_code new_st;
2657 void gfc_clear_new_st (void);
2658 gfc_code *gfc_get_code (void);
2659 gfc_code *gfc_append_code (gfc_code *, gfc_code *);
2660 void gfc_free_statement (gfc_code *);
2661 void gfc_free_statements (gfc_code *);
2664 gfc_try gfc_resolve_expr (gfc_expr *);
2665 void gfc_resolve (gfc_namespace *);
2666 void gfc_resolve_blocks (gfc_code *, gfc_namespace *);
2667 int gfc_impure_variable (gfc_symbol *);
2668 int gfc_pure (gfc_symbol *);
2669 int gfc_elemental (gfc_symbol *);
2670 gfc_try gfc_resolve_iterator (gfc_iterator *, bool);
2671 gfc_try find_forall_index (gfc_expr *, gfc_symbol *, int);
2672 gfc_try gfc_resolve_index (gfc_expr *, int);
2673 gfc_try gfc_resolve_dim_arg (gfc_expr *);
2674 int gfc_is_formal_arg (void);
2675 void gfc_resolve_substring_charlen (gfc_expr *);
2676 match gfc_iso_c_sub_interface(gfc_code *, gfc_symbol *);
2677 gfc_expr *gfc_expr_to_initialize (gfc_expr *);
2678 bool gfc_type_is_extensible (gfc_symbol *sym);
2682 gfc_iterator *gfc_copy_iterator (gfc_iterator *);
2684 void gfc_free_array_spec (gfc_array_spec *);
2685 gfc_array_ref *gfc_copy_array_ref (gfc_array_ref *);
2687 gfc_try gfc_set_array_spec (gfc_symbol *, gfc_array_spec *, locus *);
2688 gfc_array_spec *gfc_copy_array_spec (gfc_array_spec *);
2689 gfc_try gfc_resolve_array_spec (gfc_array_spec *, int);
2691 int gfc_compare_array_spec (gfc_array_spec *, gfc_array_spec *);
2693 void gfc_simplify_iterator_var (gfc_expr *);
2694 gfc_try gfc_expand_constructor (gfc_expr *);
2695 int gfc_constant_ac (gfc_expr *);
2696 int gfc_expanded_ac (gfc_expr *);
2697 gfc_try gfc_resolve_character_array_constructor (gfc_expr *);
2698 gfc_try gfc_resolve_array_constructor (gfc_expr *);
2699 gfc_try gfc_check_constructor_type (gfc_expr *);
2700 gfc_try gfc_check_iter_variable (gfc_expr *);
2701 gfc_try gfc_check_constructor (gfc_expr *, gfc_try (*)(gfc_expr *));
2702 gfc_try gfc_array_size (gfc_expr *, mpz_t *);
2703 gfc_try gfc_array_dimen_size (gfc_expr *, int, mpz_t *);
2704 gfc_try gfc_array_ref_shape (gfc_array_ref *, mpz_t *);
2705 gfc_array_ref *gfc_find_array_ref (gfc_expr *);
2706 tree gfc_conv_array_initializer (tree type, gfc_expr *);
2707 gfc_try spec_size (gfc_array_spec *, mpz_t *);
2708 gfc_try spec_dimen_size (gfc_array_spec *, int, mpz_t *);
2709 int gfc_is_compile_time_shape (gfc_array_spec *);
2711 gfc_try gfc_ref_dimen_size (gfc_array_ref *, int dimen, mpz_t *);
2714 /* interface.c -- FIXME: some of these should be in symbol.c */
2715 void gfc_free_interface (gfc_interface *);
2716 int gfc_compare_derived_types (gfc_symbol *, gfc_symbol *);
2717 int gfc_compare_types (gfc_typespec *, gfc_typespec *);
2718 int gfc_compare_interfaces (gfc_symbol*, gfc_symbol*, const char *, int, int,
2720 void gfc_check_interfaces (gfc_namespace *);
2721 void gfc_procedure_use (gfc_symbol *, gfc_actual_arglist **, locus *);
2722 void gfc_ppc_use (gfc_component *, gfc_actual_arglist **, locus *);
2723 gfc_symbol *gfc_search_interface (gfc_interface *, int,
2724 gfc_actual_arglist **);
2725 gfc_try gfc_extend_expr (gfc_expr *, bool *);
2726 void gfc_free_formal_arglist (gfc_formal_arglist *);
2727 gfc_try gfc_extend_assign (gfc_code *, gfc_namespace *);
2728 gfc_try gfc_add_interface (gfc_symbol *);
2729 gfc_interface *gfc_current_interface_head (void);
2730 void gfc_set_current_interface_head (gfc_interface *);
2731 gfc_symtree* gfc_find_sym_in_symtree (gfc_symbol*);
2732 bool gfc_arglist_matches_symbol (gfc_actual_arglist**, gfc_symbol*);
2733 bool gfc_check_operator_interface (gfc_symbol*, gfc_intrinsic_op, locus);
2736 extern gfc_st_label format_asterisk;
2738 void gfc_free_open (gfc_open *);
2739 gfc_try gfc_resolve_open (gfc_open *);
2740 void gfc_free_close (gfc_close *);
2741 gfc_try gfc_resolve_close (gfc_close *);
2742 void gfc_free_filepos (gfc_filepos *);
2743 gfc_try gfc_resolve_filepos (gfc_filepos *);
2744 void gfc_free_inquire (gfc_inquire *);
2745 gfc_try gfc_resolve_inquire (gfc_inquire *);
2746 void gfc_free_dt (gfc_dt *);
2747 gfc_try gfc_resolve_dt (gfc_dt *, locus *);
2748 void gfc_free_wait (gfc_wait *);
2749 gfc_try gfc_resolve_wait (gfc_wait *);
2752 void gfc_module_init_2 (void);
2753 void gfc_module_done_2 (void);
2754 void gfc_dump_module (const char *, int);
2755 bool gfc_check_access (gfc_access, gfc_access);
2756 void gfc_free_use_stmts (gfc_use_list *);
2759 symbol_attribute gfc_variable_attr (gfc_expr *, gfc_typespec *);
2760 symbol_attribute gfc_expr_attr (gfc_expr *);
2761 match gfc_match_rvalue (gfc_expr **);
2762 match gfc_match_varspec (gfc_expr*, int, bool, bool);
2763 int gfc_check_digit (char, int);
2764 bool gfc_is_function_return_value (gfc_symbol *, gfc_namespace *);
2767 void gfc_generate_code (gfc_namespace *);
2768 void gfc_generate_module_code (gfc_namespace *);
2771 typedef int (*compare_fn) (void *, void *);
2772 void gfc_insert_bbt (void *, void *, compare_fn);
2773 void gfc_delete_bbt (void *, void *, compare_fn);
2775 /* dump-parse-tree.c */
2776 void gfc_dump_parse_tree (gfc_namespace *, FILE *);
2779 gfc_try gfc_parse_file (void);
2780 void gfc_global_used (gfc_gsymbol *, locus *);
2783 int gfc_dep_compare_expr (gfc_expr *, gfc_expr *);
2784 int gfc_is_data_pointer (gfc_expr *);
2787 gfc_try gfc_check_same_strlen (const gfc_expr*, const gfc_expr*, const char*);
2789 #endif /* GCC_GFORTRAN_H */