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_IMPLIED_SHAPE, 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,
450 GFC_ISYM_MAXEXPONENT,
457 GFC_ISYM_MINEXPONENT,
478 GFC_ISYM_RANDOM_NUMBER,
479 GFC_ISYM_RANDOM_SEED,
487 GFC_ISYM_SAME_TYPE_AS,
493 GFC_ISYM_SET_EXPONENT,
509 GFC_ISYM_STORAGE_SIZE,
514 GFC_ISYM_SYSTEM_CLOCK,
538 typedef enum gfc_isym_id gfc_isym_id;
543 GFC_INIT_REAL_OFF = 0,
548 GFC_INIT_REAL_NEG_INF
554 GFC_INIT_LOGICAL_OFF = 0,
555 GFC_INIT_LOGICAL_FALSE,
556 GFC_INIT_LOGICAL_TRUE
562 GFC_INIT_CHARACTER_OFF = 0,
563 GFC_INIT_CHARACTER_ON
565 init_local_character;
569 GFC_INIT_INTEGER_OFF = 0,
576 GFC_FCOARRAY_NONE = 0,
590 /************************* Structures *****************************/
592 /* Used for keeping things in balanced binary trees. */
593 #define BBT_HEADER(self) int priority; struct self *left, *right
595 #define NAMED_INTCST(a,b,c,d) a,
598 ISOFORTRANENV_INVALID = -1,
599 #include "iso-fortran-env.def"
600 ISOFORTRANENV_LAST, ISOFORTRANENV_NUMBER = ISOFORTRANENV_LAST
602 iso_fortran_env_symbol;
605 #define NAMED_INTCST(a,b,c,d) a,
606 #define NAMED_REALCST(a,b,c) a,
607 #define NAMED_CMPXCST(a,b,c) a,
608 #define NAMED_LOGCST(a,b,c) a,
609 #define NAMED_CHARKNDCST(a,b,c) a,
610 #define NAMED_CHARCST(a,b,c) a,
611 #define DERIVED_TYPE(a,b,c) a,
612 #define PROCEDURE(a,b) a,
615 ISOCBINDING_INVALID = -1,
616 #include "iso-c-binding.def"
618 ISOCBINDING_NUMBER = ISOCBINDING_LAST
620 iso_c_binding_symbol;
625 #undef NAMED_CHARKNDCST
632 INTMOD_NONE = 0, INTMOD_ISO_FORTRAN_ENV, INTMOD_ISO_C_BINDING
638 char name[GFC_MAX_SYMBOL_LEN + 1];
639 int value; /* Used for both integer and character values. */
644 /* Array of structs, where the structs represent the C interop kinds.
645 The list will be implemented based on a hash of the kind name since
646 these could be accessed multiple times.
647 Declared in trans-types.c as a global, since it's in that file
648 that the list is initialized. */
649 extern CInteropKind_t c_interop_kinds_table[];
652 /* Structure and list of supported extension attributes. */
655 EXT_ATTR_DLLIMPORT = 0,
660 EXT_ATTR_LAST, EXT_ATTR_NUM = EXT_ATTR_LAST
668 const char *middle_end_name;
672 extern const ext_attr_t ext_attr_list[];
674 /* Symbol attribute structure. */
677 /* Variable attributes. */
678 unsigned allocatable:1, dimension:1, codimension:1, external:1, intrinsic:1,
679 optional:1, pointer:1, target:1, value:1, volatile_:1, temporary:1,
680 dummy:1, result:1, assign:1, threadprivate:1, not_always_present:1,
681 implied_index:1, subref_array_pointer:1, proc_pointer:1, asynchronous:1,
684 /* For CLASS containers, the pointer attribute is sometimes set internally
685 even though it was not directly specified. In this case, keep the
686 "real" (original) value here. */
687 unsigned class_pointer:1;
689 ENUM_BITFIELD (save_state) save:2;
691 unsigned data:1, /* Symbol is named in a DATA statement. */
692 is_protected:1, /* Symbol has been marked as protected. */
693 use_assoc:1, /* Symbol has been use-associated. */
694 use_only:1, /* Symbol has been use-associated, with ONLY. */
695 use_rename:1, /* Symbol has been use-associated and renamed. */
696 imported:1, /* Symbol has been associated by IMPORT. */
697 host_assoc:1; /* Symbol has been host associated. */
699 unsigned in_namelist:1, in_common:1, in_equivalence:1;
700 unsigned function:1, subroutine:1, procedure:1;
701 unsigned generic:1, generic_copy:1;
702 unsigned implicit_type:1; /* Type defined via implicit rules. */
703 unsigned untyped:1; /* No implicit type could be found. */
705 unsigned is_bind_c:1; /* say if is bound to C. */
706 unsigned extension:8; /* extension level of a derived type. */
707 unsigned is_class:1; /* is a CLASS container. */
708 unsigned class_ok:1; /* is a CLASS object with correct attributes. */
709 unsigned vtab:1; /* is a derived type vtab, pointed to by CLASS objects. */
710 unsigned vtype:1; /* is a derived type of a vtab. */
712 /* These flags are both in the typespec and attribute. The attribute
713 list is what gets read from/written to a module file. The typespec
714 is created from a decl being processed. */
715 unsigned is_c_interop:1; /* It's c interoperable. */
716 unsigned is_iso_c:1; /* Symbol is from iso_c_binding. */
718 /* Function/subroutine attributes */
719 unsigned sequence:1, elemental:1, pure:1, recursive:1;
720 unsigned unmaskable:1, masked:1, contained:1, mod_proc:1, abstract:1;
722 /* This is set if the subroutine doesn't return. Currently, this
723 is only possible for intrinsic subroutines. */
726 /* Set if this procedure is an alternate entry point. These procedures
727 don't have any code associated, and the backend will turn them into
728 thunks to the master function. */
731 /* Set if this is the master function for a procedure with multiple
733 unsigned entry_master:1;
735 /* Set if this is the master function for a function with multiple
736 entry points where characteristics of the entry points differ. */
737 unsigned mixed_entry_master:1;
739 /* Set if a function must always be referenced by an explicit interface. */
740 unsigned always_explicit:1;
742 /* Set if the symbol has been referenced in an expression. No further
743 modification of type or type parameters is permitted. */
744 unsigned referenced:1;
746 /* Set if this is the symbol for the main program. */
747 unsigned is_main_program:1;
749 /* Mutually exclusive multibit attributes. */
750 ENUM_BITFIELD (gfc_access) access:2;
751 ENUM_BITFIELD (sym_intent) intent:2;
752 ENUM_BITFIELD (sym_flavor) flavor:4;
753 ENUM_BITFIELD (ifsrc) if_source:2;
755 ENUM_BITFIELD (procedure_type) proc:3;
757 /* Special attributes for Cray pointers, pointees. */
758 unsigned cray_pointer:1, cray_pointee:1;
760 /* The symbol is a derived type with allocatable components, pointer
761 components or private components, procedure pointer components,
762 possibly nested. zero_comp is true if the derived type has no
764 unsigned alloc_comp:1, pointer_comp:1, proc_pointer_comp:1,
765 private_comp:1, zero_comp:1, coarray_comp:1;
767 /* Attributes set by compiler extensions (!GCC$ ATTRIBUTES). */
768 unsigned ext_attr:EXT_ATTR_NUM;
770 /* The namespace where the attribute has been set. */
771 struct gfc_namespace *volatile_ns, *asynchronous_ns;
776 /* We need to store source lines as sequences of multibyte source
777 characters. We define here a type wide enough to hold any multibyte
778 source character, just like libcpp does. A 32-bit type is enough. */
780 #if HOST_BITS_PER_INT >= 32
781 typedef unsigned int gfc_char_t;
782 #elif HOST_BITS_PER_LONG >= 32
783 typedef unsigned long gfc_char_t;
784 #elif defined(HAVE_LONG_LONG) && (HOST_BITS_PER_LONGLONG >= 32)
785 typedef unsigned long long gfc_char_t;
787 # error "Cannot find an integer type with at least 32 bits"
791 /* The following three structures are used to identify a location in
794 gfc_file is used to maintain a tree of the source files and how
795 they include each other
797 gfc_linebuf holds a single line of source code and information
798 which file it resides in
800 locus point to the sourceline and the character in the source
804 typedef struct gfc_file
806 struct gfc_file *next, *up;
807 int inclusion_line, line;
811 typedef struct gfc_linebuf
813 source_location location;
814 struct gfc_file *file;
815 struct gfc_linebuf *next;
823 #define gfc_linebuf_header_size (offsetof (gfc_linebuf, line))
825 #define gfc_linebuf_linenum(LBUF) (LOCATION_LINE ((LBUF)->location))
833 /* In order for the "gfc" format checking to work correctly, you must
834 have declared a typedef locus first. */
835 #if GCC_VERSION >= 4001
836 #define ATTRIBUTE_GCC_GFC(m, n) __attribute__ ((__format__ (__gcc_gfc__, m, n))) ATTRIBUTE_NONNULL(m)
838 #define ATTRIBUTE_GCC_GFC(m, n) ATTRIBUTE_NONNULL(m)
842 /* Suppress error messages or re-enable them. */
844 void gfc_push_suppress_errors (void);
845 void gfc_pop_suppress_errors (void);
848 /* Character length structures hold the expression that gives the
849 length of a character variable. We avoid putting these into
850 gfc_typespec because doing so prevents us from doing structure
851 copies and forces us to deallocate any typespecs we create, as well
852 as structures that contain typespecs. They also can have multiple
853 character typespecs pointing to them.
855 These structures form a singly linked list within the current
856 namespace and are deallocated with the namespace. It is possible to
857 end up with gfc_charlen structures that have nothing pointing to them. */
859 typedef struct gfc_charlen
861 struct gfc_expr *length;
862 struct gfc_charlen *next;
863 bool length_from_typespec; /* Length from explicit array ctor typespec? */
865 tree passed_length; /* Length argument explicitelly passed. */
871 #define gfc_get_charlen() XCNEW (gfc_charlen)
873 /* Type specification structure. */
881 struct gfc_symbol *derived; /* For derived types only. */
882 gfc_charlen *cl; /* For character types only. */
886 struct gfc_symbol *interface; /* For PROCEDURE declarations. */
893 /* Array specification. */
896 int rank; /* A rank of zero means that a variable is a scalar. */
898 array_type type, cotype;
899 struct gfc_expr *lower[GFC_MAX_DIMENSIONS], *upper[GFC_MAX_DIMENSIONS];
901 /* These two fields are used with the Cray Pointer extension. */
902 bool cray_pointee; /* True iff this spec belongs to a cray pointee. */
903 bool cp_was_assumed; /* AS_ASSUMED_SIZE cp arrays are converted to
904 AS_EXPLICIT, but we want to remember that we
910 #define gfc_get_array_spec() XCNEW (gfc_array_spec)
913 /* Components of derived types. */
914 typedef struct gfc_component
919 symbol_attribute attr;
924 struct gfc_expr *initializer;
925 struct gfc_component *next;
927 /* Needed for procedure pointer components. */
928 struct gfc_formal_arglist *formal;
929 struct gfc_namespace *formal_ns;
930 struct gfc_typebound_proc *tb;
934 #define gfc_get_component() XCNEW (gfc_component)
936 /* Formal argument lists are lists of symbols. */
937 typedef struct gfc_formal_arglist
939 /* Symbol representing the argument at this position in the arglist. */
940 struct gfc_symbol *sym;
941 /* Points to the next formal argument. */
942 struct gfc_formal_arglist *next;
946 #define gfc_get_formal_arglist() XCNEW (gfc_formal_arglist)
949 /* The gfc_actual_arglist structure is for actual arguments. */
950 typedef struct gfc_actual_arglist
953 /* Alternate return label when the expr member is null. */
954 struct gfc_st_label *label;
956 /* This is set to the type of an eventual omitted optional
957 argument. This is used to determine if a hidden string length
958 argument has to be added to a function call. */
961 struct gfc_expr *expr;
962 struct gfc_actual_arglist *next;
966 #define gfc_get_actual_arglist() XCNEW (gfc_actual_arglist)
969 /* Because a symbol can belong to multiple namelists, they must be
970 linked externally to the symbol itself. */
971 typedef struct gfc_namelist
973 struct gfc_symbol *sym;
974 struct gfc_namelist *next;
978 #define gfc_get_namelist() XCNEW (gfc_namelist)
983 OMP_LIST_FIRSTPRIVATE,
984 OMP_LIST_LASTPRIVATE,
985 OMP_LIST_COPYPRIVATE,
989 OMP_LIST_REDUCTION_FIRST = OMP_LIST_PLUS,
1001 OMP_LIST_REDUCTION_LAST = OMP_LIST_IEOR,
1005 /* Because a symbol can belong to multiple namelists, they must be
1006 linked externally to the symbol itself. */
1008 enum gfc_omp_sched_kind
1018 enum gfc_omp_default_sharing
1020 OMP_DEFAULT_UNKNOWN,
1022 OMP_DEFAULT_PRIVATE,
1024 OMP_DEFAULT_FIRSTPRIVATE
1027 typedef struct gfc_omp_clauses
1029 struct gfc_expr *if_expr;
1030 struct gfc_expr *num_threads;
1031 gfc_namelist *lists[OMP_LIST_NUM];
1032 enum gfc_omp_sched_kind sched_kind;
1033 struct gfc_expr *chunk_size;
1034 enum gfc_omp_default_sharing default_sharing;
1036 bool nowait, ordered, untied;
1040 #define gfc_get_omp_clauses() XCNEW (gfc_omp_clauses)
1043 /* The gfc_st_label structure is a BBT attached to a namespace that
1044 records the usage of statement labels within that space. */
1046 typedef struct gfc_st_label
1048 BBT_HEADER(gfc_st_label);
1052 gfc_sl_type defined, referenced;
1054 struct gfc_expr *format;
1063 /* gfc_interface()-- Interfaces are lists of symbols strung together. */
1064 typedef struct gfc_interface
1066 struct gfc_symbol *sym;
1068 struct gfc_interface *next;
1072 #define gfc_get_interface() XCNEW (gfc_interface)
1074 /* User operator nodes. These are like stripped down symbols. */
1080 struct gfc_namespace *ns;
1086 /* A list of specific bindings that are associated with a generic spec. */
1087 typedef struct gfc_tbp_generic
1089 /* The parser sets specific_st, upon resolution we look for the corresponding
1090 gfc_typebound_proc and set specific for further use. */
1091 struct gfc_symtree* specific_st;
1092 struct gfc_typebound_proc* specific;
1094 struct gfc_tbp_generic* next;
1098 #define gfc_get_tbp_generic() XCNEW (gfc_tbp_generic)
1101 /* Data needed for type-bound procedures. */
1102 typedef struct gfc_typebound_proc
1104 locus where; /* Where the PROCEDURE/GENERIC definition was. */
1108 struct gfc_symtree* specific; /* The interface if DEFERRED. */
1109 gfc_tbp_generic* generic;
1114 const char* pass_arg; /* Argument-name for PASS. NULL if not specified. */
1116 /* The overridden type-bound proc (or GENERIC with this name in the
1117 parent-type) or NULL if non. */
1118 struct gfc_typebound_proc* overridden;
1120 /* Once resolved, we use the position of pass_arg in the formal arglist of
1121 the binding-target procedure to identify it. The first argument has
1122 number 1 here, the second 2, and so on. */
1123 unsigned pass_arg_num;
1125 unsigned nopass:1; /* Whether we have NOPASS (PASS otherwise). */
1126 unsigned non_overridable:1;
1127 unsigned deferred:1;
1128 unsigned is_generic:1;
1129 unsigned function:1, subroutine:1;
1130 unsigned error:1; /* Ignore it, when an error occurred during resolution. */
1136 /* Symbol nodes. These are important things. They are what the
1137 standard refers to as "entities". The possibly multiple names that
1138 refer to the same entity are accomplished by a binary tree of
1139 symtree structures that is balanced by the red-black method-- more
1140 than one symtree node can point to any given symbol. */
1142 typedef struct gfc_symbol
1144 const char *name; /* Primary name, before renaming */
1145 const char *module; /* Module this symbol came from */
1149 symbol_attribute attr;
1151 /* The formal member points to the formal argument list if the
1152 symbol is a function or subroutine name. If the symbol is a
1153 generic name, the generic member points to the list of
1156 gfc_interface *generic;
1157 gfc_access component_access;
1159 gfc_formal_arglist *formal;
1160 struct gfc_namespace *formal_ns;
1161 struct gfc_namespace *f2k_derived;
1163 struct gfc_expr *value; /* Parameter/Initializer value */
1165 struct gfc_symbol *result; /* function result symbol */
1166 gfc_component *components; /* Derived type components */
1168 /* Defined only for Cray pointees; points to their pointer. */
1169 struct gfc_symbol *cp_pointer;
1171 int entry_id; /* Used in resolve.c for entries. */
1173 /* CLASS hashed name for declared and dynamic types in the class. */
1176 struct gfc_symbol *common_next; /* Links for COMMON syms */
1178 /* This is in fact a gfc_common_head but it is only used for pointer
1179 comparisons to check if symbols are in the same common block. */
1180 struct gfc_common_head* common_head;
1182 /* Make sure setup code for dummy arguments is generated in the correct
1186 gfc_namelist *namelist, *namelist_tail;
1188 /* Change management fields. Symbols that might be modified by the
1189 current statement have the mark member nonzero and are kept in a
1190 singly linked list through the tlink field. Of these symbols,
1191 symbols with old_symbol equal to NULL are symbols created within
1192 the current statement. Otherwise, old_symbol points to a copy of
1195 struct gfc_symbol *old_symbol, *tlink;
1196 unsigned mark:1, gfc_new:1;
1197 /* Nonzero if all equivalences associated with this symbol have been
1199 unsigned equiv_built:1;
1200 /* Set if this variable is used as an index name in a FORALL. */
1201 unsigned forall_index:1;
1203 struct gfc_namespace *ns; /* namespace containing this symbol */
1207 /* Identity of the intrinsic module the symbol comes from, or
1208 INTMOD_NONE if it's not imported from a intrinsic module. */
1209 intmod_id from_intmod;
1210 /* Identity of the symbol from intrinsic modules, from enums maintained
1211 separately by each intrinsic module. Used together with from_intmod,
1212 it uniquely identifies a symbol from an intrinsic module. */
1215 /* This may be repetitive, since the typespec now has a binding
1217 char binding_label[GFC_MAX_BINDING_LABEL_LEN + 1];
1218 /* Store a reference to the common_block, if this symbol is in one. */
1219 struct gfc_common_head *common_block;
1221 /* Link to corresponding association-list if this is an associate name. */
1222 struct gfc_association_list *assoc;
1227 /* This structure is used to keep track of symbols in common blocks. */
1228 typedef struct gfc_common_head
1231 char use_assoc, saved, threadprivate;
1232 char name[GFC_MAX_SYMBOL_LEN + 1];
1233 struct gfc_symbol *head;
1234 char binding_label[GFC_MAX_BINDING_LABEL_LEN + 1];
1239 #define gfc_get_common_head() XCNEW (gfc_common_head)
1242 /* A list of all the alternate entry points for a procedure. */
1244 typedef struct gfc_entry_list
1246 /* The symbol for this entry point. */
1248 /* The zero-based id of this entry point. */
1250 /* The LABEL_EXPR marking this entry point. */
1252 /* The next item in the list. */
1253 struct gfc_entry_list *next;
1257 #define gfc_get_entry_list() \
1258 (gfc_entry_list *) gfc_getmem(sizeof(gfc_entry_list))
1260 /* Lists of rename info for the USE statement. */
1262 typedef struct gfc_use_rename
1264 char local_name[GFC_MAX_SYMBOL_LEN + 1], use_name[GFC_MAX_SYMBOL_LEN + 1];
1265 struct gfc_use_rename *next;
1267 gfc_intrinsic_op op;
1272 #define gfc_get_use_rename() XCNEW (gfc_use_rename);
1274 /* A list of all USE statements in a namespace. */
1276 typedef struct gfc_use_list
1278 const char *module_name;
1280 struct gfc_use_rename *rename;
1282 /* Next USE statement. */
1283 struct gfc_use_list *next;
1287 #define gfc_get_use_list() \
1288 (gfc_use_list *) gfc_getmem(sizeof(gfc_use_list))
1290 /* Within a namespace, symbols are pointed to by symtree nodes that
1291 are linked together in a balanced binary tree. There can be
1292 several symtrees pointing to the same symbol node via USE
1295 typedef struct gfc_symtree
1297 BBT_HEADER (gfc_symtree);
1302 gfc_symbol *sym; /* Symbol associated with this node */
1304 gfc_common_head *common;
1305 gfc_typebound_proc *tb;
1311 /* A linked list of derived types in the namespace. */
1312 typedef struct gfc_dt_list
1314 struct gfc_symbol *derived;
1315 struct gfc_dt_list *next;
1319 #define gfc_get_dt_list() XCNEW (gfc_dt_list)
1321 /* A list of all derived types. */
1322 extern gfc_dt_list *gfc_derived_types;
1324 /* A namespace describes the contents of procedure, module, interface block
1325 or BLOCK construct. */
1326 /* ??? Anything else use these? */
1328 typedef struct gfc_namespace
1330 /* Tree containing all the symbols in this namespace. */
1331 gfc_symtree *sym_root;
1332 /* Tree containing all the user-defined operators in the namespace. */
1333 gfc_symtree *uop_root;
1334 /* Tree containing all the common blocks. */
1335 gfc_symtree *common_root;
1337 /* Tree containing type-bound procedures. */
1338 gfc_symtree *tb_sym_root;
1339 /* Type-bound user operators. */
1340 gfc_symtree *tb_uop_root;
1341 /* For derived-types, store type-bound intrinsic operators here. */
1342 gfc_typebound_proc *tb_op[GFC_INTRINSIC_OPS];
1343 /* Linked list of finalizer procedures. */
1344 struct gfc_finalizer *finalizers;
1346 /* If set_flag[letter] is set, an implicit type has been set for letter. */
1347 int set_flag[GFC_LETTERS];
1348 /* Keeps track of the implicit types associated with the letters. */
1349 gfc_typespec default_type[GFC_LETTERS];
1350 /* Store the positions of IMPLICIT statements. */
1351 locus implicit_loc[GFC_LETTERS];
1353 /* If this is a namespace of a procedure, this points to the procedure. */
1354 struct gfc_symbol *proc_name;
1355 /* If this is the namespace of a unit which contains executable
1356 code, this points to it. */
1357 struct gfc_code *code;
1359 /* Points to the equivalences set up in this namespace. */
1360 struct gfc_equiv *equiv, *old_equiv;
1362 /* Points to the equivalence groups produced by trans_common. */
1363 struct gfc_equiv_list *equiv_lists;
1365 gfc_interface *op[GFC_INTRINSIC_OPS];
1367 /* Points to the parent namespace, i.e. the namespace of a module or
1368 procedure in which the procedure belonging to this namespace is
1369 contained. The parent namespace points to this namespace either
1370 directly via CONTAINED, or indirectly via the chain built by
1372 struct gfc_namespace *parent;
1373 /* CONTAINED points to the first contained namespace. Sibling
1374 namespaces are chained via SIBLING. */
1375 struct gfc_namespace *contained, *sibling;
1377 gfc_common_head blank_common;
1378 gfc_access default_access, operator_access[GFC_INTRINSIC_OPS];
1380 gfc_st_label *st_labels;
1381 /* This list holds information about all the data initializers in
1383 struct gfc_data *data;
1385 gfc_charlen *cl_list, *old_cl_list;
1387 gfc_dt_list *derived_types;
1389 int save_all, seen_save, seen_implicit_none;
1391 /* Normally we don't need to refcount namespaces. However when we read
1392 a module containing a function with multiple entry points, this
1393 will appear as several functions with the same formal namespace. */
1396 /* A list of all alternate entry points to this procedure (or NULL). */
1397 gfc_entry_list *entries;
1399 /* A list of USE statements in this namespace. */
1400 gfc_use_list *use_stmts;
1402 /* Set to 1 if namespace is a BLOCK DATA program unit. */
1403 unsigned is_block_data:1;
1405 /* Set to 1 if namespace is an interface body with "IMPORT" used. */
1406 unsigned has_import_set:1;
1408 /* Set to 1 if resolved has been called for this namespace.
1409 Holds -1 during resolution. */
1412 /* Set to 1 if code has been generated for this namespace. */
1413 unsigned translated:1;
1415 /* Set to 1 if symbols in this namespace should be 'construct entities',
1416 i.e. for BLOCK local variables. */
1417 unsigned construct_entities:1;
1421 extern gfc_namespace *gfc_current_ns;
1422 extern gfc_namespace *gfc_global_ns_list;
1424 /* Global symbols are symbols of global scope. Currently we only use
1425 this to detect collisions already when parsing.
1426 TODO: Extend to verify procedure calls. */
1428 enum gfc_symbol_type
1430 GSYM_UNKNOWN=1, GSYM_PROGRAM, GSYM_FUNCTION, GSYM_SUBROUTINE,
1431 GSYM_MODULE, GSYM_COMMON, GSYM_BLOCK_DATA
1434 typedef struct gfc_gsymbol
1436 BBT_HEADER(gfc_gsymbol);
1439 const char *sym_name;
1440 const char *mod_name;
1441 const char *binding_label;
1442 enum gfc_symbol_type type;
1450 extern gfc_gsymbol *gfc_gsym_root;
1452 /* Information on interfaces being built. */
1455 interface_type type;
1459 gfc_intrinsic_op op;
1463 extern gfc_interface_info current_interface;
1466 /* Array reference. */
1468 enum gfc_array_ref_dimen_type
1470 DIMEN_ELEMENT = 1, DIMEN_RANGE, DIMEN_VECTOR, DIMEN_STAR, DIMEN_UNKNOWN
1473 typedef struct gfc_array_ref
1476 int dimen; /* # of components in the reference */
1478 bool in_allocate; /* For coarray checks. */
1482 locus c_where[GFC_MAX_DIMENSIONS]; /* All expressions can be NULL */
1483 struct gfc_expr *start[GFC_MAX_DIMENSIONS], *end[GFC_MAX_DIMENSIONS],
1484 *stride[GFC_MAX_DIMENSIONS];
1486 enum gfc_array_ref_dimen_type dimen_type[GFC_MAX_DIMENSIONS];
1488 struct gfc_expr *offset;
1492 #define gfc_get_array_ref() XCNEW (gfc_array_ref)
1495 /* Component reference nodes. A variable is stored as an expression
1496 node that points to the base symbol. After that, a singly linked
1497 list of component reference nodes gives the variable's complete
1498 resolution. The array_ref component may be present and comes
1499 before the component component. */
1502 { REF_ARRAY, REF_COMPONENT, REF_SUBSTRING }
1505 typedef struct gfc_ref
1511 struct gfc_array_ref ar;
1515 gfc_component *component;
1522 struct gfc_expr *start, *end; /* Substring */
1523 gfc_charlen *length;
1530 struct gfc_ref *next;
1534 #define gfc_get_ref() XCNEW (gfc_ref)
1537 /* Structures representing intrinsic symbols and their arguments lists. */
1538 typedef struct gfc_intrinsic_arg
1540 char name[GFC_MAX_SYMBOL_LEN + 1];
1543 unsigned optional:1, value:1;
1544 ENUM_BITFIELD (sym_intent) intent:2;
1545 gfc_actual_arglist *actual;
1547 struct gfc_intrinsic_arg *next;
1553 /* Specifies the various kinds of check functions used to verify the
1554 argument lists of intrinsic functions. fX with X an integer refer
1555 to check functions of intrinsics with X arguments. f1m is used for
1556 the MAX and MIN intrinsics which can have an arbitrary number of
1557 arguments, f3ml is used for the MINLOC and MAXLOC intrinsics as
1558 these have special semantics. */
1562 gfc_try (*f0)(void);
1563 gfc_try (*f1)(struct gfc_expr *);
1564 gfc_try (*f1m)(gfc_actual_arglist *);
1565 gfc_try (*f2)(struct gfc_expr *, struct gfc_expr *);
1566 gfc_try (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1567 gfc_try (*f3ml)(gfc_actual_arglist *);
1568 gfc_try (*f3red)(gfc_actual_arglist *);
1569 gfc_try (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1571 gfc_try (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1572 struct gfc_expr *, struct gfc_expr *);
1576 /* Like gfc_check_f, these specify the type of the simplification
1577 function associated with an intrinsic. The fX are just like in
1578 gfc_check_f. cc is used for type conversion functions. */
1582 struct gfc_expr *(*f0)(void);
1583 struct gfc_expr *(*f1)(struct gfc_expr *);
1584 struct gfc_expr *(*f2)(struct gfc_expr *, struct gfc_expr *);
1585 struct gfc_expr *(*f3)(struct gfc_expr *, struct gfc_expr *,
1587 struct gfc_expr *(*f4)(struct gfc_expr *, struct gfc_expr *,
1588 struct gfc_expr *, struct gfc_expr *);
1589 struct gfc_expr *(*f5)(struct gfc_expr *, struct gfc_expr *,
1590 struct gfc_expr *, struct gfc_expr *,
1592 struct gfc_expr *(*cc)(struct gfc_expr *, bt, int);
1596 /* Again like gfc_check_f, these specify the type of the resolution
1597 function associated with an intrinsic. The fX are just like in
1598 gfc_check_f. f1m is used for MIN and MAX, s1 is used for abort(). */
1602 void (*f0)(struct gfc_expr *);
1603 void (*f1)(struct gfc_expr *, struct gfc_expr *);
1604 void (*f1m)(struct gfc_expr *, struct gfc_actual_arglist *);
1605 void (*f2)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1606 void (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1608 void (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1609 struct gfc_expr *, struct gfc_expr *);
1610 void (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1611 struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1612 void (*s1)(struct gfc_code *);
1617 typedef struct gfc_intrinsic_sym
1619 const char *name, *lib_name;
1620 gfc_intrinsic_arg *formal;
1622 unsigned elemental:1, inquiry:1, transformational:1, pure:1,
1623 generic:1, specific:1, actual_ok:1, noreturn:1, conversion:1;
1627 gfc_simplify_f simplify;
1629 gfc_resolve_f resolve;
1630 struct gfc_intrinsic_sym *specific_head, *next;
1637 /* Expression nodes. The expression node types deserve explanations,
1638 since the last couple can be easily misconstrued:
1640 EXPR_OP Operator node pointing to one or two other nodes
1641 EXPR_FUNCTION Function call, symbol points to function's name
1642 EXPR_CONSTANT A scalar constant: Logical, String, Real, Int or Complex
1643 EXPR_VARIABLE An Lvalue with a root symbol and possible reference list
1644 which expresses structure, array and substring refs.
1645 EXPR_NULL The NULL pointer value (which also has a basic type).
1646 EXPR_SUBSTRING A substring of a constant string
1647 EXPR_STRUCTURE A structure constructor
1648 EXPR_ARRAY An array constructor.
1649 EXPR_COMPCALL Function (or subroutine) call of a procedure pointer
1650 component or type-bound procedure. */
1655 #define GFC_RND_MODE GMP_RNDN
1656 #define GFC_MPC_RND_MODE MPC_RNDNN
1658 typedef splay_tree gfc_constructor_base;
1660 typedef struct gfc_expr
1664 gfc_typespec ts; /* These two refer to the overall expression */
1667 mpz_t *shape; /* Can be NULL if shape is unknown at compile time */
1669 /* Nonnull for functions and structure constructors, may also used to hold the
1670 base-object for component calls. */
1671 gfc_symtree *symtree;
1677 /* True if the expression is a call to a function that returns an array,
1678 and if we have decided not to allocate temporary data for that array.
1679 is_boz is true if the integer is regarded as BOZ bitpatten and is_snan
1680 denotes a signalling not-a-number. */
1681 unsigned int inline_noncopying_intrinsic : 1, is_boz : 1, is_snan : 1;
1683 /* Sometimes, when an error has been emitted, it is necessary to prevent
1684 it from recurring. */
1685 unsigned int error : 1;
1687 /* Mark an expression where a user operator has been substituted by
1688 a function call in interface.c(gfc_extend_expr). */
1689 unsigned int user_operator : 1;
1691 /* Mark an expression as being a MOLD argument of ALLOCATE. */
1692 unsigned int mold : 1;
1694 /* If an expression comes from a Hollerith constant or compile-time
1695 evaluation of a transfer statement, it may have a prescribed target-
1696 memory representation, and these cannot always be backformed from
1719 gfc_intrinsic_op op;
1721 struct gfc_expr *op1, *op2;
1727 gfc_actual_arglist *actual;
1728 const char *name; /* Points to the ultimate name of the function */
1729 gfc_intrinsic_sym *isym;
1736 gfc_actual_arglist* actual;
1738 /* Base-object, whose component was called. NULL means that it should
1739 be taken from symtree/ref. */
1740 struct gfc_expr* base_object;
1741 gfc_typebound_proc* tbp; /* Should overlap with esym. */
1743 /* For type-bound operators, we want to call PASS procedures but already
1744 have the full arglist; mark this, so that it is not extended by the
1746 unsigned ignore_pass:1;
1748 /* Do assign-calls rather than calls, that is appropriate dependency
1761 gfc_constructor_base constructor;
1769 #define gfc_get_shape(rank) ((mpz_t *) gfc_getmem((rank)*sizeof(mpz_t)))
1771 /* Structures for information associated with different kinds of
1772 numbers. The first set of integer parameters define all there is
1773 to know about a particular kind. The rest of the elements are
1774 computed from the first elements. */
1778 /* Values really representable by the target. */
1779 mpz_t huge, pedantic_min_int, min_int;
1781 int kind, radix, digits, bit_size, range;
1783 /* True if the C type of the given name maps to this precision.
1784 Note that more than one bit can be set. */
1785 unsigned int c_char : 1;
1786 unsigned int c_short : 1;
1787 unsigned int c_int : 1;
1788 unsigned int c_long : 1;
1789 unsigned int c_long_long : 1;
1793 extern gfc_integer_info gfc_integer_kinds[];
1800 /* True if the C++ type bool, C99 type _Bool, maps to this precision. */
1801 unsigned int c_bool : 1;
1805 extern gfc_logical_info gfc_logical_kinds[];
1810 mpfr_t epsilon, huge, tiny, subnormal;
1811 int kind, radix, digits, min_exponent, max_exponent;
1812 int range, precision;
1814 /* The precision of the type as reported by GET_MODE_PRECISION. */
1817 /* True if the C type of the given name maps to this precision.
1818 Note that more than one bit can be set. */
1819 unsigned int c_float : 1;
1820 unsigned int c_double : 1;
1821 unsigned int c_long_double : 1;
1825 extern gfc_real_info gfc_real_kinds[];
1834 extern gfc_character_info gfc_character_kinds[];
1837 /* Equivalence structures. Equivalent lvalues are linked along the
1838 *eq pointer, equivalence sets are strung along the *next node. */
1839 typedef struct gfc_equiv
1841 struct gfc_equiv *next, *eq;
1848 #define gfc_get_equiv() XCNEW (gfc_equiv)
1850 /* Holds a single equivalence member after processing. */
1851 typedef struct gfc_equiv_info
1854 HOST_WIDE_INT offset;
1855 HOST_WIDE_INT length;
1856 struct gfc_equiv_info *next;
1859 /* Holds equivalence groups, after they have been processed. */
1860 typedef struct gfc_equiv_list
1862 gfc_equiv_info *equiv;
1863 struct gfc_equiv_list *next;
1866 /* gfc_case stores the selector list of a case statement. The *low
1867 and *high pointers can point to the same expression in the case of
1868 a single value. If *high is NULL, the selection is from *low
1869 upwards, if *low is NULL the selection is *high downwards.
1871 This structure has separate fields to allow single and double linked
1872 lists of CASEs at the same time. The singe linked list along the NEXT
1873 field is a list of cases for a single CASE label. The double linked
1874 list along the LEFT/RIGHT fields is used to detect overlap and to
1875 build a table of the cases for SELECT constructs with a CHARACTER
1878 typedef struct gfc_case
1880 /* Where we saw this case. */
1884 /* Case range values. If (low == high), it's a single value. If one of
1885 the labels is NULL, it's an unbounded case. If both are NULL, this
1886 represents the default case. */
1887 gfc_expr *low, *high;
1889 /* Only used for SELECT TYPE. */
1892 /* Next case label in the list of cases for a single CASE label. */
1893 struct gfc_case *next;
1895 /* Used for detecting overlap, and for code generation. */
1896 struct gfc_case *left, *right;
1898 /* True if this case label can never be matched. */
1903 #define gfc_get_case() XCNEW (gfc_case)
1908 gfc_expr *var, *start, *end, *step;
1912 #define gfc_get_iterator() XCNEW (gfc_iterator)
1915 /* Allocation structure for ALLOCATE, DEALLOCATE and NULLIFY statements. */
1917 typedef struct gfc_alloc
1920 struct gfc_alloc *next;
1924 #define gfc_get_alloc() XCNEW (gfc_alloc)
1929 gfc_expr *unit, *file, *status, *access, *form, *recl,
1930 *blank, *position, *action, *delim, *pad, *iostat, *iomsg, *convert,
1931 *decimal, *encoding, *round, *sign, *asynchronous, *id, *newunit;
1939 gfc_expr *unit, *status, *iostat, *iomsg;
1947 gfc_expr *unit, *iostat, *iomsg;
1955 gfc_expr *unit, *file, *iostat, *exist, *opened, *number, *named,
1956 *name, *access, *sequential, *direct, *form, *formatted,
1957 *unformatted, *recl, *nextrec, *blank, *position, *action, *read,
1958 *write, *readwrite, *delim, *pad, *iolength, *iomsg, *convert, *strm_pos,
1959 *asynchronous, *decimal, *encoding, *pending, *round, *sign, *size, *id;
1969 gfc_expr *unit, *iostat, *iomsg, *id;
1970 gfc_st_label *err, *end, *eor;
1977 gfc_expr *io_unit, *format_expr, *rec, *advance, *iostat, *size, *iomsg,
1978 *id, *pos, *asynchronous, *blank, *decimal, *delim, *pad, *round,
1979 *sign, *extra_comma;
1981 gfc_symbol *namelist;
1982 /* A format_label of `format_asterisk' indicates the "*" format */
1983 gfc_st_label *format_label;
1984 gfc_st_label *err, *end, *eor;
1986 locus eor_where, end_where, err_where;
1991 typedef struct gfc_forall_iterator
1993 gfc_expr *var, *start, *end, *stride;
1994 struct gfc_forall_iterator *next;
1996 gfc_forall_iterator;
1999 /* Linked list to store associations in an ASSOCIATE statement. */
2001 typedef struct gfc_association_list
2003 struct gfc_association_list *next;
2005 /* Whether this is association to a variable that can be changed; otherwise,
2006 it's association to an expression and the name may not be used as
2008 unsigned variable:1;
2010 char name[GFC_MAX_SYMBOL_LEN + 1];
2011 gfc_symtree *st; /* Symtree corresponding to name. */
2016 gfc_association_list;
2017 #define gfc_get_association_list() XCNEW (gfc_association_list)
2020 /* Executable statements that fill gfc_code structures. */
2023 EXEC_NOP = 1, EXEC_END_BLOCK, EXEC_ASSIGN, EXEC_LABEL_ASSIGN,
2024 EXEC_POINTER_ASSIGN, EXEC_CRITICAL, EXEC_ERROR_STOP,
2025 EXEC_GOTO, EXEC_CALL, EXEC_COMPCALL, EXEC_ASSIGN_CALL, EXEC_RETURN,
2026 EXEC_ENTRY, EXEC_PAUSE, EXEC_STOP, EXEC_CONTINUE, EXEC_INIT_ASSIGN,
2027 EXEC_IF, EXEC_ARITHMETIC_IF, EXEC_DO, EXEC_DO_WHILE, EXEC_SELECT, EXEC_BLOCK,
2028 EXEC_FORALL, EXEC_WHERE, EXEC_CYCLE, EXEC_EXIT, EXEC_CALL_PPC,
2029 EXEC_ALLOCATE, EXEC_DEALLOCATE, EXEC_END_PROCEDURE, EXEC_SELECT_TYPE,
2030 EXEC_SYNC_ALL, EXEC_SYNC_MEMORY, EXEC_SYNC_IMAGES,
2031 EXEC_OPEN, EXEC_CLOSE, EXEC_WAIT,
2032 EXEC_READ, EXEC_WRITE, EXEC_IOLENGTH, EXEC_TRANSFER, EXEC_DT_END,
2033 EXEC_BACKSPACE, EXEC_ENDFILE, EXEC_INQUIRE, EXEC_REWIND, EXEC_FLUSH,
2034 EXEC_OMP_CRITICAL, EXEC_OMP_DO, EXEC_OMP_FLUSH, EXEC_OMP_MASTER,
2035 EXEC_OMP_ORDERED, EXEC_OMP_PARALLEL, EXEC_OMP_PARALLEL_DO,
2036 EXEC_OMP_PARALLEL_SECTIONS, EXEC_OMP_PARALLEL_WORKSHARE,
2037 EXEC_OMP_SECTIONS, EXEC_OMP_SINGLE, EXEC_OMP_WORKSHARE,
2038 EXEC_OMP_ATOMIC, EXEC_OMP_BARRIER, EXEC_OMP_END_NOWAIT,
2039 EXEC_OMP_END_SINGLE, EXEC_OMP_TASK, EXEC_OMP_TASKWAIT
2043 typedef struct gfc_code
2047 struct gfc_code *block, *next;
2050 gfc_st_label *here, *label1, *label2, *label3;
2051 gfc_symtree *symtree;
2052 gfc_expr *expr1, *expr2, *expr3;
2053 /* A name isn't sufficient to identify a subroutine, we need the actual
2054 symbol for the interface definition.
2055 const char *sub_name; */
2056 gfc_symbol *resolved_sym;
2057 gfc_intrinsic_sym *resolved_isym;
2061 gfc_actual_arglist *actual;
2062 gfc_case *case_list;
2063 gfc_iterator *iterator;
2075 gfc_association_list *assoc;
2081 gfc_filepos *filepos;
2082 gfc_inquire *inquire;
2085 gfc_forall_iterator *forall_iterator;
2086 struct gfc_code *whichloop;
2088 gfc_entry_list *entry;
2089 gfc_omp_clauses *omp_clauses;
2090 const char *omp_name;
2091 gfc_namelist *omp_namelist;
2094 ext; /* Points to additional structures required by statement */
2096 /* Cycle and break labels in do loops. */
2103 /* Storage for DATA statements. */
2104 typedef struct gfc_data_variable
2108 struct gfc_data_variable *list, *next;
2113 typedef struct gfc_data_value
2117 struct gfc_data_value *next;
2122 typedef struct gfc_data
2124 gfc_data_variable *var;
2125 gfc_data_value *value;
2128 struct gfc_data *next;
2133 /* Structure for holding compile options */
2137 gfc_source_form source_form;
2138 /* Maximum line lengths in fixed- and free-form source, respectively.
2139 When fixed_line_length or free_line_length are 0, the whole line is used,
2140 regardless of length.
2142 If the user requests a fixed_line_length <7 then gfc_init_options()
2143 emits a fatal error. */
2144 int fixed_line_length;
2145 int free_line_length;
2146 /* Maximum number of continuation lines in fixed- and free-form source,
2148 int max_continue_fixed;
2149 int max_continue_free;
2150 int max_identifier_length;
2151 int dump_parse_tree;
2155 int warn_conversion;
2156 int warn_conversion_extra;
2157 int warn_implicit_interface;
2158 int warn_implicit_procedure;
2159 int warn_line_truncation;
2160 int warn_surprising;
2163 int warn_intrinsic_shadow;
2164 int warn_intrinsics_std;
2165 int warn_character_truncation;
2166 int warn_array_temp;
2167 int warn_align_commons;
2168 int warn_unused_dummy_argument;
2171 int flag_all_intrinsics;
2172 int flag_default_double;
2173 int flag_default_integer;
2174 int flag_default_real;
2176 int flag_underscoring;
2177 int flag_second_underscore;
2178 int flag_implicit_none;
2179 int flag_max_stack_var_size;
2180 int flag_max_array_constructor;
2181 int flag_range_check;
2182 int flag_pack_derived;
2183 int flag_repack_arrays;
2184 int flag_preprocessed;
2189 int flag_allow_leading_underscore;
2191 int flag_external_blas;
2192 int blas_matmul_limit;
2193 int flag_cray_pointer;
2197 int flag_module_private;
2199 int flag_init_local_zero;
2200 int flag_init_integer;
2201 int flag_init_integer_value;
2203 int flag_init_logical;
2204 int flag_init_character;
2205 char flag_init_character_value;
2206 int flag_align_commons;
2207 int flag_whole_file;
2208 int flag_protect_parens;
2212 gfc_fcoarray coarray;
2218 int max_subrecord_length;
2222 extern gfc_option_t gfc_option;
2224 /* Constructor nodes for array and structure constructors. */
2225 typedef struct gfc_constructor
2227 gfc_constructor_base base;
2228 mpz_t offset; /* Offset within a constructor, used as
2232 gfc_iterator *iterator;
2237 gfc_component *component; /* Record the component being initialized. */
2244 typedef struct iterator_stack
2246 gfc_symtree *variable;
2248 struct iterator_stack *prev;
2251 extern iterator_stack *iter_stack;
2254 /* Used for (possibly nested) SELECT TYPE statements. */
2255 typedef struct gfc_select_type_stack
2257 gfc_symbol *selector; /* Current selector variable. */
2258 gfc_symtree *tmp; /* Current temporary variable. */
2259 struct gfc_select_type_stack *prev; /* Previous element on stack. */
2261 gfc_select_type_stack;
2262 extern gfc_select_type_stack *select_type_stack;
2263 #define gfc_get_select_type_stack() XCNEW (gfc_select_type_stack)
2266 /* Node in the linked list used for storing finalizer procedures. */
2268 typedef struct gfc_finalizer
2270 struct gfc_finalizer* next;
2271 locus where; /* Where the FINAL declaration occurred. */
2273 /* Up to resolution, we want the gfc_symbol, there we lookup the corresponding
2274 symtree and later need only that. This way, we can access and call the
2275 finalizers from every context as they should be "always accessible". I
2276 don't make this a union because we need the information whether proc_sym is
2277 still referenced or not for dereferencing it on deleting a gfc_finalizer
2279 gfc_symbol* proc_sym;
2280 gfc_symtree* proc_tree;
2283 #define gfc_get_finalizer() XCNEW (gfc_finalizer)
2286 /************************ Function prototypes *************************/
2289 bool gfc_in_match_data (void);
2290 match gfc_match_char_spec (gfc_typespec *);
2293 void gfc_scanner_done_1 (void);
2294 void gfc_scanner_init_1 (void);
2296 void gfc_add_include_path (const char *, bool, bool);
2297 void gfc_add_intrinsic_modules_path (const char *);
2298 void gfc_release_include_path (void);
2299 FILE *gfc_open_included_file (const char *, bool, bool);
2300 FILE *gfc_open_intrinsic_module (const char *);
2302 int gfc_at_end (void);
2303 int gfc_at_eof (void);
2304 int gfc_at_bol (void);
2305 int gfc_at_eol (void);
2306 void gfc_advance_line (void);
2307 int gfc_check_include (void);
2308 int gfc_define_undef_line (void);
2310 int gfc_wide_is_printable (gfc_char_t);
2311 int gfc_wide_is_digit (gfc_char_t);
2312 int gfc_wide_fits_in_byte (gfc_char_t);
2313 gfc_char_t gfc_wide_tolower (gfc_char_t);
2314 gfc_char_t gfc_wide_toupper (gfc_char_t);
2315 size_t gfc_wide_strlen (const gfc_char_t *);
2316 int gfc_wide_strncasecmp (const gfc_char_t *, const char *, size_t);
2317 gfc_char_t *gfc_wide_memset (gfc_char_t *, gfc_char_t, size_t);
2318 char *gfc_widechar_to_char (const gfc_char_t *, int);
2319 gfc_char_t *gfc_char_to_widechar (const char *);
2321 #define gfc_get_wide_string(n) XCNEWVEC (gfc_char_t, n)
2323 void gfc_skip_comments (void);
2324 gfc_char_t gfc_next_char_literal (int);
2325 gfc_char_t gfc_next_char (void);
2326 char gfc_next_ascii_char (void);
2327 gfc_char_t gfc_peek_char (void);
2328 char gfc_peek_ascii_char (void);
2329 void gfc_error_recovery (void);
2330 void gfc_gobble_whitespace (void);
2331 gfc_try gfc_new_file (void);
2332 const char * gfc_read_orig_filename (const char *, const char **);
2334 extern gfc_source_form gfc_current_form;
2335 extern const char *gfc_source_file;
2336 extern locus gfc_current_locus;
2338 void gfc_start_source_files (void);
2339 void gfc_end_source_files (void);
2342 void *gfc_getmem (size_t) ATTRIBUTE_MALLOC;
2343 void gfc_free (void *);
2344 int gfc_terminal_width (void);
2345 void gfc_clear_ts (gfc_typespec *);
2346 FILE *gfc_open_file (const char *);
2347 const char *gfc_basic_typename (bt);
2348 const char *gfc_typename (gfc_typespec *);
2349 const char *gfc_op2string (gfc_intrinsic_op);
2350 const char *gfc_code2string (const mstring *, int);
2351 int gfc_string2code (const mstring *, const char *);
2352 const char *gfc_intent_string (sym_intent);
2354 void gfc_init_1 (void);
2355 void gfc_init_2 (void);
2356 void gfc_done_1 (void);
2357 void gfc_done_2 (void);
2359 int get_c_kind (const char *, CInteropKind_t *);
2362 unsigned int gfc_option_lang_mask (void);
2363 void gfc_init_options (unsigned int,
2364 struct cl_decoded_option *);
2365 bool gfc_handle_option (size_t, const char *, int, int,
2366 const struct cl_option_handlers *);
2367 bool gfc_post_options (const char **);
2370 void gfc_maybe_initialize_eh (void);
2373 const char * gfc_get_string (const char *, ...) ATTRIBUTE_PRINTF_1;
2374 bool gfc_find_sym_in_expr (gfc_symbol *, gfc_expr *);
2378 typedef struct gfc_error_buf
2381 size_t allocated, index;
2385 void gfc_error_init_1 (void);
2386 void gfc_buffer_error (int);
2388 const char *gfc_print_wide_char (gfc_char_t);
2390 void gfc_warning (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2391 void gfc_warning_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2392 void gfc_clear_warning (void);
2393 void gfc_warning_check (void);
2395 void gfc_error (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2396 void gfc_error_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2397 void gfc_fatal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2);
2398 void gfc_internal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2);
2399 void gfc_clear_error (void);
2400 int gfc_error_check (void);
2401 int gfc_error_flag_test (void);
2403 notification gfc_notification_std (int);
2404 gfc_try gfc_notify_std (int, const char *, ...) ATTRIBUTE_GCC_GFC(2,3);
2406 /* A general purpose syntax error. */
2407 #define gfc_syntax_error(ST) \
2408 gfc_error ("Syntax error in %s statement at %C", gfc_ascii_statement (ST));
2410 void gfc_push_error (gfc_error_buf *);
2411 void gfc_pop_error (gfc_error_buf *);
2412 void gfc_free_error (gfc_error_buf *);
2414 void gfc_get_errors (int *, int *);
2415 void gfc_errors_to_warnings (int);
2418 void gfc_arith_init_1 (void);
2419 void gfc_arith_done_1 (void);
2420 arith gfc_check_integer_range (mpz_t p, int kind);
2421 bool gfc_check_character_range (gfc_char_t, int);
2424 gfc_try gfc_check_any_c_kind (gfc_typespec *);
2425 int gfc_validate_kind (bt, int, bool);
2426 int gfc_get_int_kind_from_width_isofortranenv (int size);
2427 int gfc_get_real_kind_from_width_isofortranenv (int size);
2428 tree gfc_get_derived_type (gfc_symbol * derived);
2429 extern int gfc_index_integer_kind;
2430 extern int gfc_default_integer_kind;
2431 extern int gfc_max_integer_kind;
2432 extern int gfc_default_real_kind;
2433 extern int gfc_default_double_kind;
2434 extern int gfc_default_character_kind;
2435 extern int gfc_default_logical_kind;
2436 extern int gfc_default_complex_kind;
2437 extern int gfc_c_int_kind;
2438 extern int gfc_intio_kind;
2439 extern int gfc_charlen_int_kind;
2440 extern int gfc_numeric_storage_size;
2441 extern int gfc_character_storage_size;
2444 void gfc_clear_new_implicit (void);
2445 gfc_try gfc_add_new_implicit_range (int, int);
2446 gfc_try gfc_merge_new_implicit (gfc_typespec *);
2447 void gfc_set_implicit_none (void);
2448 void gfc_check_function_type (gfc_namespace *);
2449 bool gfc_is_intrinsic_typename (const char *);
2451 gfc_typespec *gfc_get_default_type (const char *, gfc_namespace *);
2452 gfc_try gfc_set_default_type (gfc_symbol *, int, gfc_namespace *);
2454 void gfc_set_sym_referenced (gfc_symbol *);
2456 gfc_try gfc_add_attribute (symbol_attribute *, locus *);
2457 gfc_try gfc_add_ext_attribute (symbol_attribute *, ext_attr_id_t, locus *);
2458 gfc_try gfc_add_allocatable (symbol_attribute *, locus *);
2459 gfc_try gfc_add_codimension (symbol_attribute *, const char *, locus *);
2460 gfc_try gfc_add_contiguous (symbol_attribute *, const char *, locus *);
2461 gfc_try gfc_add_dimension (symbol_attribute *, const char *, locus *);
2462 gfc_try gfc_add_external (symbol_attribute *, locus *);
2463 gfc_try gfc_add_intrinsic (symbol_attribute *, locus *);
2464 gfc_try gfc_add_optional (symbol_attribute *, locus *);
2465 gfc_try gfc_add_pointer (symbol_attribute *, locus *);
2466 gfc_try gfc_add_cray_pointer (symbol_attribute *, locus *);
2467 gfc_try gfc_add_cray_pointee (symbol_attribute *, locus *);
2468 match gfc_mod_pointee_as (gfc_array_spec *);
2469 gfc_try gfc_add_protected (symbol_attribute *, const char *, locus *);
2470 gfc_try gfc_add_result (symbol_attribute *, const char *, locus *);
2471 gfc_try gfc_add_save (symbol_attribute *, save_state, const char *, locus *);
2472 gfc_try gfc_add_threadprivate (symbol_attribute *, const char *, locus *);
2473 gfc_try gfc_add_saved_common (symbol_attribute *, locus *);
2474 gfc_try gfc_add_target (symbol_attribute *, locus *);
2475 gfc_try gfc_add_dummy (symbol_attribute *, const char *, locus *);
2476 gfc_try gfc_add_generic (symbol_attribute *, const char *, locus *);
2477 gfc_try gfc_add_common (symbol_attribute *, locus *);
2478 gfc_try gfc_add_in_common (symbol_attribute *, const char *, locus *);
2479 gfc_try gfc_add_in_equivalence (symbol_attribute *, const char *, locus *);
2480 gfc_try gfc_add_data (symbol_attribute *, const char *, locus *);
2481 gfc_try gfc_add_in_namelist (symbol_attribute *, const char *, locus *);
2482 gfc_try gfc_add_sequence (symbol_attribute *, const char *, locus *);
2483 gfc_try gfc_add_elemental (symbol_attribute *, locus *);
2484 gfc_try gfc_add_pure (symbol_attribute *, locus *);
2485 gfc_try gfc_add_recursive (symbol_attribute *, locus *);
2486 gfc_try gfc_add_function (symbol_attribute *, const char *, locus *);
2487 gfc_try gfc_add_subroutine (symbol_attribute *, const char *, locus *);
2488 gfc_try gfc_add_volatile (symbol_attribute *, const char *, locus *);
2489 gfc_try gfc_add_asynchronous (symbol_attribute *, const char *, locus *);
2490 gfc_try gfc_add_proc (symbol_attribute *attr, const char *name, locus *where);
2491 gfc_try gfc_add_abstract (symbol_attribute* attr, locus* where);
2493 gfc_try gfc_add_access (symbol_attribute *, gfc_access, const char *, locus *);
2494 gfc_try gfc_add_is_bind_c (symbol_attribute *, const char *, locus *, int);
2495 gfc_try gfc_add_extension (symbol_attribute *, locus *);
2496 gfc_try gfc_add_value (symbol_attribute *, const char *, locus *);
2497 gfc_try gfc_add_flavor (symbol_attribute *, sym_flavor, const char *, locus *);
2498 gfc_try gfc_add_entry (symbol_attribute *, const char *, locus *);
2499 gfc_try gfc_add_procedure (symbol_attribute *, procedure_type,
2500 const char *, locus *);
2501 gfc_try gfc_add_intent (symbol_attribute *, sym_intent, locus *);
2502 gfc_try gfc_add_explicit_interface (gfc_symbol *, ifsrc,
2503 gfc_formal_arglist *, locus *);
2504 gfc_try gfc_add_type (gfc_symbol *, gfc_typespec *, locus *);
2506 void gfc_clear_attr (symbol_attribute *);
2507 gfc_try gfc_missing_attr (symbol_attribute *, locus *);
2508 gfc_try gfc_copy_attr (symbol_attribute *, symbol_attribute *, locus *);
2510 gfc_try gfc_add_component (gfc_symbol *, const char *, gfc_component **);
2511 gfc_symbol *gfc_use_derived (gfc_symbol *);
2512 gfc_symtree *gfc_use_derived_tree (gfc_symtree *);
2513 gfc_component *gfc_find_component (gfc_symbol *, const char *, bool, bool);
2515 gfc_st_label *gfc_get_st_label (int);
2516 void gfc_free_st_label (gfc_st_label *);
2517 void gfc_define_st_label (gfc_st_label *, gfc_sl_type, locus *);
2518 gfc_try gfc_reference_st_label (gfc_st_label *, gfc_sl_type);
2520 gfc_expr * gfc_lval_expr_from_sym (gfc_symbol *);
2522 gfc_namespace *gfc_get_namespace (gfc_namespace *, int);
2523 gfc_symtree *gfc_new_symtree (gfc_symtree **, const char *);
2524 gfc_symtree *gfc_find_symtree (gfc_symtree *, const char *);
2525 void gfc_delete_symtree (gfc_symtree **, const char *);
2526 gfc_symtree *gfc_get_unique_symtree (gfc_namespace *);
2527 gfc_user_op *gfc_get_uop (const char *);
2528 gfc_user_op *gfc_find_uop (const char *, gfc_namespace *);
2529 void gfc_free_symbol (gfc_symbol *);
2530 void gfc_release_symbol (gfc_symbol *);
2531 gfc_symbol *gfc_new_symbol (const char *, gfc_namespace *);
2532 gfc_symtree* gfc_find_symtree_in_proc (const char *, gfc_namespace *);
2533 int gfc_find_symbol (const char *, gfc_namespace *, int, gfc_symbol **);
2534 int gfc_find_sym_tree (const char *, gfc_namespace *, int, gfc_symtree **);
2535 int gfc_get_symbol (const char *, gfc_namespace *, gfc_symbol **);
2536 gfc_try verify_c_interop (gfc_typespec *);
2537 gfc_try verify_c_interop_param (gfc_symbol *);
2538 gfc_try verify_bind_c_sym (gfc_symbol *, gfc_typespec *, int, gfc_common_head *);
2539 gfc_try verify_bind_c_derived_type (gfc_symbol *);
2540 gfc_try verify_com_block_vars_c_interop (gfc_common_head *);
2541 void generate_isocbinding_symbol (const char *, iso_c_binding_symbol, const char *);
2542 gfc_symbol *get_iso_c_sym (gfc_symbol *, char *, char *, int);
2543 int gfc_get_sym_tree (const char *, gfc_namespace *, gfc_symtree **, bool);
2544 int gfc_get_ha_symbol (const char *, gfc_symbol **);
2545 int gfc_get_ha_sym_tree (const char *, gfc_symtree **);
2547 int gfc_symbols_could_alias (gfc_symbol *, gfc_symbol *);
2549 void gfc_undo_symbols (void);
2550 void gfc_commit_symbols (void);
2551 void gfc_commit_symbol (gfc_symbol *);
2552 gfc_charlen *gfc_new_charlen (gfc_namespace *, gfc_charlen *);
2553 void gfc_free_charlen (gfc_charlen *, gfc_charlen *);
2554 void gfc_free_namespace (gfc_namespace *);
2556 void gfc_symbol_init_2 (void);
2557 void gfc_symbol_done_2 (void);
2559 void gfc_traverse_symtree (gfc_symtree *, void (*)(gfc_symtree *));
2560 void gfc_traverse_ns (gfc_namespace *, void (*)(gfc_symbol *));
2561 void gfc_traverse_user_op (gfc_namespace *, void (*)(gfc_user_op *));
2562 void gfc_save_all (gfc_namespace *);
2564 void gfc_enforce_clean_symbol_state (void);
2565 void gfc_free_dt_list (void);
2568 gfc_gsymbol *gfc_get_gsymbol (const char *);
2569 gfc_gsymbol *gfc_find_gsymbol (gfc_gsymbol *, const char *);
2571 gfc_typebound_proc* gfc_get_typebound_proc (gfc_typebound_proc*);
2572 gfc_symbol* gfc_get_derived_super_type (gfc_symbol*);
2573 gfc_symbol* gfc_get_ultimate_derived_super_type (gfc_symbol*);
2574 bool gfc_type_is_extension_of (gfc_symbol *, gfc_symbol *);
2575 bool gfc_type_compatible (gfc_typespec *, gfc_typespec *);
2577 void gfc_copy_formal_args (gfc_symbol *, gfc_symbol *);
2578 void gfc_copy_formal_args_intr (gfc_symbol *, gfc_intrinsic_sym *);
2579 void gfc_copy_formal_args_ppc (gfc_component *, gfc_symbol *);
2581 void gfc_free_finalizer (gfc_finalizer *el); /* Needed in resolve.c, too */
2583 gfc_try gfc_check_symbol_typed (gfc_symbol*, gfc_namespace*, bool, locus);
2584 gfc_namespace* gfc_find_proc_namespace (gfc_namespace*);
2586 bool gfc_is_associate_pointer (gfc_symbol*);
2588 /* intrinsic.c -- true if working in an init-expr, false otherwise. */
2589 extern bool gfc_init_expr_flag;
2591 /* Given a symbol that we have decided is intrinsic, mark it as such
2592 by placing it into a special module that is otherwise impossible to
2595 #define gfc_intrinsic_symbol(SYM) SYM->module = gfc_get_string ("(intrinsic)")
2597 void gfc_intrinsic_init_1 (void);
2598 void gfc_intrinsic_done_1 (void);
2600 char gfc_type_letter (bt);
2601 gfc_symbol * gfc_get_intrinsic_sub_symbol (const char *);
2602 gfc_try gfc_convert_type (gfc_expr *, gfc_typespec *, int);
2603 gfc_try gfc_convert_type_warn (gfc_expr *, gfc_typespec *, int, int);
2604 gfc_try gfc_convert_chartype (gfc_expr *, gfc_typespec *);
2605 int gfc_generic_intrinsic (const char *);
2606 int gfc_specific_intrinsic (const char *);
2607 bool gfc_is_intrinsic (gfc_symbol*, int, locus);
2608 int gfc_intrinsic_actual_ok (const char *, const bool);
2609 gfc_intrinsic_sym *gfc_find_function (const char *);
2610 gfc_intrinsic_sym *gfc_find_subroutine (const char *);
2612 match gfc_intrinsic_func_interface (gfc_expr *, int);
2613 match gfc_intrinsic_sub_interface (gfc_code *, int);
2615 void gfc_warn_intrinsic_shadow (const gfc_symbol*, bool, bool);
2616 gfc_try gfc_check_intrinsic_standard (const gfc_intrinsic_sym*, const char**,
2619 /* match.c -- FIXME */
2620 void gfc_free_iterator (gfc_iterator *, int);
2621 void gfc_free_forall_iterator (gfc_forall_iterator *);
2622 void gfc_free_alloc_list (gfc_alloc *);
2623 void gfc_free_namelist (gfc_namelist *);
2624 void gfc_free_equiv (gfc_equiv *);
2625 void gfc_free_equiv_until (gfc_equiv *, gfc_equiv *);
2626 void gfc_free_data (gfc_data *);
2627 void gfc_free_case_list (gfc_case *);
2629 /* matchexp.c -- FIXME too? */
2630 gfc_expr *gfc_get_parentheses (gfc_expr *);
2633 void gfc_free_omp_clauses (gfc_omp_clauses *);
2634 void gfc_resolve_omp_directive (gfc_code *, gfc_namespace *);
2635 void gfc_resolve_do_iterator (gfc_code *, gfc_symbol *);
2636 void gfc_resolve_omp_parallel_blocks (gfc_code *, gfc_namespace *);
2637 void gfc_resolve_omp_do_blocks (gfc_code *, gfc_namespace *);
2640 void gfc_free_actual_arglist (gfc_actual_arglist *);
2641 gfc_actual_arglist *gfc_copy_actual_arglist (gfc_actual_arglist *);
2642 const char *gfc_extract_int (gfc_expr *, int *);
2643 bool is_subref_array (gfc_expr *);
2644 bool gfc_is_simply_contiguous (gfc_expr *, bool);
2646 gfc_expr *gfc_build_conversion (gfc_expr *);
2647 void gfc_free_ref_list (gfc_ref *);
2648 void gfc_type_convert_binary (gfc_expr *, int);
2649 int gfc_is_constant_expr (gfc_expr *);
2650 gfc_try gfc_simplify_expr (gfc_expr *, int);
2651 int gfc_has_vector_index (gfc_expr *);
2653 gfc_expr *gfc_get_expr (void);
2654 gfc_expr *gfc_get_array_expr (bt type, int kind, locus *);
2655 gfc_expr *gfc_get_null_expr (locus *);
2656 gfc_expr *gfc_get_operator_expr (locus *, gfc_intrinsic_op,gfc_expr *, gfc_expr *);
2657 gfc_expr *gfc_get_structure_constructor_expr (bt, int, locus *);
2658 gfc_expr *gfc_get_constant_expr (bt, int, locus *);
2659 gfc_expr *gfc_get_character_expr (int, locus *, const char *, int len);
2660 gfc_expr *gfc_get_int_expr (int, locus *, int);
2661 gfc_expr *gfc_get_logical_expr (int, locus *, bool);
2662 gfc_expr *gfc_get_iokind_expr (locus *, io_kind);
2664 void gfc_free_expr (gfc_expr *);
2665 void gfc_replace_expr (gfc_expr *, gfc_expr *);
2666 mpz_t *gfc_copy_shape (mpz_t *, int);
2667 mpz_t *gfc_copy_shape_excluding (mpz_t *, int, gfc_expr *);
2668 gfc_expr *gfc_copy_expr (gfc_expr *);
2669 gfc_ref* gfc_copy_ref (gfc_ref*);
2671 gfc_try gfc_specification_expr (gfc_expr *);
2673 int gfc_numeric_ts (gfc_typespec *);
2674 int gfc_kind_max (gfc_expr *, gfc_expr *);
2676 gfc_try gfc_check_conformance (gfc_expr *, gfc_expr *, const char *, ...) ATTRIBUTE_PRINTF_3;
2677 gfc_try gfc_check_assign (gfc_expr *, gfc_expr *, int);
2678 gfc_try gfc_check_pointer_assign (gfc_expr *, gfc_expr *);
2679 gfc_try gfc_check_assign_symbol (gfc_symbol *, gfc_expr *);
2681 bool gfc_has_default_initializer (gfc_symbol *);
2682 gfc_expr *gfc_default_initializer (gfc_typespec *);
2683 gfc_expr *gfc_get_variable_expr (gfc_symtree *);
2685 gfc_array_spec *gfc_get_full_arrayspec_from_expr (gfc_expr *expr);
2687 bool gfc_traverse_expr (gfc_expr *, gfc_symbol *,
2688 bool (*)(gfc_expr *, gfc_symbol *, int*),
2690 void gfc_expr_set_symbols_referenced (gfc_expr *);
2691 gfc_try gfc_expr_check_typed (gfc_expr*, gfc_namespace*, bool);
2692 void gfc_expr_replace_symbols (gfc_expr *, gfc_symbol *);
2693 void gfc_expr_replace_comp (gfc_expr *, gfc_component *);
2695 bool gfc_is_proc_ptr_comp (gfc_expr *, gfc_component **);
2697 bool gfc_is_coindexed (gfc_expr *);
2698 bool gfc_get_corank (gfc_expr *);
2699 bool gfc_has_ultimate_allocatable (gfc_expr *);
2700 bool gfc_has_ultimate_pointer (gfc_expr *);
2702 gfc_expr* gfc_build_intrinsic_call (const char*, locus, unsigned, ...);
2706 extern gfc_code new_st;
2708 void gfc_clear_new_st (void);
2709 gfc_code *gfc_get_code (void);
2710 gfc_code *gfc_append_code (gfc_code *, gfc_code *);
2711 void gfc_free_statement (gfc_code *);
2712 void gfc_free_statements (gfc_code *);
2713 void gfc_free_association_list (gfc_association_list *);
2716 gfc_try gfc_resolve_expr (gfc_expr *);
2717 void gfc_resolve (gfc_namespace *);
2718 void gfc_resolve_blocks (gfc_code *, gfc_namespace *);
2719 int gfc_impure_variable (gfc_symbol *);
2720 int gfc_pure (gfc_symbol *);
2721 int gfc_elemental (gfc_symbol *);
2722 gfc_try gfc_resolve_iterator (gfc_iterator *, bool);
2723 gfc_try find_forall_index (gfc_expr *, gfc_symbol *, int);
2724 gfc_try gfc_resolve_index (gfc_expr *, int);
2725 gfc_try gfc_resolve_dim_arg (gfc_expr *);
2726 int gfc_is_formal_arg (void);
2727 void gfc_resolve_substring_charlen (gfc_expr *);
2728 match gfc_iso_c_sub_interface(gfc_code *, gfc_symbol *);
2729 gfc_expr *gfc_expr_to_initialize (gfc_expr *);
2730 bool gfc_type_is_extensible (gfc_symbol *sym);
2734 gfc_iterator *gfc_copy_iterator (gfc_iterator *);
2736 void gfc_free_array_spec (gfc_array_spec *);
2737 gfc_array_ref *gfc_copy_array_ref (gfc_array_ref *);
2739 gfc_try gfc_set_array_spec (gfc_symbol *, gfc_array_spec *, locus *);
2740 gfc_array_spec *gfc_copy_array_spec (gfc_array_spec *);
2741 gfc_try gfc_resolve_array_spec (gfc_array_spec *, int);
2743 int gfc_compare_array_spec (gfc_array_spec *, gfc_array_spec *);
2745 void gfc_simplify_iterator_var (gfc_expr *);
2746 gfc_try gfc_expand_constructor (gfc_expr *, bool);
2747 int gfc_constant_ac (gfc_expr *);
2748 int gfc_expanded_ac (gfc_expr *);
2749 gfc_try gfc_resolve_character_array_constructor (gfc_expr *);
2750 gfc_try gfc_resolve_array_constructor (gfc_expr *);
2751 gfc_try gfc_check_constructor_type (gfc_expr *);
2752 gfc_try gfc_check_iter_variable (gfc_expr *);
2753 gfc_try gfc_check_constructor (gfc_expr *, gfc_try (*)(gfc_expr *));
2754 gfc_try gfc_array_size (gfc_expr *, mpz_t *);
2755 gfc_try gfc_array_dimen_size (gfc_expr *, int, mpz_t *);
2756 gfc_try gfc_array_ref_shape (gfc_array_ref *, mpz_t *);
2757 gfc_array_ref *gfc_find_array_ref (gfc_expr *);
2758 tree gfc_conv_array_initializer (tree type, gfc_expr *);
2759 gfc_try spec_size (gfc_array_spec *, mpz_t *);
2760 gfc_try spec_dimen_size (gfc_array_spec *, int, mpz_t *);
2761 int gfc_is_compile_time_shape (gfc_array_spec *);
2763 gfc_try gfc_ref_dimen_size (gfc_array_ref *, int dimen, mpz_t *, mpz_t *);
2766 /* interface.c -- FIXME: some of these should be in symbol.c */
2767 void gfc_free_interface (gfc_interface *);
2768 int gfc_compare_derived_types (gfc_symbol *, gfc_symbol *);
2769 int gfc_compare_types (gfc_typespec *, gfc_typespec *);
2770 int gfc_compare_interfaces (gfc_symbol*, gfc_symbol*, const char *, int, int,
2772 void gfc_check_interfaces (gfc_namespace *);
2773 void gfc_procedure_use (gfc_symbol *, gfc_actual_arglist **, locus *);
2774 void gfc_ppc_use (gfc_component *, gfc_actual_arglist **, locus *);
2775 gfc_symbol *gfc_search_interface (gfc_interface *, int,
2776 gfc_actual_arglist **);
2777 gfc_try gfc_extend_expr (gfc_expr *, bool *);
2778 void gfc_free_formal_arglist (gfc_formal_arglist *);
2779 gfc_try gfc_extend_assign (gfc_code *, gfc_namespace *);
2780 gfc_try gfc_add_interface (gfc_symbol *);
2781 gfc_interface *gfc_current_interface_head (void);
2782 void gfc_set_current_interface_head (gfc_interface *);
2783 gfc_symtree* gfc_find_sym_in_symtree (gfc_symbol*);
2784 bool gfc_arglist_matches_symbol (gfc_actual_arglist**, gfc_symbol*);
2785 bool gfc_check_operator_interface (gfc_symbol*, gfc_intrinsic_op, locus);
2786 int gfc_has_vector_subscript (gfc_expr*);
2789 extern gfc_st_label format_asterisk;
2791 void gfc_free_open (gfc_open *);
2792 gfc_try gfc_resolve_open (gfc_open *);
2793 void gfc_free_close (gfc_close *);
2794 gfc_try gfc_resolve_close (gfc_close *);
2795 void gfc_free_filepos (gfc_filepos *);
2796 gfc_try gfc_resolve_filepos (gfc_filepos *);
2797 void gfc_free_inquire (gfc_inquire *);
2798 gfc_try gfc_resolve_inquire (gfc_inquire *);
2799 void gfc_free_dt (gfc_dt *);
2800 gfc_try gfc_resolve_dt (gfc_dt *, locus *);
2801 void gfc_free_wait (gfc_wait *);
2802 gfc_try gfc_resolve_wait (gfc_wait *);
2805 void gfc_module_init_2 (void);
2806 void gfc_module_done_2 (void);
2807 void gfc_dump_module (const char *, int);
2808 bool gfc_check_access (gfc_access, gfc_access);
2809 void gfc_free_use_stmts (gfc_use_list *);
2812 symbol_attribute gfc_variable_attr (gfc_expr *, gfc_typespec *);
2813 symbol_attribute gfc_expr_attr (gfc_expr *);
2814 match gfc_match_rvalue (gfc_expr **);
2815 match gfc_match_varspec (gfc_expr*, int, bool, bool);
2816 int gfc_check_digit (char, int);
2817 bool gfc_is_function_return_value (gfc_symbol *, gfc_namespace *);
2820 void gfc_generate_code (gfc_namespace *);
2821 void gfc_generate_module_code (gfc_namespace *);
2824 typedef int (*compare_fn) (void *, void *);
2825 void gfc_insert_bbt (void *, void *, compare_fn);
2826 void gfc_delete_bbt (void *, void *, compare_fn);
2828 /* dump-parse-tree.c */
2829 void gfc_dump_parse_tree (gfc_namespace *, FILE *);
2832 gfc_try gfc_parse_file (void);
2833 void gfc_global_used (gfc_gsymbol *, locus *);
2836 int gfc_dep_compare_expr (gfc_expr *, gfc_expr *);
2839 gfc_try gfc_check_same_strlen (const gfc_expr*, const gfc_expr*, const char*);
2842 void gfc_add_component_ref (gfc_expr *, const char *);
2843 gfc_expr *gfc_class_null_initializer (gfc_typespec *);
2844 gfc_try gfc_build_class_symbol (gfc_typespec *, symbol_attribute *,
2845 gfc_array_spec **, bool);
2846 gfc_symbol *gfc_find_derived_vtab (gfc_symbol *);
2847 gfc_symtree* gfc_find_typebound_proc (gfc_symbol*, gfc_try*,
2848 const char*, bool, locus*);
2849 gfc_symtree* gfc_find_typebound_user_op (gfc_symbol*, gfc_try*,
2850 const char*, bool, locus*);
2851 gfc_typebound_proc* gfc_find_typebound_intrinsic_op (gfc_symbol*, gfc_try*,
2852 gfc_intrinsic_op, bool,
2854 gfc_symtree* gfc_get_tbp_symtree (gfc_symtree**, const char*);
2856 #define CLASS_DATA(sym) sym->ts.u.derived->components
2858 /* frontend-passes.c */
2860 void gfc_run_passes (gfc_namespace *);
2862 #endif /* GCC_GFORTRAN_H */