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"
42 /* Major control parameters. */
44 #define GFC_MAX_SYMBOL_LEN 63 /* Must be at least 63 for F2003. */
45 #define GFC_MAX_BINDING_LABEL_LEN 126 /* (2 * GFC_MAX_SYMBOL_LEN) */
46 #define GFC_MAX_LINE 132 /* Characters beyond this are not seen. */
47 #define GFC_LETTERS 26 /* Number of letters in the alphabet. */
49 #define MAX_SUBRECORD_LENGTH 2147483639 /* 2**31-9 */
52 #define gfc_is_whitespace(c) ((c==' ') || (c=='\t'))
55 #define stringize(x) expand_macro(x)
56 #define expand_macro(x) # x
58 /* For the runtime library, a standard prefix is a requirement to
59 avoid cluttering the namespace with things nobody asked for. It's
60 ugly to look at and a pain to type when you add the prefix by hand,
61 so we hide it behind a macro. */
62 #define PREFIX(x) "_gfortran_" x
65 #define BLANK_COMMON_NAME "__BLNK__"
67 /* Macro to initialize an mstring structure. */
68 #define minit(s, t) { s, NULL, t }
70 /* Structure for storing strings to be matched by gfc_match_string. */
81 /*************************** Enums *****************************/
83 /* Used when matching and resolving data I/O transfer statements. */
86 { M_READ, M_WRITE, M_PRINT, M_INQUIRE }
89 /* The author remains confused to this day about the convention of
90 returning '0' for 'SUCCESS'... or was it the other way around? The
91 following enum makes things much more readable. We also start
92 values off at one instead of zero. */
95 { SUCCESS = 1, FAILURE }
98 /* These are flags for identifying whether we are reading a character literal
99 between quotes or normal source code. */
102 { NONSTRING = 0, INSTRING_WARN, INSTRING_NOWARN }
105 /* This is returned by gfc_notification_std to know if, given the flags
106 that were given (-std=, -pedantic) we should issue an error, a warning
110 { SILENT, WARNING, ERROR }
113 /* Matchers return one of these three values. The difference between
114 MATCH_NO and MATCH_ERROR is that MATCH_ERROR means that a match was
115 successful, but that something non-syntactic is wrong and an error
116 has already been issued. */
119 { MATCH_NO = 1, MATCH_YES, MATCH_ERROR }
122 /* Used for different Fortran source forms in places like scanner.c. */
124 { FORM_FREE, FORM_FIXED, FORM_UNKNOWN }
127 /* Expression node types. */
129 { EXPR_OP = 1, EXPR_FUNCTION, EXPR_CONSTANT, EXPR_VARIABLE,
130 EXPR_SUBSTRING, EXPR_STRUCTURE, EXPR_ARRAY, EXPR_NULL, EXPR_COMPCALL, EXPR_PPC
136 { AS_EXPLICIT = 1, AS_ASSUMED_SHAPE, AS_DEFERRED,
137 AS_ASSUMED_SIZE, AS_IMPLIED_SHAPE, AS_UNKNOWN
142 { AR_FULL = 1, AR_ELEMENT, AR_SECTION, AR_UNKNOWN }
145 /* Statement label types. */
147 { ST_LABEL_UNKNOWN = 1, ST_LABEL_TARGET,
148 ST_LABEL_BAD_TARGET, ST_LABEL_FORMAT
152 /* Intrinsic operators. */
154 { GFC_INTRINSIC_BEGIN = 0,
155 INTRINSIC_NONE = -1, INTRINSIC_UPLUS = GFC_INTRINSIC_BEGIN,
156 INTRINSIC_UMINUS, INTRINSIC_PLUS, INTRINSIC_MINUS, INTRINSIC_TIMES,
157 INTRINSIC_DIVIDE, INTRINSIC_POWER, INTRINSIC_CONCAT,
158 INTRINSIC_AND, INTRINSIC_OR, INTRINSIC_EQV, INTRINSIC_NEQV,
159 /* ==, /=, >, >=, <, <= */
160 INTRINSIC_EQ, INTRINSIC_NE, INTRINSIC_GT, INTRINSIC_GE,
161 INTRINSIC_LT, INTRINSIC_LE,
162 /* .EQ., .NE., .GT., .GE., .LT., .LE. (OS = Old-Style) */
163 INTRINSIC_EQ_OS, INTRINSIC_NE_OS, INTRINSIC_GT_OS, INTRINSIC_GE_OS,
164 INTRINSIC_LT_OS, INTRINSIC_LE_OS,
165 INTRINSIC_NOT, INTRINSIC_USER, INTRINSIC_ASSIGN,
166 INTRINSIC_PARENTHESES, GFC_INTRINSIC_END /* Sentinel */
170 /* This macro is the number of intrinsic operators that exist.
171 Assumptions are made about the numbering of the interface_op enums. */
172 #define GFC_INTRINSIC_OPS GFC_INTRINSIC_END
174 /* Arithmetic results. */
176 { ARITH_OK = 1, ARITH_OVERFLOW, ARITH_UNDERFLOW, ARITH_NAN,
177 ARITH_DIV0, ARITH_INCOMMENSURATE, ARITH_ASYMMETRIC, ARITH_PROHIBIT
184 ST_ARITHMETIC_IF, ST_ALLOCATE, ST_ATTR_DECL, ST_ASSOCIATE,
185 ST_BACKSPACE, ST_BLOCK, ST_BLOCK_DATA,
186 ST_CALL, ST_CASE, ST_CLOSE, ST_COMMON, ST_CONTINUE, ST_CONTAINS, ST_CYCLE,
187 ST_DATA, ST_DATA_DECL, ST_DEALLOCATE, ST_DO, ST_ELSE, ST_ELSEIF,
188 ST_ELSEWHERE, ST_END_ASSOCIATE, ST_END_BLOCK, ST_END_BLOCK_DATA,
189 ST_ENDDO, ST_IMPLIED_ENDDO,
190 ST_END_FILE, ST_FINAL, ST_FLUSH, ST_END_FORALL, ST_END_FUNCTION, ST_ENDIF,
191 ST_END_INTERFACE, ST_END_MODULE, ST_END_PROGRAM, ST_END_SELECT,
192 ST_END_SUBROUTINE, ST_END_WHERE, ST_END_TYPE, ST_ENTRY, ST_EQUIVALENCE,
193 ST_ERROR_STOP, ST_EXIT, ST_FORALL, ST_FORALL_BLOCK, ST_FORMAT, ST_FUNCTION,
194 ST_GOTO, ST_IF_BLOCK, ST_IMPLICIT, ST_IMPLICIT_NONE, ST_IMPORT,
195 ST_INQUIRE, ST_INTERFACE, ST_SYNC_ALL, ST_SYNC_MEMORY, ST_SYNC_IMAGES,
196 ST_PARAMETER, ST_MODULE, ST_MODULE_PROC, ST_NAMELIST, ST_NULLIFY, ST_OPEN,
197 ST_PAUSE, ST_PRIVATE, ST_PROGRAM, ST_PUBLIC, ST_READ, ST_RETURN, ST_REWIND,
198 ST_STOP, ST_SUBROUTINE, ST_TYPE, ST_USE, ST_WHERE_BLOCK, ST_WHERE, ST_WAIT,
199 ST_WRITE, ST_ASSIGNMENT, ST_POINTER_ASSIGNMENT, ST_SELECT_CASE, ST_SEQUENCE,
200 ST_SIMPLE_IF, ST_STATEMENT_FUNCTION, ST_DERIVED_DECL, ST_LABEL_ASSIGNMENT,
201 ST_ENUM, ST_ENUMERATOR, ST_END_ENUM, ST_SELECT_TYPE, ST_TYPE_IS, ST_CLASS_IS,
202 ST_OMP_ATOMIC, ST_OMP_BARRIER, ST_OMP_CRITICAL, ST_OMP_END_CRITICAL,
203 ST_OMP_END_DO, ST_OMP_END_MASTER, ST_OMP_END_ORDERED, ST_OMP_END_PARALLEL,
204 ST_OMP_END_PARALLEL_DO, ST_OMP_END_PARALLEL_SECTIONS,
205 ST_OMP_END_PARALLEL_WORKSHARE, ST_OMP_END_SECTIONS, ST_OMP_END_SINGLE,
206 ST_OMP_END_WORKSHARE, ST_OMP_DO, ST_OMP_FLUSH, ST_OMP_MASTER, ST_OMP_ORDERED,
207 ST_OMP_PARALLEL, ST_OMP_PARALLEL_DO, ST_OMP_PARALLEL_SECTIONS,
208 ST_OMP_PARALLEL_WORKSHARE, ST_OMP_SECTIONS, ST_OMP_SECTION, ST_OMP_SINGLE,
209 ST_OMP_THREADPRIVATE, ST_OMP_WORKSHARE, ST_OMP_TASK, ST_OMP_END_TASK,
210 ST_OMP_TASKWAIT, ST_PROCEDURE, ST_GENERIC, ST_CRITICAL, ST_END_CRITICAL,
211 ST_GET_FCN_CHARACTERISTICS, ST_LOCK, ST_UNLOCK, ST_NONE
215 /* Types of interfaces that we can have. Assignment interfaces are
216 considered to be intrinsic operators. */
219 INTERFACE_NAMELESS = 1, INTERFACE_GENERIC,
220 INTERFACE_INTRINSIC_OP, INTERFACE_USER_OP, INTERFACE_ABSTRACT
224 /* Symbol flavors: these are all mutually exclusive.
225 10 elements = 4 bits. */
226 typedef enum sym_flavor
228 FL_UNKNOWN = 0, FL_PROGRAM, FL_BLOCK_DATA, FL_MODULE, FL_VARIABLE,
229 FL_PARAMETER, FL_LABEL, FL_PROCEDURE, FL_DERIVED, FL_NAMELIST,
234 /* Procedure types. 7 elements = 3 bits. */
235 typedef enum procedure_type
236 { PROC_UNKNOWN, PROC_MODULE, PROC_INTERNAL, PROC_DUMMY,
237 PROC_INTRINSIC, PROC_ST_FUNCTION, PROC_EXTERNAL
242 typedef enum sym_intent
243 { INTENT_UNKNOWN = 0, INTENT_IN, INTENT_OUT, INTENT_INOUT
248 typedef enum gfc_access
249 { ACCESS_UNKNOWN = 0, ACCESS_PUBLIC, ACCESS_PRIVATE
253 /* Flags to keep track of where an interface came from.
254 3 elements = 2 bits. */
256 { IFSRC_UNKNOWN = 0, /* Interface unknown, only return type may be known. */
257 IFSRC_DECL, /* FUNCTION or SUBROUTINE declaration. */
258 IFSRC_IFBODY /* INTERFACE statement or PROCEDURE statement
259 with explicit interface. */
263 /* Whether a SAVE attribute was set explicitly or implicitly. */
264 typedef enum save_state
265 { SAVE_NONE = 0, SAVE_EXPLICIT, SAVE_IMPLICIT
269 /* Strings for all symbol attributes. We use these for dumping the
270 parse tree, in error messages, and also when reading and writing
271 modules. In symbol.c. */
272 extern const mstring flavors[];
273 extern const mstring procedures[];
274 extern const mstring intents[];
275 extern const mstring access_types[];
276 extern const mstring ifsrc_types[];
277 extern const mstring save_status[];
279 /* Enumeration of all the generic intrinsic functions. Used by the
280 backend for identification of a function. */
284 /* GFC_ISYM_NONE is used for intrinsics which will never be seen by
285 the backend (e.g. KIND). */
322 GFC_ISYM_COMMAND_ARGUMENT_COUNT,
323 GFC_ISYM_COMPILER_OPTIONS,
324 GFC_ISYM_COMPILER_VERSION,
335 GFC_ISYM_DATE_AND_TIME,
339 GFC_ISYM_DOT_PRODUCT,
348 GFC_ISYM_ERFC_SCALED,
350 GFC_ISYM_EXECUTE_COMMAND_LINE,
354 GFC_ISYM_EXTENDS_TYPE_OF,
371 GFC_ISYM_GET_COMMAND,
372 GFC_ISYM_GET_COMMAND_ARGUMENT,
375 GFC_ISYM_GET_ENVIRONMENT_VARIABLE,
396 GFC_ISYM_IMAGE_INDEX,
405 GFC_ISYM_IS_IOSTAT_END,
406 GFC_ISYM_IS_IOSTAT_EOR,
441 GFC_ISYM_MAXEXPONENT,
449 GFC_ISYM_MINEXPONENT,
474 GFC_ISYM_RANDOM_NUMBER,
475 GFC_ISYM_RANDOM_SEED,
484 GFC_ISYM_SAME_TYPE_AS,
490 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,
591 /************************* Structures *****************************/
593 /* Used for keeping things in balanced binary trees. */
594 #define BBT_HEADER(self) int priority; struct self *left, *right
596 #define NAMED_INTCST(a,b,c,d) a,
597 #define NAMED_KINDARRAY(a,b,c,d) a,
598 #define NAMED_FUNCTION(a,b,c,d) a,
599 #define NAMED_DERIVED_TYPE(a,b,c,d) a,
602 ISOFORTRANENV_INVALID = -1,
603 #include "iso-fortran-env.def"
604 ISOFORTRANENV_LAST, ISOFORTRANENV_NUMBER = ISOFORTRANENV_LAST
606 iso_fortran_env_symbol;
608 #undef NAMED_KINDARRAY
609 #undef NAMED_FUNCTION
610 #undef NAMED_DERIVED_TYPE
612 #define NAMED_INTCST(a,b,c,d) a,
613 #define NAMED_REALCST(a,b,c) a,
614 #define NAMED_CMPXCST(a,b,c) a,
615 #define NAMED_LOGCST(a,b,c) a,
616 #define NAMED_CHARKNDCST(a,b,c) a,
617 #define NAMED_CHARCST(a,b,c) a,
618 #define DERIVED_TYPE(a,b,c) a,
619 #define PROCEDURE(a,b) a,
620 #define NAMED_FUNCTION(a,b,c,d) a,
623 ISOCBINDING_INVALID = -1,
624 #include "iso-c-binding.def"
626 ISOCBINDING_NUMBER = ISOCBINDING_LAST
628 iso_c_binding_symbol;
633 #undef NAMED_CHARKNDCST
637 #undef NAMED_FUNCTION
641 INTMOD_NONE = 0, INTMOD_ISO_FORTRAN_ENV, INTMOD_ISO_C_BINDING
647 char name[GFC_MAX_SYMBOL_LEN + 1];
648 int value; /* Used for both integer and character values. */
653 /* Array of structs, where the structs represent the C interop kinds.
654 The list will be implemented based on a hash of the kind name since
655 these could be accessed multiple times.
656 Declared in trans-types.c as a global, since it's in that file
657 that the list is initialized. */
658 extern CInteropKind_t c_interop_kinds_table[];
661 /* Structure and list of supported extension attributes. */
664 EXT_ATTR_DLLIMPORT = 0,
669 EXT_ATTR_LAST, EXT_ATTR_NUM = EXT_ATTR_LAST
677 const char *middle_end_name;
681 extern const ext_attr_t ext_attr_list[];
683 /* Symbol attribute structure. */
686 /* Variable attributes. */
687 unsigned allocatable:1, dimension:1, codimension:1, external:1, intrinsic:1,
688 optional:1, pointer:1, target:1, value:1, volatile_:1, temporary:1,
689 dummy:1, result:1, assign:1, threadprivate:1, not_always_present:1,
690 implied_index:1, subref_array_pointer:1, proc_pointer:1, asynchronous:1,
693 /* For CLASS containers, the pointer attribute is sometimes set internally
694 even though it was not directly specified. In this case, keep the
695 "real" (original) value here. */
696 unsigned class_pointer:1;
698 ENUM_BITFIELD (save_state) save:2;
700 unsigned data:1, /* Symbol is named in a DATA statement. */
701 is_protected:1, /* Symbol has been marked as protected. */
702 use_assoc:1, /* Symbol has been use-associated. */
703 use_only:1, /* Symbol has been use-associated, with ONLY. */
704 use_rename:1, /* Symbol has been use-associated and renamed. */
705 imported:1, /* Symbol has been associated by IMPORT. */
706 host_assoc:1; /* Symbol has been host associated. */
708 unsigned in_namelist:1, in_common:1, in_equivalence:1;
709 unsigned function:1, subroutine:1, procedure:1;
710 unsigned generic:1, generic_copy:1;
711 unsigned implicit_type:1; /* Type defined via implicit rules. */
712 unsigned untyped:1; /* No implicit type could be found. */
714 unsigned is_bind_c:1; /* say if is bound to C. */
715 unsigned extension:8; /* extension level of a derived type. */
716 unsigned is_class:1; /* is a CLASS container. */
717 unsigned class_ok:1; /* is a CLASS object with correct attributes. */
718 unsigned vtab:1; /* is a derived type vtab, pointed to by CLASS objects. */
719 unsigned vtype:1; /* is a derived type of a vtab. */
721 /* These flags are both in the typespec and attribute. The attribute
722 list is what gets read from/written to a module file. The typespec
723 is created from a decl being processed. */
724 unsigned is_c_interop:1; /* It's c interoperable. */
725 unsigned is_iso_c:1; /* Symbol is from iso_c_binding. */
727 /* Function/subroutine attributes */
728 unsigned sequence:1, elemental:1, pure:1, recursive:1;
729 unsigned unmaskable:1, masked:1, contained:1, mod_proc:1, abstract:1;
731 /* This is set if a contained procedure could be declared pure. This is
732 used for certain optimizations that require the result or arguments
733 cannot alias. Note that this is zero for PURE procedures. */
734 unsigned implicit_pure:1;
736 /* This is set if the subroutine doesn't return. Currently, this
737 is only possible for intrinsic subroutines. */
740 /* Set if this procedure is an alternate entry point. These procedures
741 don't have any code associated, and the backend will turn them into
742 thunks to the master function. */
745 /* Set if this is the master function for a procedure with multiple
747 unsigned entry_master:1;
749 /* Set if this is the master function for a function with multiple
750 entry points where characteristics of the entry points differ. */
751 unsigned mixed_entry_master:1;
753 /* Set if a function must always be referenced by an explicit interface. */
754 unsigned always_explicit:1;
756 /* Set if the symbol has been referenced in an expression. No further
757 modification of type or type parameters is permitted. */
758 unsigned referenced:1;
760 /* Set if this is the symbol for the main program. */
761 unsigned is_main_program:1;
763 /* Mutually exclusive multibit attributes. */
764 ENUM_BITFIELD (gfc_access) access:2;
765 ENUM_BITFIELD (sym_intent) intent:2;
766 ENUM_BITFIELD (sym_flavor) flavor:4;
767 ENUM_BITFIELD (ifsrc) if_source:2;
769 ENUM_BITFIELD (procedure_type) proc:3;
771 /* Special attributes for Cray pointers, pointees. */
772 unsigned cray_pointer:1, cray_pointee:1;
774 /* The symbol is a derived type with allocatable components, pointer
775 components or private components, procedure pointer components,
776 possibly nested. zero_comp is true if the derived type has no
778 unsigned alloc_comp:1, pointer_comp:1, proc_pointer_comp:1,
779 private_comp:1, zero_comp:1, coarray_comp:1, lock_comp:1;
781 /* This is a temporary selector for SELECT TYPE. */
782 unsigned select_type_temporary:1;
784 /* Attributes set by compiler extensions (!GCC$ ATTRIBUTES). */
785 unsigned ext_attr:EXT_ATTR_NUM;
787 /* The namespace where the attribute has been set. */
788 struct gfc_namespace *volatile_ns, *asynchronous_ns;
793 /* We need to store source lines as sequences of multibyte source
794 characters. We define here a type wide enough to hold any multibyte
795 source character, just like libcpp does. A 32-bit type is enough. */
797 #if HOST_BITS_PER_INT >= 32
798 typedef unsigned int gfc_char_t;
799 #elif HOST_BITS_PER_LONG >= 32
800 typedef unsigned long gfc_char_t;
801 #elif defined(HAVE_LONG_LONG) && (HOST_BITS_PER_LONGLONG >= 32)
802 typedef unsigned long long gfc_char_t;
804 # error "Cannot find an integer type with at least 32 bits"
808 /* The following three structures are used to identify a location in
811 gfc_file is used to maintain a tree of the source files and how
812 they include each other
814 gfc_linebuf holds a single line of source code and information
815 which file it resides in
817 locus point to the sourceline and the character in the source
821 typedef struct gfc_file
823 struct gfc_file *next, *up;
824 int inclusion_line, line;
828 typedef struct gfc_linebuf
830 source_location location;
831 struct gfc_file *file;
832 struct gfc_linebuf *next;
840 #define gfc_linebuf_header_size (offsetof (gfc_linebuf, line))
842 #define gfc_linebuf_linenum(LBUF) (LOCATION_LINE ((LBUF)->location))
850 /* In order for the "gfc" format checking to work correctly, you must
851 have declared a typedef locus first. */
852 #if GCC_VERSION >= 4001
853 #define ATTRIBUTE_GCC_GFC(m, n) __attribute__ ((__format__ (__gcc_gfc__, m, n))) ATTRIBUTE_NONNULL(m)
855 #define ATTRIBUTE_GCC_GFC(m, n) ATTRIBUTE_NONNULL(m)
859 /* Suppress error messages or re-enable them. */
861 void gfc_push_suppress_errors (void);
862 void gfc_pop_suppress_errors (void);
865 /* Character length structures hold the expression that gives the
866 length of a character variable. We avoid putting these into
867 gfc_typespec because doing so prevents us from doing structure
868 copies and forces us to deallocate any typespecs we create, as well
869 as structures that contain typespecs. They also can have multiple
870 character typespecs pointing to them.
872 These structures form a singly linked list within the current
873 namespace and are deallocated with the namespace. It is possible to
874 end up with gfc_charlen structures that have nothing pointing to them. */
876 typedef struct gfc_charlen
878 struct gfc_expr *length;
879 struct gfc_charlen *next;
880 bool length_from_typespec; /* Length from explicit array ctor typespec? */
882 tree passed_length; /* Length argument explicitly passed. */
888 #define gfc_get_charlen() XCNEW (gfc_charlen)
890 /* Type specification structure. */
898 struct gfc_symbol *derived; /* For derived types only. */
899 gfc_charlen *cl; /* For character types only. */
900 int pad; /* For hollerith types only. */
904 struct gfc_symbol *interface; /* For PROCEDURE declarations. */
912 /* Array specification. */
915 int rank; /* A rank of zero means that a variable is a scalar. */
917 array_type type, cotype;
918 struct gfc_expr *lower[GFC_MAX_DIMENSIONS], *upper[GFC_MAX_DIMENSIONS];
920 /* These two fields are used with the Cray Pointer extension. */
921 bool cray_pointee; /* True iff this spec belongs to a cray pointee. */
922 bool cp_was_assumed; /* AS_ASSUMED_SIZE cp arrays are converted to
923 AS_EXPLICIT, but we want to remember that we
929 #define gfc_get_array_spec() XCNEW (gfc_array_spec)
932 /* Components of derived types. */
933 typedef struct gfc_component
938 symbol_attribute attr;
942 /* Used to cache a FIELD_DECL matching this same component
943 but applied to a different backend containing type that was
944 generated by gfc_nonrestricted_type. */
945 tree norestrict_decl;
947 struct gfc_expr *initializer;
948 struct gfc_component *next;
950 /* Needed for procedure pointer components. */
951 struct gfc_formal_arglist *formal;
952 struct gfc_namespace *formal_ns;
953 struct gfc_typebound_proc *tb;
957 #define gfc_get_component() XCNEW (gfc_component)
959 /* Formal argument lists are lists of symbols. */
960 typedef struct gfc_formal_arglist
962 /* Symbol representing the argument at this position in the arglist. */
963 struct gfc_symbol *sym;
964 /* Points to the next formal argument. */
965 struct gfc_formal_arglist *next;
969 #define gfc_get_formal_arglist() XCNEW (gfc_formal_arglist)
972 /* The gfc_actual_arglist structure is for actual arguments. */
973 typedef struct gfc_actual_arglist
976 /* Alternate return label when the expr member is null. */
977 struct gfc_st_label *label;
979 /* This is set to the type of an eventual omitted optional
980 argument. This is used to determine if a hidden string length
981 argument has to be added to a function call. */
984 struct gfc_expr *expr;
985 struct gfc_actual_arglist *next;
989 #define gfc_get_actual_arglist() XCNEW (gfc_actual_arglist)
992 /* Because a symbol can belong to multiple namelists, they must be
993 linked externally to the symbol itself. */
994 typedef struct gfc_namelist
996 struct gfc_symbol *sym;
997 struct gfc_namelist *next;
1001 #define gfc_get_namelist() XCNEW (gfc_namelist)
1006 OMP_LIST_FIRSTPRIVATE,
1007 OMP_LIST_LASTPRIVATE,
1008 OMP_LIST_COPYPRIVATE,
1012 OMP_LIST_REDUCTION_FIRST = OMP_LIST_PLUS,
1024 OMP_LIST_REDUCTION_LAST = OMP_LIST_IEOR,
1028 /* Because a symbol can belong to multiple namelists, they must be
1029 linked externally to the symbol itself. */
1031 enum gfc_omp_sched_kind
1041 enum gfc_omp_default_sharing
1043 OMP_DEFAULT_UNKNOWN,
1045 OMP_DEFAULT_PRIVATE,
1047 OMP_DEFAULT_FIRSTPRIVATE
1050 typedef struct gfc_omp_clauses
1052 struct gfc_expr *if_expr;
1053 struct gfc_expr *num_threads;
1054 gfc_namelist *lists[OMP_LIST_NUM];
1055 enum gfc_omp_sched_kind sched_kind;
1056 struct gfc_expr *chunk_size;
1057 enum gfc_omp_default_sharing default_sharing;
1059 bool nowait, ordered, untied;
1063 #define gfc_get_omp_clauses() XCNEW (gfc_omp_clauses)
1066 /* The gfc_st_label structure is a BBT attached to a namespace that
1067 records the usage of statement labels within that space. */
1069 typedef struct gfc_st_label
1071 BBT_HEADER(gfc_st_label);
1075 gfc_sl_type defined, referenced;
1077 struct gfc_expr *format;
1086 /* gfc_interface()-- Interfaces are lists of symbols strung together. */
1087 typedef struct gfc_interface
1089 struct gfc_symbol *sym;
1091 struct gfc_interface *next;
1095 #define gfc_get_interface() XCNEW (gfc_interface)
1097 /* User operator nodes. These are like stripped down symbols. */
1103 struct gfc_namespace *ns;
1109 /* A list of specific bindings that are associated with a generic spec. */
1110 typedef struct gfc_tbp_generic
1112 /* The parser sets specific_st, upon resolution we look for the corresponding
1113 gfc_typebound_proc and set specific for further use. */
1114 struct gfc_symtree* specific_st;
1115 struct gfc_typebound_proc* specific;
1117 struct gfc_tbp_generic* next;
1121 #define gfc_get_tbp_generic() XCNEW (gfc_tbp_generic)
1124 /* Data needed for type-bound procedures. */
1125 typedef struct gfc_typebound_proc
1127 locus where; /* Where the PROCEDURE/GENERIC definition was. */
1131 struct gfc_symtree* specific; /* The interface if DEFERRED. */
1132 gfc_tbp_generic* generic;
1137 const char* pass_arg; /* Argument-name for PASS. NULL if not specified. */
1139 /* The overridden type-bound proc (or GENERIC with this name in the
1140 parent-type) or NULL if non. */
1141 struct gfc_typebound_proc* overridden;
1143 /* Once resolved, we use the position of pass_arg in the formal arglist of
1144 the binding-target procedure to identify it. The first argument has
1145 number 1 here, the second 2, and so on. */
1146 unsigned pass_arg_num;
1148 unsigned nopass:1; /* Whether we have NOPASS (PASS otherwise). */
1149 unsigned non_overridable:1;
1150 unsigned deferred:1;
1151 unsigned is_generic:1;
1152 unsigned function:1, subroutine:1;
1153 unsigned error:1; /* Ignore it, when an error occurred during resolution. */
1159 /* Symbol nodes. These are important things. They are what the
1160 standard refers to as "entities". The possibly multiple names that
1161 refer to the same entity are accomplished by a binary tree of
1162 symtree structures that is balanced by the red-black method-- more
1163 than one symtree node can point to any given symbol. */
1165 typedef struct gfc_symbol
1167 const char *name; /* Primary name, before renaming */
1168 const char *module; /* Module this symbol came from */
1172 symbol_attribute attr;
1174 /* The formal member points to the formal argument list if the
1175 symbol is a function or subroutine name. If the symbol is a
1176 generic name, the generic member points to the list of
1179 gfc_interface *generic;
1180 gfc_access component_access;
1182 gfc_formal_arglist *formal;
1183 struct gfc_namespace *formal_ns;
1184 struct gfc_namespace *f2k_derived;
1186 struct gfc_expr *value; /* Parameter/Initializer value */
1188 struct gfc_symbol *result; /* function result symbol */
1189 gfc_component *components; /* Derived type components */
1191 /* Defined only for Cray pointees; points to their pointer. */
1192 struct gfc_symbol *cp_pointer;
1194 int entry_id; /* Used in resolve.c for entries. */
1196 /* CLASS hashed name for declared and dynamic types in the class. */
1199 struct gfc_symbol *common_next; /* Links for COMMON syms */
1201 /* This is in fact a gfc_common_head but it is only used for pointer
1202 comparisons to check if symbols are in the same common block. */
1203 struct gfc_common_head* common_head;
1205 /* Make sure setup code for dummy arguments is generated in the correct
1209 gfc_namelist *namelist, *namelist_tail;
1211 /* Change management fields. Symbols that might be modified by the
1212 current statement have the mark member nonzero and are kept in a
1213 singly linked list through the tlink field. Of these symbols,
1214 symbols with old_symbol equal to NULL are symbols created within
1215 the current statement. Otherwise, old_symbol points to a copy of
1218 struct gfc_symbol *old_symbol, *tlink;
1219 unsigned mark:1, gfc_new:1;
1220 /* Nonzero if all equivalences associated with this symbol have been
1222 unsigned equiv_built:1;
1223 /* Set if this variable is used as an index name in a FORALL. */
1224 unsigned forall_index:1;
1226 struct gfc_namespace *ns; /* namespace containing this symbol */
1230 /* Identity of the intrinsic module the symbol comes from, or
1231 INTMOD_NONE if it's not imported from a intrinsic module. */
1232 intmod_id from_intmod;
1233 /* Identity of the symbol from intrinsic modules, from enums maintained
1234 separately by each intrinsic module. Used together with from_intmod,
1235 it uniquely identifies a symbol from an intrinsic module. */
1238 /* This may be repetitive, since the typespec now has a binding
1240 char binding_label[GFC_MAX_BINDING_LABEL_LEN + 1];
1241 /* Store a reference to the common_block, if this symbol is in one. */
1242 struct gfc_common_head *common_block;
1244 /* Link to corresponding association-list if this is an associate name. */
1245 struct gfc_association_list *assoc;
1250 /* This structure is used to keep track of symbols in common blocks. */
1251 typedef struct gfc_common_head
1254 char use_assoc, saved, threadprivate;
1255 char name[GFC_MAX_SYMBOL_LEN + 1];
1256 struct gfc_symbol *head;
1257 char binding_label[GFC_MAX_BINDING_LABEL_LEN + 1];
1262 #define gfc_get_common_head() XCNEW (gfc_common_head)
1265 /* A list of all the alternate entry points for a procedure. */
1267 typedef struct gfc_entry_list
1269 /* The symbol for this entry point. */
1271 /* The zero-based id of this entry point. */
1273 /* The LABEL_EXPR marking this entry point. */
1275 /* The next item in the list. */
1276 struct gfc_entry_list *next;
1280 #define gfc_get_entry_list() XCNEW (gfc_entry_list)
1282 /* Lists of rename info for the USE statement. */
1284 typedef struct gfc_use_rename
1286 char local_name[GFC_MAX_SYMBOL_LEN + 1], use_name[GFC_MAX_SYMBOL_LEN + 1];
1287 struct gfc_use_rename *next;
1289 gfc_intrinsic_op op;
1294 #define gfc_get_use_rename() XCNEW (gfc_use_rename);
1296 /* A list of all USE statements in a namespace. */
1298 typedef struct gfc_use_list
1300 const char *module_name;
1302 struct gfc_use_rename *rename;
1304 /* Next USE statement. */
1305 struct gfc_use_list *next;
1309 #define gfc_get_use_list() XCNEW (gfc_use_list)
1311 /* Within a namespace, symbols are pointed to by symtree nodes that
1312 are linked together in a balanced binary tree. There can be
1313 several symtrees pointing to the same symbol node via USE
1316 typedef struct gfc_symtree
1318 BBT_HEADER (gfc_symtree);
1323 gfc_symbol *sym; /* Symbol associated with this node */
1325 gfc_common_head *common;
1326 gfc_typebound_proc *tb;
1332 /* A linked list of derived types in the namespace. */
1333 typedef struct gfc_dt_list
1335 struct gfc_symbol *derived;
1336 struct gfc_dt_list *next;
1340 #define gfc_get_dt_list() XCNEW (gfc_dt_list)
1342 /* A list of all derived types. */
1343 extern gfc_dt_list *gfc_derived_types;
1345 /* A namespace describes the contents of procedure, module, interface block
1346 or BLOCK construct. */
1347 /* ??? Anything else use these? */
1349 typedef struct gfc_namespace
1351 /* Tree containing all the symbols in this namespace. */
1352 gfc_symtree *sym_root;
1353 /* Tree containing all the user-defined operators in the namespace. */
1354 gfc_symtree *uop_root;
1355 /* Tree containing all the common blocks. */
1356 gfc_symtree *common_root;
1358 /* Tree containing type-bound procedures. */
1359 gfc_symtree *tb_sym_root;
1360 /* Type-bound user operators. */
1361 gfc_symtree *tb_uop_root;
1362 /* For derived-types, store type-bound intrinsic operators here. */
1363 gfc_typebound_proc *tb_op[GFC_INTRINSIC_OPS];
1364 /* Linked list of finalizer procedures. */
1365 struct gfc_finalizer *finalizers;
1367 /* If set_flag[letter] is set, an implicit type has been set for letter. */
1368 int set_flag[GFC_LETTERS];
1369 /* Keeps track of the implicit types associated with the letters. */
1370 gfc_typespec default_type[GFC_LETTERS];
1371 /* Store the positions of IMPLICIT statements. */
1372 locus implicit_loc[GFC_LETTERS];
1374 /* If this is a namespace of a procedure, this points to the procedure. */
1375 struct gfc_symbol *proc_name;
1376 /* If this is the namespace of a unit which contains executable
1377 code, this points to it. */
1378 struct gfc_code *code;
1380 /* Points to the equivalences set up in this namespace. */
1381 struct gfc_equiv *equiv, *old_equiv;
1383 /* Points to the equivalence groups produced by trans_common. */
1384 struct gfc_equiv_list *equiv_lists;
1386 gfc_interface *op[GFC_INTRINSIC_OPS];
1388 /* Points to the parent namespace, i.e. the namespace of a module or
1389 procedure in which the procedure belonging to this namespace is
1390 contained. The parent namespace points to this namespace either
1391 directly via CONTAINED, or indirectly via the chain built by
1393 struct gfc_namespace *parent;
1394 /* CONTAINED points to the first contained namespace. Sibling
1395 namespaces are chained via SIBLING. */
1396 struct gfc_namespace *contained, *sibling;
1398 gfc_common_head blank_common;
1399 gfc_access default_access, operator_access[GFC_INTRINSIC_OPS];
1401 gfc_st_label *st_labels;
1402 /* This list holds information about all the data initializers in
1404 struct gfc_data *data;
1406 gfc_charlen *cl_list, *old_cl_list;
1408 gfc_dt_list *derived_types;
1410 int save_all, seen_save, seen_implicit_none;
1412 /* Normally we don't need to refcount namespaces. However when we read
1413 a module containing a function with multiple entry points, this
1414 will appear as several functions with the same formal namespace. */
1417 /* A list of all alternate entry points to this procedure (or NULL). */
1418 gfc_entry_list *entries;
1420 /* A list of USE statements in this namespace. */
1421 gfc_use_list *use_stmts;
1423 /* Set to 1 if namespace is a BLOCK DATA program unit. */
1424 unsigned is_block_data:1;
1426 /* Set to 1 if namespace is an interface body with "IMPORT" used. */
1427 unsigned has_import_set:1;
1429 /* Set to 1 if resolved has been called for this namespace.
1430 Holds -1 during resolution. */
1433 /* Set to 1 if code has been generated for this namespace. */
1434 unsigned translated:1;
1436 /* Set to 1 if symbols in this namespace should be 'construct entities',
1437 i.e. for BLOCK local variables. */
1438 unsigned construct_entities:1;
1442 extern gfc_namespace *gfc_current_ns;
1443 extern gfc_namespace *gfc_global_ns_list;
1445 /* Global symbols are symbols of global scope. Currently we only use
1446 this to detect collisions already when parsing.
1447 TODO: Extend to verify procedure calls. */
1449 enum gfc_symbol_type
1451 GSYM_UNKNOWN=1, GSYM_PROGRAM, GSYM_FUNCTION, GSYM_SUBROUTINE,
1452 GSYM_MODULE, GSYM_COMMON, GSYM_BLOCK_DATA
1455 typedef struct gfc_gsymbol
1457 BBT_HEADER(gfc_gsymbol);
1460 const char *sym_name;
1461 const char *mod_name;
1462 const char *binding_label;
1463 enum gfc_symbol_type type;
1471 extern gfc_gsymbol *gfc_gsym_root;
1473 /* Information on interfaces being built. */
1476 interface_type type;
1480 gfc_intrinsic_op op;
1484 extern gfc_interface_info current_interface;
1487 /* Array reference. */
1489 enum gfc_array_ref_dimen_type
1491 DIMEN_ELEMENT = 1, DIMEN_RANGE, DIMEN_VECTOR, DIMEN_STAR, DIMEN_THIS_IMAGE, DIMEN_UNKNOWN
1494 typedef struct gfc_array_ref
1497 int dimen; /* # of components in the reference */
1499 bool in_allocate; /* For coarray checks. */
1503 locus c_where[GFC_MAX_DIMENSIONS]; /* All expressions can be NULL */
1504 struct gfc_expr *start[GFC_MAX_DIMENSIONS], *end[GFC_MAX_DIMENSIONS],
1505 *stride[GFC_MAX_DIMENSIONS];
1507 enum gfc_array_ref_dimen_type dimen_type[GFC_MAX_DIMENSIONS];
1509 struct gfc_expr *offset;
1513 #define gfc_get_array_ref() XCNEW (gfc_array_ref)
1516 /* Component reference nodes. A variable is stored as an expression
1517 node that points to the base symbol. After that, a singly linked
1518 list of component reference nodes gives the variable's complete
1519 resolution. The array_ref component may be present and comes
1520 before the component component. */
1523 { REF_ARRAY, REF_COMPONENT, REF_SUBSTRING }
1526 typedef struct gfc_ref
1532 struct gfc_array_ref ar;
1536 gfc_component *component;
1543 struct gfc_expr *start, *end; /* Substring */
1544 gfc_charlen *length;
1551 struct gfc_ref *next;
1555 #define gfc_get_ref() XCNEW (gfc_ref)
1558 /* Structures representing intrinsic symbols and their arguments lists. */
1559 typedef struct gfc_intrinsic_arg
1561 char name[GFC_MAX_SYMBOL_LEN + 1];
1564 unsigned optional:1, value:1;
1565 ENUM_BITFIELD (sym_intent) intent:2;
1566 gfc_actual_arglist *actual;
1568 struct gfc_intrinsic_arg *next;
1574 /* Specifies the various kinds of check functions used to verify the
1575 argument lists of intrinsic functions. fX with X an integer refer
1576 to check functions of intrinsics with X arguments. f1m is used for
1577 the MAX and MIN intrinsics which can have an arbitrary number of
1578 arguments, f3ml is used for the MINLOC and MAXLOC intrinsics as
1579 these have special semantics. */
1583 gfc_try (*f0)(void);
1584 gfc_try (*f1)(struct gfc_expr *);
1585 gfc_try (*f1m)(gfc_actual_arglist *);
1586 gfc_try (*f2)(struct gfc_expr *, struct gfc_expr *);
1587 gfc_try (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1588 gfc_try (*f3ml)(gfc_actual_arglist *);
1589 gfc_try (*f3red)(gfc_actual_arglist *);
1590 gfc_try (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1592 gfc_try (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1593 struct gfc_expr *, struct gfc_expr *);
1597 /* Like gfc_check_f, these specify the type of the simplification
1598 function associated with an intrinsic. The fX are just like in
1599 gfc_check_f. cc is used for type conversion functions. */
1603 struct gfc_expr *(*f0)(void);
1604 struct gfc_expr *(*f1)(struct gfc_expr *);
1605 struct gfc_expr *(*f2)(struct gfc_expr *, struct gfc_expr *);
1606 struct gfc_expr *(*f3)(struct gfc_expr *, struct gfc_expr *,
1608 struct gfc_expr *(*f4)(struct gfc_expr *, struct gfc_expr *,
1609 struct gfc_expr *, struct gfc_expr *);
1610 struct gfc_expr *(*f5)(struct gfc_expr *, struct gfc_expr *,
1611 struct gfc_expr *, struct gfc_expr *,
1613 struct gfc_expr *(*cc)(struct gfc_expr *, bt, int);
1617 /* Again like gfc_check_f, these specify the type of the resolution
1618 function associated with an intrinsic. The fX are just like in
1619 gfc_check_f. f1m is used for MIN and MAX, s1 is used for abort(). */
1623 void (*f0)(struct gfc_expr *);
1624 void (*f1)(struct gfc_expr *, struct gfc_expr *);
1625 void (*f1m)(struct gfc_expr *, struct gfc_actual_arglist *);
1626 void (*f2)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1627 void (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1629 void (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1630 struct gfc_expr *, struct gfc_expr *);
1631 void (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1632 struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1633 void (*s1)(struct gfc_code *);
1638 typedef struct gfc_intrinsic_sym
1640 const char *name, *lib_name;
1641 gfc_intrinsic_arg *formal;
1643 unsigned elemental:1, inquiry:1, transformational:1, pure:1,
1644 generic:1, specific:1, actual_ok:1, noreturn:1, conversion:1,
1649 gfc_simplify_f simplify;
1651 gfc_resolve_f resolve;
1652 struct gfc_intrinsic_sym *specific_head, *next;
1659 /* Expression nodes. The expression node types deserve explanations,
1660 since the last couple can be easily misconstrued:
1662 EXPR_OP Operator node pointing to one or two other nodes
1663 EXPR_FUNCTION Function call, symbol points to function's name
1664 EXPR_CONSTANT A scalar constant: Logical, String, Real, Int or Complex
1665 EXPR_VARIABLE An Lvalue with a root symbol and possible reference list
1666 which expresses structure, array and substring refs.
1667 EXPR_NULL The NULL pointer value (which also has a basic type).
1668 EXPR_SUBSTRING A substring of a constant string
1669 EXPR_STRUCTURE A structure constructor
1670 EXPR_ARRAY An array constructor.
1671 EXPR_COMPCALL Function (or subroutine) call of a procedure pointer
1672 component or type-bound procedure. */
1677 #define GFC_RND_MODE GMP_RNDN
1678 #define GFC_MPC_RND_MODE MPC_RNDNN
1680 typedef splay_tree gfc_constructor_base;
1682 typedef struct gfc_expr
1686 gfc_typespec ts; /* These two refer to the overall expression */
1689 mpz_t *shape; /* Can be NULL if shape is unknown at compile time */
1691 /* Nonnull for functions and structure constructors, may also used to hold the
1692 base-object for component calls. */
1693 gfc_symtree *symtree;
1699 /* is_boz is true if the integer is regarded as BOZ bitpatten and is_snan
1700 denotes a signalling not-a-number. */
1701 unsigned int is_boz : 1, is_snan : 1;
1703 /* Sometimes, when an error has been emitted, it is necessary to prevent
1704 it from recurring. */
1705 unsigned int error : 1;
1707 /* Mark an expression where a user operator has been substituted by
1708 a function call in interface.c(gfc_extend_expr). */
1709 unsigned int user_operator : 1;
1711 /* Mark an expression as being a MOLD argument of ALLOCATE. */
1712 unsigned int mold : 1;
1714 /* If an expression comes from a Hollerith constant or compile-time
1715 evaluation of a transfer statement, it may have a prescribed target-
1716 memory representation, and these cannot always be backformed from
1739 gfc_intrinsic_op op;
1741 struct gfc_expr *op1, *op2;
1747 gfc_actual_arglist *actual;
1748 const char *name; /* Points to the ultimate name of the function */
1749 gfc_intrinsic_sym *isym;
1756 gfc_actual_arglist* actual;
1758 /* Base-object, whose component was called. NULL means that it should
1759 be taken from symtree/ref. */
1760 struct gfc_expr* base_object;
1761 gfc_typebound_proc* tbp; /* Should overlap with esym. */
1763 /* For type-bound operators, we want to call PASS procedures but already
1764 have the full arglist; mark this, so that it is not extended by the
1766 unsigned ignore_pass:1;
1768 /* Do assign-calls rather than calls, that is appropriate dependency
1781 gfc_constructor_base constructor;
1789 #define gfc_get_shape(rank) (XCNEWVEC (mpz_t, (rank)))
1791 /* Structures for information associated with different kinds of
1792 numbers. The first set of integer parameters define all there is
1793 to know about a particular kind. The rest of the elements are
1794 computed from the first elements. */
1798 /* Values really representable by the target. */
1799 mpz_t huge, pedantic_min_int, min_int;
1801 int kind, radix, digits, bit_size, range;
1803 /* True if the C type of the given name maps to this precision.
1804 Note that more than one bit can be set. */
1805 unsigned int c_char : 1;
1806 unsigned int c_short : 1;
1807 unsigned int c_int : 1;
1808 unsigned int c_long : 1;
1809 unsigned int c_long_long : 1;
1813 extern gfc_integer_info gfc_integer_kinds[];
1820 /* True if the C++ type bool, C99 type _Bool, maps to this precision. */
1821 unsigned int c_bool : 1;
1825 extern gfc_logical_info gfc_logical_kinds[];
1830 mpfr_t epsilon, huge, tiny, subnormal;
1831 int kind, radix, digits, min_exponent, max_exponent;
1832 int range, precision;
1834 /* The precision of the type as reported by GET_MODE_PRECISION. */
1837 /* True if the C type of the given name maps to this precision.
1838 Note that more than one bit can be set. */
1839 unsigned int c_float : 1;
1840 unsigned int c_double : 1;
1841 unsigned int c_long_double : 1;
1842 unsigned int c_float128 : 1;
1846 extern gfc_real_info gfc_real_kinds[];
1855 extern gfc_character_info gfc_character_kinds[];
1858 /* Equivalence structures. Equivalent lvalues are linked along the
1859 *eq pointer, equivalence sets are strung along the *next node. */
1860 typedef struct gfc_equiv
1862 struct gfc_equiv *next, *eq;
1869 #define gfc_get_equiv() XCNEW (gfc_equiv)
1871 /* Holds a single equivalence member after processing. */
1872 typedef struct gfc_equiv_info
1875 HOST_WIDE_INT offset;
1876 HOST_WIDE_INT length;
1877 struct gfc_equiv_info *next;
1880 /* Holds equivalence groups, after they have been processed. */
1881 typedef struct gfc_equiv_list
1883 gfc_equiv_info *equiv;
1884 struct gfc_equiv_list *next;
1887 /* gfc_case stores the selector list of a case statement. The *low
1888 and *high pointers can point to the same expression in the case of
1889 a single value. If *high is NULL, the selection is from *low
1890 upwards, if *low is NULL the selection is *high downwards.
1892 This structure has separate fields to allow single and double linked
1893 lists of CASEs at the same time. The singe linked list along the NEXT
1894 field is a list of cases for a single CASE label. The double linked
1895 list along the LEFT/RIGHT fields is used to detect overlap and to
1896 build a table of the cases for SELECT constructs with a CHARACTER
1899 typedef struct gfc_case
1901 /* Where we saw this case. */
1905 /* Case range values. If (low == high), it's a single value. If one of
1906 the labels is NULL, it's an unbounded case. If both are NULL, this
1907 represents the default case. */
1908 gfc_expr *low, *high;
1910 /* Only used for SELECT TYPE. */
1913 /* Next case label in the list of cases for a single CASE label. */
1914 struct gfc_case *next;
1916 /* Used for detecting overlap, and for code generation. */
1917 struct gfc_case *left, *right;
1919 /* True if this case label can never be matched. */
1924 #define gfc_get_case() XCNEW (gfc_case)
1929 gfc_expr *var, *start, *end, *step;
1933 #define gfc_get_iterator() XCNEW (gfc_iterator)
1936 /* Allocation structure for ALLOCATE, DEALLOCATE and NULLIFY statements. */
1938 typedef struct gfc_alloc
1941 struct gfc_alloc *next;
1945 #define gfc_get_alloc() XCNEW (gfc_alloc)
1950 gfc_expr *unit, *file, *status, *access, *form, *recl,
1951 *blank, *position, *action, *delim, *pad, *iostat, *iomsg, *convert,
1952 *decimal, *encoding, *round, *sign, *asynchronous, *id, *newunit;
1960 gfc_expr *unit, *status, *iostat, *iomsg;
1968 gfc_expr *unit, *iostat, *iomsg;
1976 gfc_expr *unit, *file, *iostat, *exist, *opened, *number, *named,
1977 *name, *access, *sequential, *direct, *form, *formatted,
1978 *unformatted, *recl, *nextrec, *blank, *position, *action, *read,
1979 *write, *readwrite, *delim, *pad, *iolength, *iomsg, *convert, *strm_pos,
1980 *asynchronous, *decimal, *encoding, *pending, *round, *sign, *size, *id;
1990 gfc_expr *unit, *iostat, *iomsg, *id;
1991 gfc_st_label *err, *end, *eor;
1998 gfc_expr *io_unit, *format_expr, *rec, *advance, *iostat, *size, *iomsg,
1999 *id, *pos, *asynchronous, *blank, *decimal, *delim, *pad, *round,
2000 *sign, *extra_comma, *dt_io_kind;
2002 gfc_symbol *namelist;
2003 /* A format_label of `format_asterisk' indicates the "*" format */
2004 gfc_st_label *format_label;
2005 gfc_st_label *err, *end, *eor;
2007 locus eor_where, end_where, err_where;
2012 typedef struct gfc_forall_iterator
2014 gfc_expr *var, *start, *end, *stride;
2015 struct gfc_forall_iterator *next;
2017 gfc_forall_iterator;
2020 /* Linked list to store associations in an ASSOCIATE statement. */
2022 typedef struct gfc_association_list
2024 struct gfc_association_list *next;
2026 /* Whether this is association to a variable that can be changed; otherwise,
2027 it's association to an expression and the name may not be used as
2029 unsigned variable:1;
2031 /* True if this struct is currently only linked to from a gfc_symbol rather
2032 than as part of a real list in gfc_code->ext.block.assoc. This may
2033 happen for SELECT TYPE temporaries and must be considered
2034 for memory handling. */
2035 unsigned dangling:1;
2037 char name[GFC_MAX_SYMBOL_LEN + 1];
2038 gfc_symtree *st; /* Symtree corresponding to name. */
2043 gfc_association_list;
2044 #define gfc_get_association_list() XCNEW (gfc_association_list)
2047 /* Executable statements that fill gfc_code structures. */
2050 EXEC_NOP = 1, EXEC_END_BLOCK, EXEC_ASSIGN, EXEC_LABEL_ASSIGN,
2051 EXEC_POINTER_ASSIGN, EXEC_CRITICAL, EXEC_ERROR_STOP,
2052 EXEC_GOTO, EXEC_CALL, EXEC_COMPCALL, EXEC_ASSIGN_CALL, EXEC_RETURN,
2053 EXEC_ENTRY, EXEC_PAUSE, EXEC_STOP, EXEC_CONTINUE, EXEC_INIT_ASSIGN,
2054 EXEC_IF, EXEC_ARITHMETIC_IF, EXEC_DO, EXEC_DO_WHILE, EXEC_SELECT, EXEC_BLOCK,
2055 EXEC_FORALL, EXEC_WHERE, EXEC_CYCLE, EXEC_EXIT, EXEC_CALL_PPC,
2056 EXEC_ALLOCATE, EXEC_DEALLOCATE, EXEC_END_PROCEDURE, EXEC_SELECT_TYPE,
2057 EXEC_SYNC_ALL, EXEC_SYNC_MEMORY, EXEC_SYNC_IMAGES,
2058 EXEC_OPEN, EXEC_CLOSE, EXEC_WAIT,
2059 EXEC_READ, EXEC_WRITE, EXEC_IOLENGTH, EXEC_TRANSFER, EXEC_DT_END,
2060 EXEC_BACKSPACE, EXEC_ENDFILE, EXEC_INQUIRE, EXEC_REWIND, EXEC_FLUSH,
2061 EXEC_LOCK, EXEC_UNLOCK,
2062 EXEC_OMP_CRITICAL, EXEC_OMP_DO, EXEC_OMP_FLUSH, EXEC_OMP_MASTER,
2063 EXEC_OMP_ORDERED, EXEC_OMP_PARALLEL, EXEC_OMP_PARALLEL_DO,
2064 EXEC_OMP_PARALLEL_SECTIONS, EXEC_OMP_PARALLEL_WORKSHARE,
2065 EXEC_OMP_SECTIONS, EXEC_OMP_SINGLE, EXEC_OMP_WORKSHARE,
2066 EXEC_OMP_ATOMIC, EXEC_OMP_BARRIER, EXEC_OMP_END_NOWAIT,
2067 EXEC_OMP_END_SINGLE, EXEC_OMP_TASK, EXEC_OMP_TASKWAIT
2071 typedef struct gfc_code
2075 struct gfc_code *block, *next;
2078 gfc_st_label *here, *label1, *label2, *label3;
2079 gfc_symtree *symtree;
2080 gfc_expr *expr1, *expr2, *expr3, *expr4;
2081 /* A name isn't sufficient to identify a subroutine, we need the actual
2082 symbol for the interface definition.
2083 const char *sub_name; */
2084 gfc_symbol *resolved_sym;
2085 gfc_intrinsic_sym *resolved_isym;
2089 gfc_actual_arglist *actual;
2090 gfc_iterator *iterator;
2102 gfc_association_list *assoc;
2103 gfc_case *case_list;
2109 gfc_filepos *filepos;
2110 gfc_inquire *inquire;
2113 gfc_forall_iterator *forall_iterator;
2114 struct gfc_code *which_construct;
2116 gfc_entry_list *entry;
2117 gfc_omp_clauses *omp_clauses;
2118 const char *omp_name;
2119 gfc_namelist *omp_namelist;
2122 ext; /* Points to additional structures required by statement */
2124 /* Cycle and break labels in constructs. */
2131 /* Storage for DATA statements. */
2132 typedef struct gfc_data_variable
2136 struct gfc_data_variable *list, *next;
2141 typedef struct gfc_data_value
2145 struct gfc_data_value *next;
2150 typedef struct gfc_data
2152 gfc_data_variable *var;
2153 gfc_data_value *value;
2156 struct gfc_data *next;
2161 /* Structure for holding compile options */
2165 gfc_source_form source_form;
2166 /* Maximum line lengths in fixed- and free-form source, respectively.
2167 When fixed_line_length or free_line_length are 0, the whole line is used,
2168 regardless of length.
2170 If the user requests a fixed_line_length <7 then gfc_init_options()
2171 emits a fatal error. */
2172 int fixed_line_length;
2173 int free_line_length;
2174 /* Maximum number of continuation lines in fixed- and free-form source,
2176 int max_continue_fixed;
2177 int max_continue_free;
2178 int max_identifier_length;
2179 int dump_fortran_original;
2180 int dump_fortran_optimized;
2184 int gfc_warn_conversion;
2185 int warn_conversion_extra;
2186 int warn_function_elimination;
2187 int warn_implicit_interface;
2188 int warn_implicit_procedure;
2189 int warn_line_truncation;
2190 int warn_surprising;
2193 int warn_intrinsic_shadow;
2194 int warn_intrinsics_std;
2195 int warn_character_truncation;
2196 int warn_array_temp;
2197 int warn_align_commons;
2198 int warn_real_q_constant;
2199 int warn_unused_dummy_argument;
2202 int flag_all_intrinsics;
2203 int flag_default_double;
2204 int flag_default_integer;
2205 int flag_default_real;
2207 int flag_underscoring;
2208 int flag_second_underscore;
2209 int flag_implicit_none;
2210 int flag_max_stack_var_size;
2211 int flag_max_array_constructor;
2212 int flag_range_check;
2213 int flag_pack_derived;
2214 int flag_repack_arrays;
2215 int flag_preprocessed;
2220 int flag_allow_leading_underscore;
2221 int flag_external_blas;
2222 int blas_matmul_limit;
2223 int flag_cray_pointer;
2225 int gfc_flag_openmp;
2227 int flag_stack_arrays;
2228 int flag_module_private;
2230 int flag_init_local_zero;
2231 int flag_init_integer;
2232 int flag_init_integer_value;
2234 int flag_init_logical;
2235 int flag_init_character;
2236 char flag_init_character_value;
2237 int flag_align_commons;
2238 int flag_whole_file;
2239 int flag_protect_parens;
2240 int flag_realloc_lhs;
2241 int flag_aggressive_function_elimination;
2242 int flag_frontend_optimize;
2246 gfc_fcoarray coarray;
2252 int max_subrecord_length;
2256 extern gfc_option_t gfc_option;
2258 /* Constructor nodes for array and structure constructors. */
2259 typedef struct gfc_constructor
2261 gfc_constructor_base base;
2262 mpz_t offset; /* Offset within a constructor, used as
2266 gfc_iterator *iterator;
2271 gfc_component *component; /* Record the component being initialized. */
2274 mpz_t repeat; /* Record the repeat number of initial values in data
2275 statement like "data a/5*10/". */
2280 typedef struct iterator_stack
2282 gfc_symtree *variable;
2284 struct iterator_stack *prev;
2287 extern iterator_stack *iter_stack;
2290 /* Used for (possibly nested) SELECT TYPE statements. */
2291 typedef struct gfc_select_type_stack
2293 gfc_symbol *selector; /* Current selector variable. */
2294 gfc_symtree *tmp; /* Current temporary variable. */
2295 struct gfc_select_type_stack *prev; /* Previous element on stack. */
2297 gfc_select_type_stack;
2298 extern gfc_select_type_stack *select_type_stack;
2299 #define gfc_get_select_type_stack() XCNEW (gfc_select_type_stack)
2302 /* Node in the linked list used for storing finalizer procedures. */
2304 typedef struct gfc_finalizer
2306 struct gfc_finalizer* next;
2307 locus where; /* Where the FINAL declaration occurred. */
2309 /* Up to resolution, we want the gfc_symbol, there we lookup the corresponding
2310 symtree and later need only that. This way, we can access and call the
2311 finalizers from every context as they should be "always accessible". I
2312 don't make this a union because we need the information whether proc_sym is
2313 still referenced or not for dereferencing it on deleting a gfc_finalizer
2315 gfc_symbol* proc_sym;
2316 gfc_symtree* proc_tree;
2319 #define gfc_get_finalizer() XCNEW (gfc_finalizer)
2322 /************************ Function prototypes *************************/
2325 bool gfc_in_match_data (void);
2326 match gfc_match_char_spec (gfc_typespec *);
2329 void gfc_scanner_done_1 (void);
2330 void gfc_scanner_init_1 (void);
2332 void gfc_add_include_path (const char *, bool, bool);
2333 void gfc_add_intrinsic_modules_path (const char *);
2334 void gfc_release_include_path (void);
2335 FILE *gfc_open_included_file (const char *, bool, bool);
2336 FILE *gfc_open_intrinsic_module (const char *);
2338 int gfc_at_end (void);
2339 int gfc_at_eof (void);
2340 int gfc_at_bol (void);
2341 int gfc_at_eol (void);
2342 void gfc_advance_line (void);
2343 int gfc_check_include (void);
2344 int gfc_define_undef_line (void);
2346 int gfc_wide_is_printable (gfc_char_t);
2347 int gfc_wide_is_digit (gfc_char_t);
2348 int gfc_wide_fits_in_byte (gfc_char_t);
2349 gfc_char_t gfc_wide_tolower (gfc_char_t);
2350 gfc_char_t gfc_wide_toupper (gfc_char_t);
2351 size_t gfc_wide_strlen (const gfc_char_t *);
2352 int gfc_wide_strncasecmp (const gfc_char_t *, const char *, size_t);
2353 gfc_char_t *gfc_wide_memset (gfc_char_t *, gfc_char_t, size_t);
2354 char *gfc_widechar_to_char (const gfc_char_t *, int);
2355 gfc_char_t *gfc_char_to_widechar (const char *);
2357 #define gfc_get_wide_string(n) XCNEWVEC (gfc_char_t, n)
2359 void gfc_skip_comments (void);
2360 gfc_char_t gfc_next_char_literal (gfc_instring);
2361 gfc_char_t gfc_next_char (void);
2362 char gfc_next_ascii_char (void);
2363 gfc_char_t gfc_peek_char (void);
2364 char gfc_peek_ascii_char (void);
2365 void gfc_error_recovery (void);
2366 void gfc_gobble_whitespace (void);
2367 gfc_try gfc_new_file (void);
2368 const char * gfc_read_orig_filename (const char *, const char **);
2370 extern gfc_source_form gfc_current_form;
2371 extern const char *gfc_source_file;
2372 extern locus gfc_current_locus;
2374 void gfc_start_source_files (void);
2375 void gfc_end_source_files (void);
2378 int gfc_terminal_width (void);
2379 void gfc_clear_ts (gfc_typespec *);
2380 FILE *gfc_open_file (const char *);
2381 const char *gfc_basic_typename (bt);
2382 const char *gfc_typename (gfc_typespec *);
2383 const char *gfc_op2string (gfc_intrinsic_op);
2384 const char *gfc_code2string (const mstring *, int);
2385 int gfc_string2code (const mstring *, const char *);
2386 const char *gfc_intent_string (sym_intent);
2388 void gfc_init_1 (void);
2389 void gfc_init_2 (void);
2390 void gfc_done_1 (void);
2391 void gfc_done_2 (void);
2393 int get_c_kind (const char *, CInteropKind_t *);
2396 unsigned int gfc_option_lang_mask (void);
2397 void gfc_init_options_struct (struct gcc_options *);
2398 void gfc_init_options (unsigned int,
2399 struct cl_decoded_option *);
2400 bool gfc_handle_option (size_t, const char *, int, int, location_t,
2401 const struct cl_option_handlers *);
2402 bool gfc_post_options (const char **);
2403 char *gfc_get_option_string (void);
2406 void gfc_maybe_initialize_eh (void);
2409 const char * gfc_get_string (const char *, ...) ATTRIBUTE_PRINTF_1;
2410 bool gfc_find_sym_in_expr (gfc_symbol *, gfc_expr *);
2414 typedef struct gfc_error_buf
2417 size_t allocated, index;
2421 void gfc_error_init_1 (void);
2422 void gfc_buffer_error (int);
2424 const char *gfc_print_wide_char (gfc_char_t);
2426 void gfc_warning (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2427 void gfc_warning_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2428 void gfc_clear_warning (void);
2429 void gfc_warning_check (void);
2431 void gfc_error (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2432 void gfc_error_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2433 void gfc_fatal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2);
2434 void gfc_internal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2);
2435 void gfc_clear_error (void);
2436 int gfc_error_check (void);
2437 int gfc_error_flag_test (void);
2439 notification gfc_notification_std (int);
2440 gfc_try gfc_notify_std (int, const char *, ...) ATTRIBUTE_GCC_GFC(2,3);
2442 /* A general purpose syntax error. */
2443 #define gfc_syntax_error(ST) \
2444 gfc_error ("Syntax error in %s statement at %C", gfc_ascii_statement (ST));
2446 void gfc_push_error (gfc_error_buf *);
2447 void gfc_pop_error (gfc_error_buf *);
2448 void gfc_free_error (gfc_error_buf *);
2450 void gfc_get_errors (int *, int *);
2451 void gfc_errors_to_warnings (int);
2454 void gfc_arith_init_1 (void);
2455 void gfc_arith_done_1 (void);
2456 arith gfc_check_integer_range (mpz_t p, int kind);
2457 bool gfc_check_character_range (gfc_char_t, int);
2460 gfc_try gfc_check_any_c_kind (gfc_typespec *);
2461 int gfc_validate_kind (bt, int, bool);
2462 int gfc_get_int_kind_from_width_isofortranenv (int size);
2463 int gfc_get_real_kind_from_width_isofortranenv (int size);
2464 tree gfc_get_derived_type (gfc_symbol * derived);
2465 extern int gfc_index_integer_kind;
2466 extern int gfc_default_integer_kind;
2467 extern int gfc_max_integer_kind;
2468 extern int gfc_default_real_kind;
2469 extern int gfc_default_double_kind;
2470 extern int gfc_default_character_kind;
2471 extern int gfc_default_logical_kind;
2472 extern int gfc_default_complex_kind;
2473 extern int gfc_c_int_kind;
2474 extern int gfc_atomic_int_kind;
2475 extern int gfc_atomic_logical_kind;
2476 extern int gfc_intio_kind;
2477 extern int gfc_charlen_int_kind;
2478 extern int gfc_numeric_storage_size;
2479 extern int gfc_character_storage_size;
2482 void gfc_clear_new_implicit (void);
2483 gfc_try gfc_add_new_implicit_range (int, int);
2484 gfc_try gfc_merge_new_implicit (gfc_typespec *);
2485 void gfc_set_implicit_none (void);
2486 void gfc_check_function_type (gfc_namespace *);
2487 bool gfc_is_intrinsic_typename (const char *);
2489 gfc_typespec *gfc_get_default_type (const char *, gfc_namespace *);
2490 gfc_try gfc_set_default_type (gfc_symbol *, int, gfc_namespace *);
2492 void gfc_set_sym_referenced (gfc_symbol *);
2494 gfc_try gfc_add_attribute (symbol_attribute *, locus *);
2495 gfc_try gfc_add_ext_attribute (symbol_attribute *, ext_attr_id_t, locus *);
2496 gfc_try gfc_add_allocatable (symbol_attribute *, locus *);
2497 gfc_try gfc_add_codimension (symbol_attribute *, const char *, locus *);
2498 gfc_try gfc_add_contiguous (symbol_attribute *, const char *, locus *);
2499 gfc_try gfc_add_dimension (symbol_attribute *, const char *, locus *);
2500 gfc_try gfc_add_external (symbol_attribute *, locus *);
2501 gfc_try gfc_add_intrinsic (symbol_attribute *, locus *);
2502 gfc_try gfc_add_optional (symbol_attribute *, locus *);
2503 gfc_try gfc_add_pointer (symbol_attribute *, locus *);
2504 gfc_try gfc_add_cray_pointer (symbol_attribute *, locus *);
2505 gfc_try gfc_add_cray_pointee (symbol_attribute *, locus *);
2506 match gfc_mod_pointee_as (gfc_array_spec *);
2507 gfc_try gfc_add_protected (symbol_attribute *, const char *, locus *);
2508 gfc_try gfc_add_result (symbol_attribute *, const char *, locus *);
2509 gfc_try gfc_add_save (symbol_attribute *, save_state, const char *, locus *);
2510 gfc_try gfc_add_threadprivate (symbol_attribute *, const char *, locus *);
2511 gfc_try gfc_add_saved_common (symbol_attribute *, locus *);
2512 gfc_try gfc_add_target (symbol_attribute *, locus *);
2513 gfc_try gfc_add_dummy (symbol_attribute *, const char *, locus *);
2514 gfc_try gfc_add_generic (symbol_attribute *, const char *, locus *);
2515 gfc_try gfc_add_common (symbol_attribute *, locus *);
2516 gfc_try gfc_add_in_common (symbol_attribute *, const char *, locus *);
2517 gfc_try gfc_add_in_equivalence (symbol_attribute *, const char *, locus *);
2518 gfc_try gfc_add_data (symbol_attribute *, const char *, locus *);
2519 gfc_try gfc_add_in_namelist (symbol_attribute *, const char *, locus *);
2520 gfc_try gfc_add_sequence (symbol_attribute *, const char *, locus *);
2521 gfc_try gfc_add_elemental (symbol_attribute *, locus *);
2522 gfc_try gfc_add_pure (symbol_attribute *, locus *);
2523 gfc_try gfc_add_recursive (symbol_attribute *, locus *);
2524 gfc_try gfc_add_function (symbol_attribute *, const char *, locus *);
2525 gfc_try gfc_add_subroutine (symbol_attribute *, const char *, locus *);
2526 gfc_try gfc_add_volatile (symbol_attribute *, const char *, locus *);
2527 gfc_try gfc_add_asynchronous (symbol_attribute *, const char *, locus *);
2528 gfc_try gfc_add_proc (symbol_attribute *attr, const char *name, locus *where);
2529 gfc_try gfc_add_abstract (symbol_attribute* attr, locus* where);
2531 gfc_try gfc_add_access (symbol_attribute *, gfc_access, const char *, locus *);
2532 gfc_try gfc_add_is_bind_c (symbol_attribute *, const char *, locus *, int);
2533 gfc_try gfc_add_extension (symbol_attribute *, locus *);
2534 gfc_try gfc_add_value (symbol_attribute *, const char *, locus *);
2535 gfc_try gfc_add_flavor (symbol_attribute *, sym_flavor, const char *, locus *);
2536 gfc_try gfc_add_entry (symbol_attribute *, const char *, locus *);
2537 gfc_try gfc_add_procedure (symbol_attribute *, procedure_type,
2538 const char *, locus *);
2539 gfc_try gfc_add_intent (symbol_attribute *, sym_intent, locus *);
2540 gfc_try gfc_add_explicit_interface (gfc_symbol *, ifsrc,
2541 gfc_formal_arglist *, locus *);
2542 gfc_try gfc_add_type (gfc_symbol *, gfc_typespec *, locus *);
2544 void gfc_clear_attr (symbol_attribute *);
2545 gfc_try gfc_missing_attr (symbol_attribute *, locus *);
2546 gfc_try gfc_copy_attr (symbol_attribute *, symbol_attribute *, locus *);
2548 gfc_try gfc_add_component (gfc_symbol *, const char *, gfc_component **);
2549 gfc_symbol *gfc_use_derived (gfc_symbol *);
2550 gfc_symtree *gfc_use_derived_tree (gfc_symtree *);
2551 gfc_component *gfc_find_component (gfc_symbol *, const char *, bool, bool);
2553 gfc_st_label *gfc_get_st_label (int);
2554 void gfc_free_st_label (gfc_st_label *);
2555 void gfc_define_st_label (gfc_st_label *, gfc_sl_type, locus *);
2556 gfc_try gfc_reference_st_label (gfc_st_label *, gfc_sl_type);
2558 gfc_namespace *gfc_get_namespace (gfc_namespace *, int);
2559 gfc_symtree *gfc_new_symtree (gfc_symtree **, const char *);
2560 gfc_symtree *gfc_find_symtree (gfc_symtree *, const char *);
2561 void gfc_delete_symtree (gfc_symtree **, const char *);
2562 gfc_symtree *gfc_get_unique_symtree (gfc_namespace *);
2563 gfc_user_op *gfc_get_uop (const char *);
2564 gfc_user_op *gfc_find_uop (const char *, gfc_namespace *);
2565 void gfc_free_symbol (gfc_symbol *);
2566 void gfc_release_symbol (gfc_symbol *);
2567 gfc_symbol *gfc_new_symbol (const char *, gfc_namespace *);
2568 gfc_symtree* gfc_find_symtree_in_proc (const char *, gfc_namespace *);
2569 int gfc_find_symbol (const char *, gfc_namespace *, int, gfc_symbol **);
2570 int gfc_find_sym_tree (const char *, gfc_namespace *, int, gfc_symtree **);
2571 int gfc_get_symbol (const char *, gfc_namespace *, gfc_symbol **);
2572 gfc_try verify_c_interop (gfc_typespec *);
2573 gfc_try verify_c_interop_param (gfc_symbol *);
2574 gfc_try verify_bind_c_sym (gfc_symbol *, gfc_typespec *, int, gfc_common_head *);
2575 gfc_try verify_bind_c_derived_type (gfc_symbol *);
2576 gfc_try verify_com_block_vars_c_interop (gfc_common_head *);
2577 void generate_isocbinding_symbol (const char *, iso_c_binding_symbol, const char *);
2578 gfc_symbol *get_iso_c_sym (gfc_symbol *, char *, char *, int);
2579 int gfc_get_sym_tree (const char *, gfc_namespace *, gfc_symtree **, bool);
2580 int gfc_get_ha_symbol (const char *, gfc_symbol **);
2581 int gfc_get_ha_sym_tree (const char *, gfc_symtree **);
2583 void gfc_undo_symbols (void);
2584 void gfc_commit_symbols (void);
2585 void gfc_commit_symbol (gfc_symbol *);
2586 gfc_charlen *gfc_new_charlen (gfc_namespace *, gfc_charlen *);
2587 void gfc_free_charlen (gfc_charlen *, gfc_charlen *);
2588 void gfc_free_namespace (gfc_namespace *);
2590 void gfc_symbol_init_2 (void);
2591 void gfc_symbol_done_2 (void);
2593 void gfc_traverse_symtree (gfc_symtree *, void (*)(gfc_symtree *));
2594 void gfc_traverse_ns (gfc_namespace *, void (*)(gfc_symbol *));
2595 void gfc_traverse_user_op (gfc_namespace *, void (*)(gfc_user_op *));
2596 void gfc_save_all (gfc_namespace *);
2598 void gfc_enforce_clean_symbol_state (void);
2599 void gfc_free_dt_list (void);
2602 gfc_gsymbol *gfc_get_gsymbol (const char *);
2603 gfc_gsymbol *gfc_find_gsymbol (gfc_gsymbol *, const char *);
2605 gfc_typebound_proc* gfc_get_typebound_proc (gfc_typebound_proc*);
2606 gfc_symbol* gfc_get_derived_super_type (gfc_symbol*);
2607 gfc_symbol* gfc_get_ultimate_derived_super_type (gfc_symbol*);
2608 bool gfc_type_is_extension_of (gfc_symbol *, gfc_symbol *);
2609 bool gfc_type_compatible (gfc_typespec *, gfc_typespec *);
2611 void gfc_copy_formal_args (gfc_symbol *, gfc_symbol *);
2612 void gfc_copy_formal_args_intr (gfc_symbol *, gfc_intrinsic_sym *);
2613 void gfc_copy_formal_args_ppc (gfc_component *, gfc_symbol *);
2615 void gfc_free_finalizer (gfc_finalizer *el); /* Needed in resolve.c, too */
2617 gfc_try gfc_check_symbol_typed (gfc_symbol*, gfc_namespace*, bool, locus);
2618 gfc_namespace* gfc_find_proc_namespace (gfc_namespace*);
2620 bool gfc_is_associate_pointer (gfc_symbol*);
2622 /* intrinsic.c -- true if working in an init-expr, false otherwise. */
2623 extern bool gfc_init_expr_flag;
2625 /* Given a symbol that we have decided is intrinsic, mark it as such
2626 by placing it into a special module that is otherwise impossible to
2629 #define gfc_intrinsic_symbol(SYM) SYM->module = gfc_get_string ("(intrinsic)")
2631 void gfc_intrinsic_init_1 (void);
2632 void gfc_intrinsic_done_1 (void);
2634 char gfc_type_letter (bt);
2635 gfc_symbol * gfc_get_intrinsic_sub_symbol (const char *);
2636 gfc_try gfc_convert_type (gfc_expr *, gfc_typespec *, int);
2637 gfc_try gfc_convert_type_warn (gfc_expr *, gfc_typespec *, int, int);
2638 gfc_try gfc_convert_chartype (gfc_expr *, gfc_typespec *);
2639 int gfc_generic_intrinsic (const char *);
2640 int gfc_specific_intrinsic (const char *);
2641 bool gfc_is_intrinsic (gfc_symbol*, int, locus);
2642 int gfc_intrinsic_actual_ok (const char *, const bool);
2643 gfc_intrinsic_sym *gfc_find_function (const char *);
2644 gfc_intrinsic_sym *gfc_find_subroutine (const char *);
2645 gfc_intrinsic_sym *gfc_intrinsic_function_by_id (gfc_isym_id);
2647 match gfc_intrinsic_func_interface (gfc_expr *, int);
2648 match gfc_intrinsic_sub_interface (gfc_code *, int);
2650 void gfc_warn_intrinsic_shadow (const gfc_symbol*, bool, bool);
2651 gfc_try gfc_check_intrinsic_standard (const gfc_intrinsic_sym*, const char**,
2654 /* match.c -- FIXME */
2655 void gfc_free_iterator (gfc_iterator *, int);
2656 void gfc_free_forall_iterator (gfc_forall_iterator *);
2657 void gfc_free_alloc_list (gfc_alloc *);
2658 void gfc_free_namelist (gfc_namelist *);
2659 void gfc_free_equiv (gfc_equiv *);
2660 void gfc_free_equiv_until (gfc_equiv *, gfc_equiv *);
2661 void gfc_free_data (gfc_data *);
2662 void gfc_free_case_list (gfc_case *);
2664 /* matchexp.c -- FIXME too? */
2665 gfc_expr *gfc_get_parentheses (gfc_expr *);
2668 struct gfc_omp_saved_state { void *ptrs[2]; int ints[1]; };
2669 void gfc_free_omp_clauses (gfc_omp_clauses *);
2670 void gfc_resolve_omp_directive (gfc_code *, gfc_namespace *);
2671 void gfc_resolve_do_iterator (gfc_code *, gfc_symbol *);
2672 void gfc_resolve_omp_parallel_blocks (gfc_code *, gfc_namespace *);
2673 void gfc_resolve_omp_do_blocks (gfc_code *, gfc_namespace *);
2674 void gfc_omp_save_and_clear_state (struct gfc_omp_saved_state *);
2675 void gfc_omp_restore_state (struct gfc_omp_saved_state *);
2678 void gfc_free_actual_arglist (gfc_actual_arglist *);
2679 gfc_actual_arglist *gfc_copy_actual_arglist (gfc_actual_arglist *);
2680 const char *gfc_extract_int (gfc_expr *, int *);
2681 bool is_subref_array (gfc_expr *);
2682 bool gfc_is_simply_contiguous (gfc_expr *, bool);
2684 gfc_expr *gfc_build_conversion (gfc_expr *);
2685 void gfc_free_ref_list (gfc_ref *);
2686 void gfc_type_convert_binary (gfc_expr *, int);
2687 int gfc_is_constant_expr (gfc_expr *);
2688 gfc_try gfc_simplify_expr (gfc_expr *, int);
2689 int gfc_has_vector_index (gfc_expr *);
2691 gfc_expr *gfc_get_expr (void);
2692 gfc_expr *gfc_get_array_expr (bt type, int kind, locus *);
2693 gfc_expr *gfc_get_null_expr (locus *);
2694 gfc_expr *gfc_get_operator_expr (locus *, gfc_intrinsic_op,gfc_expr *, gfc_expr *);
2695 gfc_expr *gfc_get_structure_constructor_expr (bt, int, locus *);
2696 gfc_expr *gfc_get_constant_expr (bt, int, locus *);
2697 gfc_expr *gfc_get_character_expr (int, locus *, const char *, int len);
2698 gfc_expr *gfc_get_int_expr (int, locus *, int);
2699 gfc_expr *gfc_get_logical_expr (int, locus *, bool);
2700 gfc_expr *gfc_get_iokind_expr (locus *, io_kind);
2702 void gfc_free_expr (gfc_expr *);
2703 void gfc_replace_expr (gfc_expr *, gfc_expr *);
2704 mpz_t *gfc_copy_shape (mpz_t *, int);
2705 mpz_t *gfc_copy_shape_excluding (mpz_t *, int, gfc_expr *);
2706 gfc_expr *gfc_copy_expr (gfc_expr *);
2707 gfc_ref* gfc_copy_ref (gfc_ref*);
2709 gfc_try gfc_specification_expr (gfc_expr *);
2711 int gfc_numeric_ts (gfc_typespec *);
2712 int gfc_kind_max (gfc_expr *, gfc_expr *);
2714 gfc_try gfc_check_conformance (gfc_expr *, gfc_expr *, const char *, ...) ATTRIBUTE_PRINTF_3;
2715 gfc_try gfc_check_assign (gfc_expr *, gfc_expr *, int);
2716 gfc_try gfc_check_pointer_assign (gfc_expr *, gfc_expr *);
2717 gfc_try gfc_check_assign_symbol (gfc_symbol *, gfc_expr *);
2719 bool gfc_has_default_initializer (gfc_symbol *);
2720 gfc_expr *gfc_default_initializer (gfc_typespec *);
2721 gfc_expr *gfc_get_variable_expr (gfc_symtree *);
2722 gfc_expr * gfc_lval_expr_from_sym (gfc_symbol *);
2724 gfc_array_spec *gfc_get_full_arrayspec_from_expr (gfc_expr *expr);
2726 bool gfc_traverse_expr (gfc_expr *, gfc_symbol *,
2727 bool (*)(gfc_expr *, gfc_symbol *, int*),
2729 void gfc_expr_set_symbols_referenced (gfc_expr *);
2730 gfc_try gfc_expr_check_typed (gfc_expr*, gfc_namespace*, bool);
2731 void gfc_expr_replace_symbols (gfc_expr *, gfc_symbol *);
2732 void gfc_expr_replace_comp (gfc_expr *, gfc_component *);
2734 bool gfc_is_proc_ptr_comp (gfc_expr *, gfc_component **);
2736 bool gfc_is_coindexed (gfc_expr *);
2737 int gfc_get_corank (gfc_expr *);
2738 bool gfc_has_ultimate_allocatable (gfc_expr *);
2739 bool gfc_has_ultimate_pointer (gfc_expr *);
2741 gfc_expr* gfc_build_intrinsic_call (const char*, locus, unsigned, ...);
2742 gfc_try gfc_check_vardef_context (gfc_expr*, bool, bool, const char*);
2746 extern gfc_code new_st;
2748 void gfc_clear_new_st (void);
2749 gfc_code *gfc_get_code (void);
2750 gfc_code *gfc_append_code (gfc_code *, gfc_code *);
2751 void gfc_free_statement (gfc_code *);
2752 void gfc_free_statements (gfc_code *);
2753 void gfc_free_association_list (gfc_association_list *);
2756 gfc_try gfc_resolve_expr (gfc_expr *);
2757 void gfc_resolve (gfc_namespace *);
2758 void gfc_resolve_blocks (gfc_code *, gfc_namespace *);
2759 int gfc_impure_variable (gfc_symbol *);
2760 int gfc_pure (gfc_symbol *);
2761 int gfc_implicit_pure (gfc_symbol *);
2762 int gfc_elemental (gfc_symbol *);
2763 gfc_try gfc_resolve_iterator (gfc_iterator *, bool);
2764 gfc_try find_forall_index (gfc_expr *, gfc_symbol *, int);
2765 gfc_try gfc_resolve_index (gfc_expr *, int);
2766 gfc_try gfc_resolve_dim_arg (gfc_expr *);
2767 int gfc_is_formal_arg (void);
2768 void gfc_resolve_substring_charlen (gfc_expr *);
2769 match gfc_iso_c_sub_interface(gfc_code *, gfc_symbol *);
2770 gfc_expr *gfc_expr_to_initialize (gfc_expr *);
2771 bool gfc_type_is_extensible (gfc_symbol *sym);
2775 gfc_iterator *gfc_copy_iterator (gfc_iterator *);
2777 void gfc_free_array_spec (gfc_array_spec *);
2778 gfc_array_ref *gfc_copy_array_ref (gfc_array_ref *);
2780 gfc_try gfc_set_array_spec (gfc_symbol *, gfc_array_spec *, locus *);
2781 gfc_array_spec *gfc_copy_array_spec (gfc_array_spec *);
2782 gfc_try gfc_resolve_array_spec (gfc_array_spec *, int);
2784 int gfc_compare_array_spec (gfc_array_spec *, gfc_array_spec *);
2786 void gfc_simplify_iterator_var (gfc_expr *);
2787 gfc_try gfc_expand_constructor (gfc_expr *, bool);
2788 int gfc_constant_ac (gfc_expr *);
2789 int gfc_expanded_ac (gfc_expr *);
2790 gfc_try gfc_resolve_character_array_constructor (gfc_expr *);
2791 gfc_try gfc_resolve_array_constructor (gfc_expr *);
2792 gfc_try gfc_check_constructor_type (gfc_expr *);
2793 gfc_try gfc_check_iter_variable (gfc_expr *);
2794 gfc_try gfc_check_constructor (gfc_expr *, gfc_try (*)(gfc_expr *));
2795 gfc_try gfc_array_size (gfc_expr *, mpz_t *);
2796 gfc_try gfc_array_dimen_size (gfc_expr *, int, mpz_t *);
2797 gfc_try gfc_array_ref_shape (gfc_array_ref *, mpz_t *);
2798 gfc_array_ref *gfc_find_array_ref (gfc_expr *);
2799 tree gfc_conv_array_initializer (tree type, gfc_expr *);
2800 gfc_try spec_size (gfc_array_spec *, mpz_t *);
2801 gfc_try spec_dimen_size (gfc_array_spec *, int, mpz_t *);
2802 int gfc_is_compile_time_shape (gfc_array_spec *);
2804 gfc_try gfc_ref_dimen_size (gfc_array_ref *, int dimen, mpz_t *, mpz_t *);
2807 /* interface.c -- FIXME: some of these should be in symbol.c */
2808 void gfc_free_interface (gfc_interface *);
2809 int gfc_compare_derived_types (gfc_symbol *, gfc_symbol *);
2810 int gfc_compare_types (gfc_typespec *, gfc_typespec *);
2811 int gfc_compare_interfaces (gfc_symbol*, gfc_symbol*, const char *, int, int,
2813 void gfc_check_interfaces (gfc_namespace *);
2814 void gfc_procedure_use (gfc_symbol *, gfc_actual_arglist **, locus *);
2815 void gfc_ppc_use (gfc_component *, gfc_actual_arglist **, locus *);
2816 gfc_symbol *gfc_search_interface (gfc_interface *, int,
2817 gfc_actual_arglist **);
2818 gfc_try gfc_extend_expr (gfc_expr *, bool *);
2819 void gfc_free_formal_arglist (gfc_formal_arglist *);
2820 gfc_try gfc_extend_assign (gfc_code *, gfc_namespace *);
2821 gfc_try gfc_add_interface (gfc_symbol *);
2822 gfc_interface *gfc_current_interface_head (void);
2823 void gfc_set_current_interface_head (gfc_interface *);
2824 gfc_symtree* gfc_find_sym_in_symtree (gfc_symbol*);
2825 bool gfc_arglist_matches_symbol (gfc_actual_arglist**, gfc_symbol*);
2826 bool gfc_check_operator_interface (gfc_symbol*, gfc_intrinsic_op, locus);
2827 int gfc_has_vector_subscript (gfc_expr*);
2828 gfc_intrinsic_op gfc_equivalent_op (gfc_intrinsic_op);
2831 extern gfc_st_label format_asterisk;
2833 void gfc_free_open (gfc_open *);
2834 gfc_try gfc_resolve_open (gfc_open *);
2835 void gfc_free_close (gfc_close *);
2836 gfc_try gfc_resolve_close (gfc_close *);
2837 void gfc_free_filepos (gfc_filepos *);
2838 gfc_try gfc_resolve_filepos (gfc_filepos *);
2839 void gfc_free_inquire (gfc_inquire *);
2840 gfc_try gfc_resolve_inquire (gfc_inquire *);
2841 void gfc_free_dt (gfc_dt *);
2842 gfc_try gfc_resolve_dt (gfc_dt *, locus *);
2843 void gfc_free_wait (gfc_wait *);
2844 gfc_try gfc_resolve_wait (gfc_wait *);
2847 void gfc_module_init_2 (void);
2848 void gfc_module_done_2 (void);
2849 void gfc_dump_module (const char *, int);
2850 bool gfc_check_symbol_access (gfc_symbol *);
2851 void gfc_free_use_stmts (gfc_use_list *);
2854 symbol_attribute gfc_variable_attr (gfc_expr *, gfc_typespec *);
2855 symbol_attribute gfc_expr_attr (gfc_expr *);
2856 match gfc_match_rvalue (gfc_expr **);
2857 match gfc_match_varspec (gfc_expr*, int, bool, bool);
2858 int gfc_check_digit (char, int);
2859 bool gfc_is_function_return_value (gfc_symbol *, gfc_namespace *);
2862 void gfc_generate_code (gfc_namespace *);
2863 void gfc_generate_module_code (gfc_namespace *);
2864 void gfc_init_coarray_decl (bool);
2867 typedef int (*compare_fn) (void *, void *);
2868 void gfc_insert_bbt (void *, void *, compare_fn);
2869 void gfc_delete_bbt (void *, void *, compare_fn);
2871 /* dump-parse-tree.c */
2872 void gfc_dump_parse_tree (gfc_namespace *, FILE *);
2875 gfc_try gfc_parse_file (void);
2876 void gfc_global_used (gfc_gsymbol *, locus *);
2877 gfc_namespace* gfc_build_block_ns (gfc_namespace *);
2880 int gfc_dep_compare_functions (gfc_expr *, gfc_expr *, bool);
2881 int gfc_dep_compare_expr (gfc_expr *, gfc_expr *);
2884 gfc_try gfc_check_same_strlen (const gfc_expr*, const gfc_expr*, const char*);
2887 void gfc_add_component_ref (gfc_expr *, const char *);
2888 #define gfc_add_data_component(e) gfc_add_component_ref(e,"_data")
2889 #define gfc_add_vptr_component(e) gfc_add_component_ref(e,"_vptr")
2890 #define gfc_add_hash_component(e) gfc_add_component_ref(e,"_hash")
2891 #define gfc_add_size_component(e) gfc_add_component_ref(e,"_size")
2892 #define gfc_add_def_init_component(e) gfc_add_component_ref(e,"_def_init")
2893 gfc_expr *gfc_class_null_initializer (gfc_typespec *);
2894 unsigned int gfc_hash_value (gfc_symbol *);
2895 gfc_try gfc_build_class_symbol (gfc_typespec *, symbol_attribute *,
2896 gfc_array_spec **, bool);
2897 gfc_symbol *gfc_find_derived_vtab (gfc_symbol *);
2898 gfc_symtree* gfc_find_typebound_proc (gfc_symbol*, gfc_try*,
2899 const char*, bool, locus*);
2900 gfc_symtree* gfc_find_typebound_user_op (gfc_symbol*, gfc_try*,
2901 const char*, bool, locus*);
2902 gfc_typebound_proc* gfc_find_typebound_intrinsic_op (gfc_symbol*, gfc_try*,
2903 gfc_intrinsic_op, bool,
2905 gfc_symtree* gfc_get_tbp_symtree (gfc_symtree**, const char*);
2907 #define CLASS_DATA(sym) sym->ts.u.derived->components
2909 /* frontend-passes.c */
2911 void gfc_run_passes (gfc_namespace *);
2913 typedef int (*walk_code_fn_t) (gfc_code **, int *, void *);
2914 typedef int (*walk_expr_fn_t) (gfc_expr **, int *, void *);
2916 int gfc_expr_walker (gfc_expr **, walk_expr_fn_t, void *);
2917 int gfc_code_walker (gfc_code **, walk_code_fn_t, walk_expr_fn_t, void *);
2919 #endif /* GCC_GFORTRAN_H */