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_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). */
320 GFC_ISYM_COMMAND_ARGUMENT_COUNT,
321 GFC_ISYM_COMPILER_OPTIONS,
322 GFC_ISYM_COMPILER_VERSION,
333 GFC_ISYM_DATE_AND_TIME,
337 GFC_ISYM_DOT_PRODUCT,
346 GFC_ISYM_ERFC_SCALED,
348 GFC_ISYM_EXECUTE_COMMAND_LINE,
352 GFC_ISYM_EXTENDS_TYPE_OF,
369 GFC_ISYM_GET_COMMAND,
370 GFC_ISYM_GET_COMMAND_ARGUMENT,
373 GFC_ISYM_GET_ENVIRONMENT_VARIABLE,
394 GFC_ISYM_IMAGE_INDEX,
403 GFC_ISYM_IS_IOSTAT_END,
404 GFC_ISYM_IS_IOSTAT_EOR,
439 GFC_ISYM_MAXEXPONENT,
447 GFC_ISYM_MINEXPONENT,
472 GFC_ISYM_RANDOM_NUMBER,
473 GFC_ISYM_RANDOM_SEED,
481 GFC_ISYM_SAME_TYPE_AS,
487 GFC_ISYM_SET_EXPONENT,
506 GFC_ISYM_STORAGE_SIZE,
511 GFC_ISYM_SYSTEM_CLOCK,
535 typedef enum gfc_isym_id gfc_isym_id;
540 GFC_INIT_REAL_OFF = 0,
545 GFC_INIT_REAL_NEG_INF
551 GFC_INIT_LOGICAL_OFF = 0,
552 GFC_INIT_LOGICAL_FALSE,
553 GFC_INIT_LOGICAL_TRUE
559 GFC_INIT_CHARACTER_OFF = 0,
560 GFC_INIT_CHARACTER_ON
562 init_local_character;
566 GFC_INIT_INTEGER_OFF = 0,
573 GFC_FCOARRAY_NONE = 0,
588 /************************* Structures *****************************/
590 /* Used for keeping things in balanced binary trees. */
591 #define BBT_HEADER(self) int priority; struct self *left, *right
593 #define NAMED_INTCST(a,b,c,d) a,
594 #define NAMED_KINDARRAY(a,b,c,d) a,
595 #define NAMED_FUNCTION(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;
604 #undef NAMED_KINDARRAY
605 #undef NAMED_FUNCTION
607 #define NAMED_INTCST(a,b,c,d) a,
608 #define NAMED_REALCST(a,b,c) a,
609 #define NAMED_CMPXCST(a,b,c) a,
610 #define NAMED_LOGCST(a,b,c) a,
611 #define NAMED_CHARKNDCST(a,b,c) a,
612 #define NAMED_CHARCST(a,b,c) a,
613 #define DERIVED_TYPE(a,b,c) a,
614 #define PROCEDURE(a,b) a,
615 #define NAMED_FUNCTION(a,b,c,d) a,
618 ISOCBINDING_INVALID = -1,
619 #include "iso-c-binding.def"
621 ISOCBINDING_NUMBER = ISOCBINDING_LAST
623 iso_c_binding_symbol;
628 #undef NAMED_CHARKNDCST
632 #undef NAMED_FUNCTION
636 INTMOD_NONE = 0, INTMOD_ISO_FORTRAN_ENV, INTMOD_ISO_C_BINDING
642 char name[GFC_MAX_SYMBOL_LEN + 1];
643 int value; /* Used for both integer and character values. */
648 /* Array of structs, where the structs represent the C interop kinds.
649 The list will be implemented based on a hash of the kind name since
650 these could be accessed multiple times.
651 Declared in trans-types.c as a global, since it's in that file
652 that the list is initialized. */
653 extern CInteropKind_t c_interop_kinds_table[];
656 /* Structure and list of supported extension attributes. */
659 EXT_ATTR_DLLIMPORT = 0,
664 EXT_ATTR_LAST, EXT_ATTR_NUM = EXT_ATTR_LAST
672 const char *middle_end_name;
676 extern const ext_attr_t ext_attr_list[];
678 /* Symbol attribute structure. */
681 /* Variable attributes. */
682 unsigned allocatable:1, dimension:1, codimension:1, external:1, intrinsic:1,
683 optional:1, pointer:1, target:1, value:1, volatile_:1, temporary:1,
684 dummy:1, result:1, assign:1, threadprivate:1, not_always_present:1,
685 implied_index:1, subref_array_pointer:1, proc_pointer:1, asynchronous:1,
688 /* For CLASS containers, the pointer attribute is sometimes set internally
689 even though it was not directly specified. In this case, keep the
690 "real" (original) value here. */
691 unsigned class_pointer:1;
693 ENUM_BITFIELD (save_state) save:2;
695 unsigned data:1, /* Symbol is named in a DATA statement. */
696 is_protected:1, /* Symbol has been marked as protected. */
697 use_assoc:1, /* Symbol has been use-associated. */
698 use_only:1, /* Symbol has been use-associated, with ONLY. */
699 use_rename:1, /* Symbol has been use-associated and renamed. */
700 imported:1, /* Symbol has been associated by IMPORT. */
701 host_assoc:1; /* Symbol has been host associated. */
703 unsigned in_namelist:1, in_common:1, in_equivalence:1;
704 unsigned function:1, subroutine:1, procedure:1;
705 unsigned generic:1, generic_copy:1;
706 unsigned implicit_type:1; /* Type defined via implicit rules. */
707 unsigned untyped:1; /* No implicit type could be found. */
709 unsigned is_bind_c:1; /* say if is bound to C. */
710 unsigned extension:8; /* extension level of a derived type. */
711 unsigned is_class:1; /* is a CLASS container. */
712 unsigned class_ok:1; /* is a CLASS object with correct attributes. */
713 unsigned vtab:1; /* is a derived type vtab, pointed to by CLASS objects. */
714 unsigned vtype:1; /* is a derived type of a vtab. */
716 /* These flags are both in the typespec and attribute. The attribute
717 list is what gets read from/written to a module file. The typespec
718 is created from a decl being processed. */
719 unsigned is_c_interop:1; /* It's c interoperable. */
720 unsigned is_iso_c:1; /* Symbol is from iso_c_binding. */
722 /* Function/subroutine attributes */
723 unsigned sequence:1, elemental:1, pure:1, recursive:1;
724 unsigned unmaskable:1, masked:1, contained:1, mod_proc:1, abstract:1;
726 /* This is set if a contained procedure could be declared pure. This is
727 used for certain optimizations that require the result or arguments
728 cannot alias. Note that this is zero for PURE procedures. */
729 unsigned implicit_pure:1;
731 /* This is set if the subroutine doesn't return. Currently, this
732 is only possible for intrinsic subroutines. */
735 /* Set if this procedure is an alternate entry point. These procedures
736 don't have any code associated, and the backend will turn them into
737 thunks to the master function. */
740 /* Set if this is the master function for a procedure with multiple
742 unsigned entry_master:1;
744 /* Set if this is the master function for a function with multiple
745 entry points where characteristics of the entry points differ. */
746 unsigned mixed_entry_master:1;
748 /* Set if a function must always be referenced by an explicit interface. */
749 unsigned always_explicit:1;
751 /* Set if the symbol has been referenced in an expression. No further
752 modification of type or type parameters is permitted. */
753 unsigned referenced:1;
755 /* Set if this is the symbol for the main program. */
756 unsigned is_main_program:1;
758 /* Mutually exclusive multibit attributes. */
759 ENUM_BITFIELD (gfc_access) access:2;
760 ENUM_BITFIELD (sym_intent) intent:2;
761 ENUM_BITFIELD (sym_flavor) flavor:4;
762 ENUM_BITFIELD (ifsrc) if_source:2;
764 ENUM_BITFIELD (procedure_type) proc:3;
766 /* Special attributes for Cray pointers, pointees. */
767 unsigned cray_pointer:1, cray_pointee:1;
769 /* The symbol is a derived type with allocatable components, pointer
770 components or private components, procedure pointer components,
771 possibly nested. zero_comp is true if the derived type has no
773 unsigned alloc_comp:1, pointer_comp:1, proc_pointer_comp:1,
774 private_comp:1, zero_comp:1, coarray_comp:1;
776 /* This is a temporary selector for SELECT TYPE. */
777 unsigned select_type_temporary:1;
779 /* Attributes set by compiler extensions (!GCC$ ATTRIBUTES). */
780 unsigned ext_attr:EXT_ATTR_NUM;
782 /* The namespace where the attribute has been set. */
783 struct gfc_namespace *volatile_ns, *asynchronous_ns;
788 /* We need to store source lines as sequences of multibyte source
789 characters. We define here a type wide enough to hold any multibyte
790 source character, just like libcpp does. A 32-bit type is enough. */
792 #if HOST_BITS_PER_INT >= 32
793 typedef unsigned int gfc_char_t;
794 #elif HOST_BITS_PER_LONG >= 32
795 typedef unsigned long gfc_char_t;
796 #elif defined(HAVE_LONG_LONG) && (HOST_BITS_PER_LONGLONG >= 32)
797 typedef unsigned long long gfc_char_t;
799 # error "Cannot find an integer type with at least 32 bits"
803 /* The following three structures are used to identify a location in
806 gfc_file is used to maintain a tree of the source files and how
807 they include each other
809 gfc_linebuf holds a single line of source code and information
810 which file it resides in
812 locus point to the sourceline and the character in the source
816 typedef struct gfc_file
818 struct gfc_file *next, *up;
819 int inclusion_line, line;
823 typedef struct gfc_linebuf
825 source_location location;
826 struct gfc_file *file;
827 struct gfc_linebuf *next;
835 #define gfc_linebuf_header_size (offsetof (gfc_linebuf, line))
837 #define gfc_linebuf_linenum(LBUF) (LOCATION_LINE ((LBUF)->location))
845 /* In order for the "gfc" format checking to work correctly, you must
846 have declared a typedef locus first. */
847 #if GCC_VERSION >= 4001
848 #define ATTRIBUTE_GCC_GFC(m, n) __attribute__ ((__format__ (__gcc_gfc__, m, n))) ATTRIBUTE_NONNULL(m)
850 #define ATTRIBUTE_GCC_GFC(m, n) ATTRIBUTE_NONNULL(m)
854 /* Suppress error messages or re-enable them. */
856 void gfc_push_suppress_errors (void);
857 void gfc_pop_suppress_errors (void);
860 /* Character length structures hold the expression that gives the
861 length of a character variable. We avoid putting these into
862 gfc_typespec because doing so prevents us from doing structure
863 copies and forces us to deallocate any typespecs we create, as well
864 as structures that contain typespecs. They also can have multiple
865 character typespecs pointing to them.
867 These structures form a singly linked list within the current
868 namespace and are deallocated with the namespace. It is possible to
869 end up with gfc_charlen structures that have nothing pointing to them. */
871 typedef struct gfc_charlen
873 struct gfc_expr *length;
874 struct gfc_charlen *next;
875 bool length_from_typespec; /* Length from explicit array ctor typespec? */
877 tree passed_length; /* Length argument explicitly passed. */
883 #define gfc_get_charlen() XCNEW (gfc_charlen)
885 /* Type specification structure. */
893 struct gfc_symbol *derived; /* For derived types only. */
894 gfc_charlen *cl; /* For character types only. */
895 int pad; /* For hollerith types only. */
899 struct gfc_symbol *interface; /* For PROCEDURE declarations. */
907 /* Array specification. */
910 int rank; /* A rank of zero means that a variable is a scalar. */
912 array_type type, cotype;
913 struct gfc_expr *lower[GFC_MAX_DIMENSIONS], *upper[GFC_MAX_DIMENSIONS];
915 /* These two fields are used with the Cray Pointer extension. */
916 bool cray_pointee; /* True iff this spec belongs to a cray pointee. */
917 bool cp_was_assumed; /* AS_ASSUMED_SIZE cp arrays are converted to
918 AS_EXPLICIT, but we want to remember that we
924 #define gfc_get_array_spec() XCNEW (gfc_array_spec)
927 /* Components of derived types. */
928 typedef struct gfc_component
933 symbol_attribute attr;
937 /* Used to cache a FIELD_DECL matching this same component
938 but applied to a different backend containing type that was
939 generated by gfc_nonrestricted_type. */
940 tree norestrict_decl;
942 struct gfc_expr *initializer;
943 struct gfc_component *next;
945 /* Needed for procedure pointer components. */
946 struct gfc_formal_arglist *formal;
947 struct gfc_namespace *formal_ns;
948 struct gfc_typebound_proc *tb;
952 #define gfc_get_component() XCNEW (gfc_component)
954 /* Formal argument lists are lists of symbols. */
955 typedef struct gfc_formal_arglist
957 /* Symbol representing the argument at this position in the arglist. */
958 struct gfc_symbol *sym;
959 /* Points to the next formal argument. */
960 struct gfc_formal_arglist *next;
964 #define gfc_get_formal_arglist() XCNEW (gfc_formal_arglist)
967 /* The gfc_actual_arglist structure is for actual arguments. */
968 typedef struct gfc_actual_arglist
971 /* Alternate return label when the expr member is null. */
972 struct gfc_st_label *label;
974 /* This is set to the type of an eventual omitted optional
975 argument. This is used to determine if a hidden string length
976 argument has to be added to a function call. */
979 struct gfc_expr *expr;
980 struct gfc_actual_arglist *next;
984 #define gfc_get_actual_arglist() XCNEW (gfc_actual_arglist)
987 /* Because a symbol can belong to multiple namelists, they must be
988 linked externally to the symbol itself. */
989 typedef struct gfc_namelist
991 struct gfc_symbol *sym;
992 struct gfc_namelist *next;
996 #define gfc_get_namelist() XCNEW (gfc_namelist)
1001 OMP_LIST_FIRSTPRIVATE,
1002 OMP_LIST_LASTPRIVATE,
1003 OMP_LIST_COPYPRIVATE,
1007 OMP_LIST_REDUCTION_FIRST = OMP_LIST_PLUS,
1019 OMP_LIST_REDUCTION_LAST = OMP_LIST_IEOR,
1023 /* Because a symbol can belong to multiple namelists, they must be
1024 linked externally to the symbol itself. */
1026 enum gfc_omp_sched_kind
1036 enum gfc_omp_default_sharing
1038 OMP_DEFAULT_UNKNOWN,
1040 OMP_DEFAULT_PRIVATE,
1042 OMP_DEFAULT_FIRSTPRIVATE
1045 typedef struct gfc_omp_clauses
1047 struct gfc_expr *if_expr;
1048 struct gfc_expr *num_threads;
1049 gfc_namelist *lists[OMP_LIST_NUM];
1050 enum gfc_omp_sched_kind sched_kind;
1051 struct gfc_expr *chunk_size;
1052 enum gfc_omp_default_sharing default_sharing;
1054 bool nowait, ordered, untied;
1058 #define gfc_get_omp_clauses() XCNEW (gfc_omp_clauses)
1061 /* The gfc_st_label structure is a BBT attached to a namespace that
1062 records the usage of statement labels within that space. */
1064 typedef struct gfc_st_label
1066 BBT_HEADER(gfc_st_label);
1070 gfc_sl_type defined, referenced;
1072 struct gfc_expr *format;
1081 /* gfc_interface()-- Interfaces are lists of symbols strung together. */
1082 typedef struct gfc_interface
1084 struct gfc_symbol *sym;
1086 struct gfc_interface *next;
1090 #define gfc_get_interface() XCNEW (gfc_interface)
1092 /* User operator nodes. These are like stripped down symbols. */
1098 struct gfc_namespace *ns;
1104 /* A list of specific bindings that are associated with a generic spec. */
1105 typedef struct gfc_tbp_generic
1107 /* The parser sets specific_st, upon resolution we look for the corresponding
1108 gfc_typebound_proc and set specific for further use. */
1109 struct gfc_symtree* specific_st;
1110 struct gfc_typebound_proc* specific;
1112 struct gfc_tbp_generic* next;
1116 #define gfc_get_tbp_generic() XCNEW (gfc_tbp_generic)
1119 /* Data needed for type-bound procedures. */
1120 typedef struct gfc_typebound_proc
1122 locus where; /* Where the PROCEDURE/GENERIC definition was. */
1126 struct gfc_symtree* specific; /* The interface if DEFERRED. */
1127 gfc_tbp_generic* generic;
1132 const char* pass_arg; /* Argument-name for PASS. NULL if not specified. */
1134 /* The overridden type-bound proc (or GENERIC with this name in the
1135 parent-type) or NULL if non. */
1136 struct gfc_typebound_proc* overridden;
1138 /* Once resolved, we use the position of pass_arg in the formal arglist of
1139 the binding-target procedure to identify it. The first argument has
1140 number 1 here, the second 2, and so on. */
1141 unsigned pass_arg_num;
1143 unsigned nopass:1; /* Whether we have NOPASS (PASS otherwise). */
1144 unsigned non_overridable:1;
1145 unsigned deferred:1;
1146 unsigned is_generic:1;
1147 unsigned function:1, subroutine:1;
1148 unsigned error:1; /* Ignore it, when an error occurred during resolution. */
1154 /* Symbol nodes. These are important things. They are what the
1155 standard refers to as "entities". The possibly multiple names that
1156 refer to the same entity are accomplished by a binary tree of
1157 symtree structures that is balanced by the red-black method-- more
1158 than one symtree node can point to any given symbol. */
1160 typedef struct gfc_symbol
1162 const char *name; /* Primary name, before renaming */
1163 const char *module; /* Module this symbol came from */
1167 symbol_attribute attr;
1169 /* The formal member points to the formal argument list if the
1170 symbol is a function or subroutine name. If the symbol is a
1171 generic name, the generic member points to the list of
1174 gfc_interface *generic;
1175 gfc_access component_access;
1177 gfc_formal_arglist *formal;
1178 struct gfc_namespace *formal_ns;
1179 struct gfc_namespace *f2k_derived;
1181 struct gfc_expr *value; /* Parameter/Initializer value */
1183 struct gfc_symbol *result; /* function result symbol */
1184 gfc_component *components; /* Derived type components */
1186 /* Defined only for Cray pointees; points to their pointer. */
1187 struct gfc_symbol *cp_pointer;
1189 int entry_id; /* Used in resolve.c for entries. */
1191 /* CLASS hashed name for declared and dynamic types in the class. */
1194 struct gfc_symbol *common_next; /* Links for COMMON syms */
1196 /* This is in fact a gfc_common_head but it is only used for pointer
1197 comparisons to check if symbols are in the same common block. */
1198 struct gfc_common_head* common_head;
1200 /* Make sure setup code for dummy arguments is generated in the correct
1204 gfc_namelist *namelist, *namelist_tail;
1206 /* Change management fields. Symbols that might be modified by the
1207 current statement have the mark member nonzero and are kept in a
1208 singly linked list through the tlink field. Of these symbols,
1209 symbols with old_symbol equal to NULL are symbols created within
1210 the current statement. Otherwise, old_symbol points to a copy of
1213 struct gfc_symbol *old_symbol, *tlink;
1214 unsigned mark:1, gfc_new:1;
1215 /* Nonzero if all equivalences associated with this symbol have been
1217 unsigned equiv_built:1;
1218 /* Set if this variable is used as an index name in a FORALL. */
1219 unsigned forall_index:1;
1221 struct gfc_namespace *ns; /* namespace containing this symbol */
1225 /* Identity of the intrinsic module the symbol comes from, or
1226 INTMOD_NONE if it's not imported from a intrinsic module. */
1227 intmod_id from_intmod;
1228 /* Identity of the symbol from intrinsic modules, from enums maintained
1229 separately by each intrinsic module. Used together with from_intmod,
1230 it uniquely identifies a symbol from an intrinsic module. */
1233 /* This may be repetitive, since the typespec now has a binding
1235 char binding_label[GFC_MAX_BINDING_LABEL_LEN + 1];
1236 /* Store a reference to the common_block, if this symbol is in one. */
1237 struct gfc_common_head *common_block;
1239 /* Link to corresponding association-list if this is an associate name. */
1240 struct gfc_association_list *assoc;
1245 /* This structure is used to keep track of symbols in common blocks. */
1246 typedef struct gfc_common_head
1249 char use_assoc, saved, threadprivate;
1250 char name[GFC_MAX_SYMBOL_LEN + 1];
1251 struct gfc_symbol *head;
1252 char binding_label[GFC_MAX_BINDING_LABEL_LEN + 1];
1257 #define gfc_get_common_head() XCNEW (gfc_common_head)
1260 /* A list of all the alternate entry points for a procedure. */
1262 typedef struct gfc_entry_list
1264 /* The symbol for this entry point. */
1266 /* The zero-based id of this entry point. */
1268 /* The LABEL_EXPR marking this entry point. */
1270 /* The next item in the list. */
1271 struct gfc_entry_list *next;
1275 #define gfc_get_entry_list() \
1276 (gfc_entry_list *) gfc_getmem(sizeof(gfc_entry_list))
1278 /* Lists of rename info for the USE statement. */
1280 typedef struct gfc_use_rename
1282 char local_name[GFC_MAX_SYMBOL_LEN + 1], use_name[GFC_MAX_SYMBOL_LEN + 1];
1283 struct gfc_use_rename *next;
1285 gfc_intrinsic_op op;
1290 #define gfc_get_use_rename() XCNEW (gfc_use_rename);
1292 /* A list of all USE statements in a namespace. */
1294 typedef struct gfc_use_list
1296 const char *module_name;
1298 struct gfc_use_rename *rename;
1300 /* Next USE statement. */
1301 struct gfc_use_list *next;
1305 #define gfc_get_use_list() \
1306 (gfc_use_list *) gfc_getmem(sizeof(gfc_use_list))
1308 /* Within a namespace, symbols are pointed to by symtree nodes that
1309 are linked together in a balanced binary tree. There can be
1310 several symtrees pointing to the same symbol node via USE
1313 typedef struct gfc_symtree
1315 BBT_HEADER (gfc_symtree);
1320 gfc_symbol *sym; /* Symbol associated with this node */
1322 gfc_common_head *common;
1323 gfc_typebound_proc *tb;
1329 /* A linked list of derived types in the namespace. */
1330 typedef struct gfc_dt_list
1332 struct gfc_symbol *derived;
1333 struct gfc_dt_list *next;
1337 #define gfc_get_dt_list() XCNEW (gfc_dt_list)
1339 /* A list of all derived types. */
1340 extern gfc_dt_list *gfc_derived_types;
1342 /* A namespace describes the contents of procedure, module, interface block
1343 or BLOCK construct. */
1344 /* ??? Anything else use these? */
1346 typedef struct gfc_namespace
1348 /* Tree containing all the symbols in this namespace. */
1349 gfc_symtree *sym_root;
1350 /* Tree containing all the user-defined operators in the namespace. */
1351 gfc_symtree *uop_root;
1352 /* Tree containing all the common blocks. */
1353 gfc_symtree *common_root;
1355 /* Tree containing type-bound procedures. */
1356 gfc_symtree *tb_sym_root;
1357 /* Type-bound user operators. */
1358 gfc_symtree *tb_uop_root;
1359 /* For derived-types, store type-bound intrinsic operators here. */
1360 gfc_typebound_proc *tb_op[GFC_INTRINSIC_OPS];
1361 /* Linked list of finalizer procedures. */
1362 struct gfc_finalizer *finalizers;
1364 /* If set_flag[letter] is set, an implicit type has been set for letter. */
1365 int set_flag[GFC_LETTERS];
1366 /* Keeps track of the implicit types associated with the letters. */
1367 gfc_typespec default_type[GFC_LETTERS];
1368 /* Store the positions of IMPLICIT statements. */
1369 locus implicit_loc[GFC_LETTERS];
1371 /* If this is a namespace of a procedure, this points to the procedure. */
1372 struct gfc_symbol *proc_name;
1373 /* If this is the namespace of a unit which contains executable
1374 code, this points to it. */
1375 struct gfc_code *code;
1377 /* Points to the equivalences set up in this namespace. */
1378 struct gfc_equiv *equiv, *old_equiv;
1380 /* Points to the equivalence groups produced by trans_common. */
1381 struct gfc_equiv_list *equiv_lists;
1383 gfc_interface *op[GFC_INTRINSIC_OPS];
1385 /* Points to the parent namespace, i.e. the namespace of a module or
1386 procedure in which the procedure belonging to this namespace is
1387 contained. The parent namespace points to this namespace either
1388 directly via CONTAINED, or indirectly via the chain built by
1390 struct gfc_namespace *parent;
1391 /* CONTAINED points to the first contained namespace. Sibling
1392 namespaces are chained via SIBLING. */
1393 struct gfc_namespace *contained, *sibling;
1395 gfc_common_head blank_common;
1396 gfc_access default_access, operator_access[GFC_INTRINSIC_OPS];
1398 gfc_st_label *st_labels;
1399 /* This list holds information about all the data initializers in
1401 struct gfc_data *data;
1403 gfc_charlen *cl_list, *old_cl_list;
1405 gfc_dt_list *derived_types;
1407 int save_all, seen_save, seen_implicit_none;
1409 /* Normally we don't need to refcount namespaces. However when we read
1410 a module containing a function with multiple entry points, this
1411 will appear as several functions with the same formal namespace. */
1414 /* A list of all alternate entry points to this procedure (or NULL). */
1415 gfc_entry_list *entries;
1417 /* A list of USE statements in this namespace. */
1418 gfc_use_list *use_stmts;
1420 /* Set to 1 if namespace is a BLOCK DATA program unit. */
1421 unsigned is_block_data:1;
1423 /* Set to 1 if namespace is an interface body with "IMPORT" used. */
1424 unsigned has_import_set:1;
1426 /* Set to 1 if resolved has been called for this namespace.
1427 Holds -1 during resolution. */
1430 /* Set to 1 if code has been generated for this namespace. */
1431 unsigned translated:1;
1433 /* Set to 1 if symbols in this namespace should be 'construct entities',
1434 i.e. for BLOCK local variables. */
1435 unsigned construct_entities:1;
1439 extern gfc_namespace *gfc_current_ns;
1440 extern gfc_namespace *gfc_global_ns_list;
1442 /* Global symbols are symbols of global scope. Currently we only use
1443 this to detect collisions already when parsing.
1444 TODO: Extend to verify procedure calls. */
1446 enum gfc_symbol_type
1448 GSYM_UNKNOWN=1, GSYM_PROGRAM, GSYM_FUNCTION, GSYM_SUBROUTINE,
1449 GSYM_MODULE, GSYM_COMMON, GSYM_BLOCK_DATA
1452 typedef struct gfc_gsymbol
1454 BBT_HEADER(gfc_gsymbol);
1457 const char *sym_name;
1458 const char *mod_name;
1459 const char *binding_label;
1460 enum gfc_symbol_type type;
1468 extern gfc_gsymbol *gfc_gsym_root;
1470 /* Information on interfaces being built. */
1473 interface_type type;
1477 gfc_intrinsic_op op;
1481 extern gfc_interface_info current_interface;
1484 /* Array reference. */
1486 enum gfc_array_ref_dimen_type
1488 DIMEN_ELEMENT = 1, DIMEN_RANGE, DIMEN_VECTOR, DIMEN_STAR, DIMEN_THIS_IMAGE, DIMEN_UNKNOWN
1491 typedef struct gfc_array_ref
1494 int dimen; /* # of components in the reference */
1496 bool in_allocate; /* For coarray checks. */
1500 locus c_where[GFC_MAX_DIMENSIONS]; /* All expressions can be NULL */
1501 struct gfc_expr *start[GFC_MAX_DIMENSIONS], *end[GFC_MAX_DIMENSIONS],
1502 *stride[GFC_MAX_DIMENSIONS];
1504 enum gfc_array_ref_dimen_type dimen_type[GFC_MAX_DIMENSIONS];
1506 struct gfc_expr *offset;
1510 #define gfc_get_array_ref() XCNEW (gfc_array_ref)
1513 /* Component reference nodes. A variable is stored as an expression
1514 node that points to the base symbol. After that, a singly linked
1515 list of component reference nodes gives the variable's complete
1516 resolution. The array_ref component may be present and comes
1517 before the component component. */
1520 { REF_ARRAY, REF_COMPONENT, REF_SUBSTRING }
1523 typedef struct gfc_ref
1529 struct gfc_array_ref ar;
1533 gfc_component *component;
1540 struct gfc_expr *start, *end; /* Substring */
1541 gfc_charlen *length;
1548 struct gfc_ref *next;
1552 #define gfc_get_ref() XCNEW (gfc_ref)
1555 /* Structures representing intrinsic symbols and their arguments lists. */
1556 typedef struct gfc_intrinsic_arg
1558 char name[GFC_MAX_SYMBOL_LEN + 1];
1561 unsigned optional:1, value:1;
1562 ENUM_BITFIELD (sym_intent) intent:2;
1563 gfc_actual_arglist *actual;
1565 struct gfc_intrinsic_arg *next;
1571 /* Specifies the various kinds of check functions used to verify the
1572 argument lists of intrinsic functions. fX with X an integer refer
1573 to check functions of intrinsics with X arguments. f1m is used for
1574 the MAX and MIN intrinsics which can have an arbitrary number of
1575 arguments, f3ml is used for the MINLOC and MAXLOC intrinsics as
1576 these have special semantics. */
1580 gfc_try (*f0)(void);
1581 gfc_try (*f1)(struct gfc_expr *);
1582 gfc_try (*f1m)(gfc_actual_arglist *);
1583 gfc_try (*f2)(struct gfc_expr *, struct gfc_expr *);
1584 gfc_try (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1585 gfc_try (*f3ml)(gfc_actual_arglist *);
1586 gfc_try (*f3red)(gfc_actual_arglist *);
1587 gfc_try (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1589 gfc_try (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1590 struct gfc_expr *, struct gfc_expr *);
1594 /* Like gfc_check_f, these specify the type of the simplification
1595 function associated with an intrinsic. The fX are just like in
1596 gfc_check_f. cc is used for type conversion functions. */
1600 struct gfc_expr *(*f0)(void);
1601 struct gfc_expr *(*f1)(struct gfc_expr *);
1602 struct gfc_expr *(*f2)(struct gfc_expr *, struct gfc_expr *);
1603 struct gfc_expr *(*f3)(struct gfc_expr *, struct gfc_expr *,
1605 struct gfc_expr *(*f4)(struct gfc_expr *, struct gfc_expr *,
1606 struct gfc_expr *, struct gfc_expr *);
1607 struct gfc_expr *(*f5)(struct gfc_expr *, struct gfc_expr *,
1608 struct gfc_expr *, struct gfc_expr *,
1610 struct gfc_expr *(*cc)(struct gfc_expr *, bt, int);
1614 /* Again like gfc_check_f, these specify the type of the resolution
1615 function associated with an intrinsic. The fX are just like in
1616 gfc_check_f. f1m is used for MIN and MAX, s1 is used for abort(). */
1620 void (*f0)(struct gfc_expr *);
1621 void (*f1)(struct gfc_expr *, struct gfc_expr *);
1622 void (*f1m)(struct gfc_expr *, struct gfc_actual_arglist *);
1623 void (*f2)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1624 void (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1626 void (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1627 struct gfc_expr *, struct gfc_expr *);
1628 void (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1629 struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1630 void (*s1)(struct gfc_code *);
1635 typedef struct gfc_intrinsic_sym
1637 const char *name, *lib_name;
1638 gfc_intrinsic_arg *formal;
1640 unsigned elemental:1, inquiry:1, transformational:1, pure:1,
1641 generic:1, specific:1, actual_ok:1, noreturn:1, conversion:1,
1646 gfc_simplify_f simplify;
1648 gfc_resolve_f resolve;
1649 struct gfc_intrinsic_sym *specific_head, *next;
1656 /* Expression nodes. The expression node types deserve explanations,
1657 since the last couple can be easily misconstrued:
1659 EXPR_OP Operator node pointing to one or two other nodes
1660 EXPR_FUNCTION Function call, symbol points to function's name
1661 EXPR_CONSTANT A scalar constant: Logical, String, Real, Int or Complex
1662 EXPR_VARIABLE An Lvalue with a root symbol and possible reference list
1663 which expresses structure, array and substring refs.
1664 EXPR_NULL The NULL pointer value (which also has a basic type).
1665 EXPR_SUBSTRING A substring of a constant string
1666 EXPR_STRUCTURE A structure constructor
1667 EXPR_ARRAY An array constructor.
1668 EXPR_COMPCALL Function (or subroutine) call of a procedure pointer
1669 component or type-bound procedure. */
1674 #define GFC_RND_MODE GMP_RNDN
1675 #define GFC_MPC_RND_MODE MPC_RNDNN
1677 typedef splay_tree gfc_constructor_base;
1679 typedef struct gfc_expr
1683 gfc_typespec ts; /* These two refer to the overall expression */
1686 mpz_t *shape; /* Can be NULL if shape is unknown at compile time */
1688 /* Nonnull for functions and structure constructors, may also used to hold the
1689 base-object for component calls. */
1690 gfc_symtree *symtree;
1696 /* is_boz is true if the integer is regarded as BOZ bitpatten and is_snan
1697 denotes a signalling not-a-number. */
1698 unsigned int is_boz : 1, is_snan : 1;
1700 /* Sometimes, when an error has been emitted, it is necessary to prevent
1701 it from recurring. */
1702 unsigned int error : 1;
1704 /* Mark an expression where a user operator has been substituted by
1705 a function call in interface.c(gfc_extend_expr). */
1706 unsigned int user_operator : 1;
1708 /* Mark an expression as being a MOLD argument of ALLOCATE. */
1709 unsigned int mold : 1;
1711 /* If an expression comes from a Hollerith constant or compile-time
1712 evaluation of a transfer statement, it may have a prescribed target-
1713 memory representation, and these cannot always be backformed from
1736 gfc_intrinsic_op op;
1738 struct gfc_expr *op1, *op2;
1744 gfc_actual_arglist *actual;
1745 const char *name; /* Points to the ultimate name of the function */
1746 gfc_intrinsic_sym *isym;
1753 gfc_actual_arglist* actual;
1755 /* Base-object, whose component was called. NULL means that it should
1756 be taken from symtree/ref. */
1757 struct gfc_expr* base_object;
1758 gfc_typebound_proc* tbp; /* Should overlap with esym. */
1760 /* For type-bound operators, we want to call PASS procedures but already
1761 have the full arglist; mark this, so that it is not extended by the
1763 unsigned ignore_pass:1;
1765 /* Do assign-calls rather than calls, that is appropriate dependency
1778 gfc_constructor_base constructor;
1786 #define gfc_get_shape(rank) ((mpz_t *) gfc_getmem((rank)*sizeof(mpz_t)))
1788 /* Structures for information associated with different kinds of
1789 numbers. The first set of integer parameters define all there is
1790 to know about a particular kind. The rest of the elements are
1791 computed from the first elements. */
1795 /* Values really representable by the target. */
1796 mpz_t huge, pedantic_min_int, min_int;
1798 int kind, radix, digits, bit_size, range;
1800 /* True if the C type of the given name maps to this precision.
1801 Note that more than one bit can be set. */
1802 unsigned int c_char : 1;
1803 unsigned int c_short : 1;
1804 unsigned int c_int : 1;
1805 unsigned int c_long : 1;
1806 unsigned int c_long_long : 1;
1810 extern gfc_integer_info gfc_integer_kinds[];
1817 /* True if the C++ type bool, C99 type _Bool, maps to this precision. */
1818 unsigned int c_bool : 1;
1822 extern gfc_logical_info gfc_logical_kinds[];
1827 mpfr_t epsilon, huge, tiny, subnormal;
1828 int kind, radix, digits, min_exponent, max_exponent;
1829 int range, precision;
1831 /* The precision of the type as reported by GET_MODE_PRECISION. */
1834 /* True if the C type of the given name maps to this precision.
1835 Note that more than one bit can be set. */
1836 unsigned int c_float : 1;
1837 unsigned int c_double : 1;
1838 unsigned int c_long_double : 1;
1839 unsigned int c_float128 : 1;
1843 extern gfc_real_info gfc_real_kinds[];
1852 extern gfc_character_info gfc_character_kinds[];
1855 /* Equivalence structures. Equivalent lvalues are linked along the
1856 *eq pointer, equivalence sets are strung along the *next node. */
1857 typedef struct gfc_equiv
1859 struct gfc_equiv *next, *eq;
1866 #define gfc_get_equiv() XCNEW (gfc_equiv)
1868 /* Holds a single equivalence member after processing. */
1869 typedef struct gfc_equiv_info
1872 HOST_WIDE_INT offset;
1873 HOST_WIDE_INT length;
1874 struct gfc_equiv_info *next;
1877 /* Holds equivalence groups, after they have been processed. */
1878 typedef struct gfc_equiv_list
1880 gfc_equiv_info *equiv;
1881 struct gfc_equiv_list *next;
1884 /* gfc_case stores the selector list of a case statement. The *low
1885 and *high pointers can point to the same expression in the case of
1886 a single value. If *high is NULL, the selection is from *low
1887 upwards, if *low is NULL the selection is *high downwards.
1889 This structure has separate fields to allow single and double linked
1890 lists of CASEs at the same time. The singe linked list along the NEXT
1891 field is a list of cases for a single CASE label. The double linked
1892 list along the LEFT/RIGHT fields is used to detect overlap and to
1893 build a table of the cases for SELECT constructs with a CHARACTER
1896 typedef struct gfc_case
1898 /* Where we saw this case. */
1902 /* Case range values. If (low == high), it's a single value. If one of
1903 the labels is NULL, it's an unbounded case. If both are NULL, this
1904 represents the default case. */
1905 gfc_expr *low, *high;
1907 /* Only used for SELECT TYPE. */
1910 /* Next case label in the list of cases for a single CASE label. */
1911 struct gfc_case *next;
1913 /* Used for detecting overlap, and for code generation. */
1914 struct gfc_case *left, *right;
1916 /* True if this case label can never be matched. */
1921 #define gfc_get_case() XCNEW (gfc_case)
1926 gfc_expr *var, *start, *end, *step;
1930 #define gfc_get_iterator() XCNEW (gfc_iterator)
1933 /* Allocation structure for ALLOCATE, DEALLOCATE and NULLIFY statements. */
1935 typedef struct gfc_alloc
1938 struct gfc_alloc *next;
1942 #define gfc_get_alloc() XCNEW (gfc_alloc)
1947 gfc_expr *unit, *file, *status, *access, *form, *recl,
1948 *blank, *position, *action, *delim, *pad, *iostat, *iomsg, *convert,
1949 *decimal, *encoding, *round, *sign, *asynchronous, *id, *newunit;
1957 gfc_expr *unit, *status, *iostat, *iomsg;
1965 gfc_expr *unit, *iostat, *iomsg;
1973 gfc_expr *unit, *file, *iostat, *exist, *opened, *number, *named,
1974 *name, *access, *sequential, *direct, *form, *formatted,
1975 *unformatted, *recl, *nextrec, *blank, *position, *action, *read,
1976 *write, *readwrite, *delim, *pad, *iolength, *iomsg, *convert, *strm_pos,
1977 *asynchronous, *decimal, *encoding, *pending, *round, *sign, *size, *id;
1987 gfc_expr *unit, *iostat, *iomsg, *id;
1988 gfc_st_label *err, *end, *eor;
1995 gfc_expr *io_unit, *format_expr, *rec, *advance, *iostat, *size, *iomsg,
1996 *id, *pos, *asynchronous, *blank, *decimal, *delim, *pad, *round,
1997 *sign, *extra_comma, *dt_io_kind;
1999 gfc_symbol *namelist;
2000 /* A format_label of `format_asterisk' indicates the "*" format */
2001 gfc_st_label *format_label;
2002 gfc_st_label *err, *end, *eor;
2004 locus eor_where, end_where, err_where;
2009 typedef struct gfc_forall_iterator
2011 gfc_expr *var, *start, *end, *stride;
2012 struct gfc_forall_iterator *next;
2014 gfc_forall_iterator;
2017 /* Linked list to store associations in an ASSOCIATE statement. */
2019 typedef struct gfc_association_list
2021 struct gfc_association_list *next;
2023 /* Whether this is association to a variable that can be changed; otherwise,
2024 it's association to an expression and the name may not be used as
2026 unsigned variable:1;
2028 /* True if this struct is currently only linked to from a gfc_symbol rather
2029 than as part of a real list in gfc_code->ext.block.assoc. This may
2030 happen for SELECT TYPE temporaries and must be considered
2031 for memory handling. */
2032 unsigned dangling:1;
2034 char name[GFC_MAX_SYMBOL_LEN + 1];
2035 gfc_symtree *st; /* Symtree corresponding to name. */
2040 gfc_association_list;
2041 #define gfc_get_association_list() XCNEW (gfc_association_list)
2044 /* Executable statements that fill gfc_code structures. */
2047 EXEC_NOP = 1, EXEC_END_BLOCK, EXEC_ASSIGN, EXEC_LABEL_ASSIGN,
2048 EXEC_POINTER_ASSIGN, EXEC_CRITICAL, EXEC_ERROR_STOP,
2049 EXEC_GOTO, EXEC_CALL, EXEC_COMPCALL, EXEC_ASSIGN_CALL, EXEC_RETURN,
2050 EXEC_ENTRY, EXEC_PAUSE, EXEC_STOP, EXEC_CONTINUE, EXEC_INIT_ASSIGN,
2051 EXEC_IF, EXEC_ARITHMETIC_IF, EXEC_DO, EXEC_DO_WHILE, EXEC_SELECT, EXEC_BLOCK,
2052 EXEC_FORALL, EXEC_WHERE, EXEC_CYCLE, EXEC_EXIT, EXEC_CALL_PPC,
2053 EXEC_ALLOCATE, EXEC_DEALLOCATE, EXEC_END_PROCEDURE, EXEC_SELECT_TYPE,
2054 EXEC_SYNC_ALL, EXEC_SYNC_MEMORY, EXEC_SYNC_IMAGES,
2055 EXEC_OPEN, EXEC_CLOSE, EXEC_WAIT,
2056 EXEC_READ, EXEC_WRITE, EXEC_IOLENGTH, EXEC_TRANSFER, EXEC_DT_END,
2057 EXEC_BACKSPACE, EXEC_ENDFILE, EXEC_INQUIRE, EXEC_REWIND, EXEC_FLUSH,
2058 EXEC_OMP_CRITICAL, EXEC_OMP_DO, EXEC_OMP_FLUSH, EXEC_OMP_MASTER,
2059 EXEC_OMP_ORDERED, EXEC_OMP_PARALLEL, EXEC_OMP_PARALLEL_DO,
2060 EXEC_OMP_PARALLEL_SECTIONS, EXEC_OMP_PARALLEL_WORKSHARE,
2061 EXEC_OMP_SECTIONS, EXEC_OMP_SINGLE, EXEC_OMP_WORKSHARE,
2062 EXEC_OMP_ATOMIC, EXEC_OMP_BARRIER, EXEC_OMP_END_NOWAIT,
2063 EXEC_OMP_END_SINGLE, EXEC_OMP_TASK, EXEC_OMP_TASKWAIT
2067 typedef struct gfc_code
2071 struct gfc_code *block, *next;
2074 gfc_st_label *here, *label1, *label2, *label3;
2075 gfc_symtree *symtree;
2076 gfc_expr *expr1, *expr2, *expr3;
2077 /* A name isn't sufficient to identify a subroutine, we need the actual
2078 symbol for the interface definition.
2079 const char *sub_name; */
2080 gfc_symbol *resolved_sym;
2081 gfc_intrinsic_sym *resolved_isym;
2085 gfc_actual_arglist *actual;
2086 gfc_iterator *iterator;
2098 gfc_association_list *assoc;
2099 gfc_case *case_list;
2105 gfc_filepos *filepos;
2106 gfc_inquire *inquire;
2109 gfc_forall_iterator *forall_iterator;
2110 struct gfc_code *which_construct;
2112 gfc_entry_list *entry;
2113 gfc_omp_clauses *omp_clauses;
2114 const char *omp_name;
2115 gfc_namelist *omp_namelist;
2118 ext; /* Points to additional structures required by statement */
2120 /* Cycle and break labels in constructs. */
2127 /* Storage for DATA statements. */
2128 typedef struct gfc_data_variable
2132 struct gfc_data_variable *list, *next;
2137 typedef struct gfc_data_value
2141 struct gfc_data_value *next;
2146 typedef struct gfc_data
2148 gfc_data_variable *var;
2149 gfc_data_value *value;
2152 struct gfc_data *next;
2157 /* Structure for holding compile options */
2161 gfc_source_form source_form;
2162 /* Maximum line lengths in fixed- and free-form source, respectively.
2163 When fixed_line_length or free_line_length are 0, the whole line is used,
2164 regardless of length.
2166 If the user requests a fixed_line_length <7 then gfc_init_options()
2167 emits a fatal error. */
2168 int fixed_line_length;
2169 int free_line_length;
2170 /* Maximum number of continuation lines in fixed- and free-form source,
2172 int max_continue_fixed;
2173 int max_continue_free;
2174 int max_identifier_length;
2175 int dump_fortran_original;
2176 int dump_fortran_optimized;
2180 int gfc_warn_conversion;
2181 int warn_conversion_extra;
2182 int warn_function_elimination;
2183 int warn_implicit_interface;
2184 int warn_implicit_procedure;
2185 int warn_line_truncation;
2186 int warn_surprising;
2189 int warn_intrinsic_shadow;
2190 int warn_intrinsics_std;
2191 int warn_character_truncation;
2192 int warn_array_temp;
2193 int warn_align_commons;
2194 int warn_unused_dummy_argument;
2197 int flag_all_intrinsics;
2198 int flag_default_double;
2199 int flag_default_integer;
2200 int flag_default_real;
2202 int flag_underscoring;
2203 int flag_second_underscore;
2204 int flag_implicit_none;
2205 int flag_max_stack_var_size;
2206 int flag_max_array_constructor;
2207 int flag_range_check;
2208 int flag_pack_derived;
2209 int flag_repack_arrays;
2210 int flag_preprocessed;
2215 int flag_allow_leading_underscore;
2217 int flag_external_blas;
2218 int blas_matmul_limit;
2219 int flag_cray_pointer;
2221 int gfc_flag_openmp;
2223 int flag_stack_arrays;
2224 int flag_module_private;
2226 int flag_init_local_zero;
2227 int flag_init_integer;
2228 int flag_init_integer_value;
2230 int flag_init_logical;
2231 int flag_init_character;
2232 char flag_init_character_value;
2233 int flag_align_commons;
2234 int flag_whole_file;
2235 int flag_protect_parens;
2236 int flag_realloc_lhs;
2237 int flag_aggressive_function_elimination;
2238 int flag_frontend_optimize;
2242 gfc_fcoarray coarray;
2248 int max_subrecord_length;
2252 extern gfc_option_t gfc_option;
2254 /* Constructor nodes for array and structure constructors. */
2255 typedef struct gfc_constructor
2257 gfc_constructor_base base;
2258 mpz_t offset; /* Offset within a constructor, used as
2262 gfc_iterator *iterator;
2267 gfc_component *component; /* Record the component being initialized. */
2274 typedef struct iterator_stack
2276 gfc_symtree *variable;
2278 struct iterator_stack *prev;
2281 extern iterator_stack *iter_stack;
2284 /* Used for (possibly nested) SELECT TYPE statements. */
2285 typedef struct gfc_select_type_stack
2287 gfc_symbol *selector; /* Current selector variable. */
2288 gfc_symtree *tmp; /* Current temporary variable. */
2289 struct gfc_select_type_stack *prev; /* Previous element on stack. */
2291 gfc_select_type_stack;
2292 extern gfc_select_type_stack *select_type_stack;
2293 #define gfc_get_select_type_stack() XCNEW (gfc_select_type_stack)
2296 /* Node in the linked list used for storing finalizer procedures. */
2298 typedef struct gfc_finalizer
2300 struct gfc_finalizer* next;
2301 locus where; /* Where the FINAL declaration occurred. */
2303 /* Up to resolution, we want the gfc_symbol, there we lookup the corresponding
2304 symtree and later need only that. This way, we can access and call the
2305 finalizers from every context as they should be "always accessible". I
2306 don't make this a union because we need the information whether proc_sym is
2307 still referenced or not for dereferencing it on deleting a gfc_finalizer
2309 gfc_symbol* proc_sym;
2310 gfc_symtree* proc_tree;
2313 #define gfc_get_finalizer() XCNEW (gfc_finalizer)
2316 /************************ Function prototypes *************************/
2319 bool gfc_in_match_data (void);
2320 match gfc_match_char_spec (gfc_typespec *);
2323 void gfc_scanner_done_1 (void);
2324 void gfc_scanner_init_1 (void);
2326 void gfc_add_include_path (const char *, bool, bool);
2327 void gfc_add_intrinsic_modules_path (const char *);
2328 void gfc_release_include_path (void);
2329 FILE *gfc_open_included_file (const char *, bool, bool);
2330 FILE *gfc_open_intrinsic_module (const char *);
2332 int gfc_at_end (void);
2333 int gfc_at_eof (void);
2334 int gfc_at_bol (void);
2335 int gfc_at_eol (void);
2336 void gfc_advance_line (void);
2337 int gfc_check_include (void);
2338 int gfc_define_undef_line (void);
2340 int gfc_wide_is_printable (gfc_char_t);
2341 int gfc_wide_is_digit (gfc_char_t);
2342 int gfc_wide_fits_in_byte (gfc_char_t);
2343 gfc_char_t gfc_wide_tolower (gfc_char_t);
2344 gfc_char_t gfc_wide_toupper (gfc_char_t);
2345 size_t gfc_wide_strlen (const gfc_char_t *);
2346 int gfc_wide_strncasecmp (const gfc_char_t *, const char *, size_t);
2347 gfc_char_t *gfc_wide_memset (gfc_char_t *, gfc_char_t, size_t);
2348 char *gfc_widechar_to_char (const gfc_char_t *, int);
2349 gfc_char_t *gfc_char_to_widechar (const char *);
2351 #define gfc_get_wide_string(n) XCNEWVEC (gfc_char_t, n)
2353 void gfc_skip_comments (void);
2354 gfc_char_t gfc_next_char_literal (gfc_instring);
2355 gfc_char_t gfc_next_char (void);
2356 char gfc_next_ascii_char (void);
2357 gfc_char_t gfc_peek_char (void);
2358 char gfc_peek_ascii_char (void);
2359 void gfc_error_recovery (void);
2360 void gfc_gobble_whitespace (void);
2361 gfc_try gfc_new_file (void);
2362 const char * gfc_read_orig_filename (const char *, const char **);
2364 extern gfc_source_form gfc_current_form;
2365 extern const char *gfc_source_file;
2366 extern locus gfc_current_locus;
2368 void gfc_start_source_files (void);
2369 void gfc_end_source_files (void);
2372 void *gfc_getmem (size_t) ATTRIBUTE_MALLOC;
2373 void gfc_free (void *);
2374 int gfc_terminal_width (void);
2375 void gfc_clear_ts (gfc_typespec *);
2376 FILE *gfc_open_file (const char *);
2377 const char *gfc_basic_typename (bt);
2378 const char *gfc_typename (gfc_typespec *);
2379 const char *gfc_op2string (gfc_intrinsic_op);
2380 const char *gfc_code2string (const mstring *, int);
2381 int gfc_string2code (const mstring *, const char *);
2382 const char *gfc_intent_string (sym_intent);
2384 void gfc_init_1 (void);
2385 void gfc_init_2 (void);
2386 void gfc_done_1 (void);
2387 void gfc_done_2 (void);
2389 int get_c_kind (const char *, CInteropKind_t *);
2392 unsigned int gfc_option_lang_mask (void);
2393 void gfc_init_options_struct (struct gcc_options *);
2394 void gfc_init_options (unsigned int,
2395 struct cl_decoded_option *);
2396 bool gfc_handle_option (size_t, const char *, int, int, location_t,
2397 const struct cl_option_handlers *);
2398 bool gfc_post_options (const char **);
2399 char *gfc_get_option_string (void);
2402 void gfc_maybe_initialize_eh (void);
2405 const char * gfc_get_string (const char *, ...) ATTRIBUTE_PRINTF_1;
2406 bool gfc_find_sym_in_expr (gfc_symbol *, gfc_expr *);
2410 typedef struct gfc_error_buf
2413 size_t allocated, index;
2417 void gfc_error_init_1 (void);
2418 void gfc_buffer_error (int);
2420 const char *gfc_print_wide_char (gfc_char_t);
2422 void gfc_warning (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2423 void gfc_warning_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2424 void gfc_clear_warning (void);
2425 void gfc_warning_check (void);
2427 void gfc_error (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2428 void gfc_error_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2429 void gfc_fatal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2);
2430 void gfc_internal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2);
2431 void gfc_clear_error (void);
2432 int gfc_error_check (void);
2433 int gfc_error_flag_test (void);
2435 notification gfc_notification_std (int);
2436 gfc_try gfc_notify_std (int, const char *, ...) ATTRIBUTE_GCC_GFC(2,3);
2438 /* A general purpose syntax error. */
2439 #define gfc_syntax_error(ST) \
2440 gfc_error ("Syntax error in %s statement at %C", gfc_ascii_statement (ST));
2442 void gfc_push_error (gfc_error_buf *);
2443 void gfc_pop_error (gfc_error_buf *);
2444 void gfc_free_error (gfc_error_buf *);
2446 void gfc_get_errors (int *, int *);
2447 void gfc_errors_to_warnings (int);
2450 void gfc_arith_init_1 (void);
2451 void gfc_arith_done_1 (void);
2452 arith gfc_check_integer_range (mpz_t p, int kind);
2453 bool gfc_check_character_range (gfc_char_t, int);
2456 gfc_try gfc_check_any_c_kind (gfc_typespec *);
2457 int gfc_validate_kind (bt, int, bool);
2458 int gfc_get_int_kind_from_width_isofortranenv (int size);
2459 int gfc_get_real_kind_from_width_isofortranenv (int size);
2460 tree gfc_get_derived_type (gfc_symbol * derived);
2461 extern int gfc_index_integer_kind;
2462 extern int gfc_default_integer_kind;
2463 extern int gfc_max_integer_kind;
2464 extern int gfc_default_real_kind;
2465 extern int gfc_default_double_kind;
2466 extern int gfc_default_character_kind;
2467 extern int gfc_default_logical_kind;
2468 extern int gfc_default_complex_kind;
2469 extern int gfc_c_int_kind;
2470 extern int gfc_intio_kind;
2471 extern int gfc_charlen_int_kind;
2472 extern int gfc_numeric_storage_size;
2473 extern int gfc_character_storage_size;
2476 void gfc_clear_new_implicit (void);
2477 gfc_try gfc_add_new_implicit_range (int, int);
2478 gfc_try gfc_merge_new_implicit (gfc_typespec *);
2479 void gfc_set_implicit_none (void);
2480 void gfc_check_function_type (gfc_namespace *);
2481 bool gfc_is_intrinsic_typename (const char *);
2483 gfc_typespec *gfc_get_default_type (const char *, gfc_namespace *);
2484 gfc_try gfc_set_default_type (gfc_symbol *, int, gfc_namespace *);
2486 void gfc_set_sym_referenced (gfc_symbol *);
2488 gfc_try gfc_add_attribute (symbol_attribute *, locus *);
2489 gfc_try gfc_add_ext_attribute (symbol_attribute *, ext_attr_id_t, locus *);
2490 gfc_try gfc_add_allocatable (symbol_attribute *, locus *);
2491 gfc_try gfc_add_codimension (symbol_attribute *, const char *, locus *);
2492 gfc_try gfc_add_contiguous (symbol_attribute *, const char *, locus *);
2493 gfc_try gfc_add_dimension (symbol_attribute *, const char *, locus *);
2494 gfc_try gfc_add_external (symbol_attribute *, locus *);
2495 gfc_try gfc_add_intrinsic (symbol_attribute *, locus *);
2496 gfc_try gfc_add_optional (symbol_attribute *, locus *);
2497 gfc_try gfc_add_pointer (symbol_attribute *, locus *);
2498 gfc_try gfc_add_cray_pointer (symbol_attribute *, locus *);
2499 gfc_try gfc_add_cray_pointee (symbol_attribute *, locus *);
2500 match gfc_mod_pointee_as (gfc_array_spec *);
2501 gfc_try gfc_add_protected (symbol_attribute *, const char *, locus *);
2502 gfc_try gfc_add_result (symbol_attribute *, const char *, locus *);
2503 gfc_try gfc_add_save (symbol_attribute *, save_state, const char *, locus *);
2504 gfc_try gfc_add_threadprivate (symbol_attribute *, const char *, locus *);
2505 gfc_try gfc_add_saved_common (symbol_attribute *, locus *);
2506 gfc_try gfc_add_target (symbol_attribute *, locus *);
2507 gfc_try gfc_add_dummy (symbol_attribute *, const char *, locus *);
2508 gfc_try gfc_add_generic (symbol_attribute *, const char *, locus *);
2509 gfc_try gfc_add_common (symbol_attribute *, locus *);
2510 gfc_try gfc_add_in_common (symbol_attribute *, const char *, locus *);
2511 gfc_try gfc_add_in_equivalence (symbol_attribute *, const char *, locus *);
2512 gfc_try gfc_add_data (symbol_attribute *, const char *, locus *);
2513 gfc_try gfc_add_in_namelist (symbol_attribute *, const char *, locus *);
2514 gfc_try gfc_add_sequence (symbol_attribute *, const char *, locus *);
2515 gfc_try gfc_add_elemental (symbol_attribute *, locus *);
2516 gfc_try gfc_add_pure (symbol_attribute *, locus *);
2517 gfc_try gfc_add_recursive (symbol_attribute *, locus *);
2518 gfc_try gfc_add_function (symbol_attribute *, const char *, locus *);
2519 gfc_try gfc_add_subroutine (symbol_attribute *, const char *, locus *);
2520 gfc_try gfc_add_volatile (symbol_attribute *, const char *, locus *);
2521 gfc_try gfc_add_asynchronous (symbol_attribute *, const char *, locus *);
2522 gfc_try gfc_add_proc (symbol_attribute *attr, const char *name, locus *where);
2523 gfc_try gfc_add_abstract (symbol_attribute* attr, locus* where);
2525 gfc_try gfc_add_access (symbol_attribute *, gfc_access, const char *, locus *);
2526 gfc_try gfc_add_is_bind_c (symbol_attribute *, const char *, locus *, int);
2527 gfc_try gfc_add_extension (symbol_attribute *, locus *);
2528 gfc_try gfc_add_value (symbol_attribute *, const char *, locus *);
2529 gfc_try gfc_add_flavor (symbol_attribute *, sym_flavor, const char *, locus *);
2530 gfc_try gfc_add_entry (symbol_attribute *, const char *, locus *);
2531 gfc_try gfc_add_procedure (symbol_attribute *, procedure_type,
2532 const char *, locus *);
2533 gfc_try gfc_add_intent (symbol_attribute *, sym_intent, locus *);
2534 gfc_try gfc_add_explicit_interface (gfc_symbol *, ifsrc,
2535 gfc_formal_arglist *, locus *);
2536 gfc_try gfc_add_type (gfc_symbol *, gfc_typespec *, locus *);
2538 void gfc_clear_attr (symbol_attribute *);
2539 gfc_try gfc_missing_attr (symbol_attribute *, locus *);
2540 gfc_try gfc_copy_attr (symbol_attribute *, symbol_attribute *, locus *);
2542 gfc_try gfc_add_component (gfc_symbol *, const char *, gfc_component **);
2543 gfc_symbol *gfc_use_derived (gfc_symbol *);
2544 gfc_symtree *gfc_use_derived_tree (gfc_symtree *);
2545 gfc_component *gfc_find_component (gfc_symbol *, const char *, bool, bool);
2547 gfc_st_label *gfc_get_st_label (int);
2548 void gfc_free_st_label (gfc_st_label *);
2549 void gfc_define_st_label (gfc_st_label *, gfc_sl_type, locus *);
2550 gfc_try gfc_reference_st_label (gfc_st_label *, gfc_sl_type);
2552 gfc_namespace *gfc_get_namespace (gfc_namespace *, int);
2553 gfc_symtree *gfc_new_symtree (gfc_symtree **, const char *);
2554 gfc_symtree *gfc_find_symtree (gfc_symtree *, const char *);
2555 void gfc_delete_symtree (gfc_symtree **, const char *);
2556 gfc_symtree *gfc_get_unique_symtree (gfc_namespace *);
2557 gfc_user_op *gfc_get_uop (const char *);
2558 gfc_user_op *gfc_find_uop (const char *, gfc_namespace *);
2559 void gfc_free_symbol (gfc_symbol *);
2560 void gfc_release_symbol (gfc_symbol *);
2561 gfc_symbol *gfc_new_symbol (const char *, gfc_namespace *);
2562 gfc_symtree* gfc_find_symtree_in_proc (const char *, gfc_namespace *);
2563 int gfc_find_symbol (const char *, gfc_namespace *, int, gfc_symbol **);
2564 int gfc_find_sym_tree (const char *, gfc_namespace *, int, gfc_symtree **);
2565 int gfc_get_symbol (const char *, gfc_namespace *, gfc_symbol **);
2566 gfc_try verify_c_interop (gfc_typespec *);
2567 gfc_try verify_c_interop_param (gfc_symbol *);
2568 gfc_try verify_bind_c_sym (gfc_symbol *, gfc_typespec *, int, gfc_common_head *);
2569 gfc_try verify_bind_c_derived_type (gfc_symbol *);
2570 gfc_try verify_com_block_vars_c_interop (gfc_common_head *);
2571 void generate_isocbinding_symbol (const char *, iso_c_binding_symbol, const char *);
2572 gfc_symbol *get_iso_c_sym (gfc_symbol *, char *, char *, int);
2573 int gfc_get_sym_tree (const char *, gfc_namespace *, gfc_symtree **, bool);
2574 int gfc_get_ha_symbol (const char *, gfc_symbol **);
2575 int gfc_get_ha_sym_tree (const char *, gfc_symtree **);
2577 void gfc_undo_symbols (void);
2578 void gfc_commit_symbols (void);
2579 void gfc_commit_symbol (gfc_symbol *);
2580 gfc_charlen *gfc_new_charlen (gfc_namespace *, gfc_charlen *);
2581 void gfc_free_charlen (gfc_charlen *, gfc_charlen *);
2582 void gfc_free_namespace (gfc_namespace *);
2584 void gfc_symbol_init_2 (void);
2585 void gfc_symbol_done_2 (void);
2587 void gfc_traverse_symtree (gfc_symtree *, void (*)(gfc_symtree *));
2588 void gfc_traverse_ns (gfc_namespace *, void (*)(gfc_symbol *));
2589 void gfc_traverse_user_op (gfc_namespace *, void (*)(gfc_user_op *));
2590 void gfc_save_all (gfc_namespace *);
2592 void gfc_enforce_clean_symbol_state (void);
2593 void gfc_free_dt_list (void);
2596 gfc_gsymbol *gfc_get_gsymbol (const char *);
2597 gfc_gsymbol *gfc_find_gsymbol (gfc_gsymbol *, const char *);
2599 gfc_typebound_proc* gfc_get_typebound_proc (gfc_typebound_proc*);
2600 gfc_symbol* gfc_get_derived_super_type (gfc_symbol*);
2601 gfc_symbol* gfc_get_ultimate_derived_super_type (gfc_symbol*);
2602 bool gfc_type_is_extension_of (gfc_symbol *, gfc_symbol *);
2603 bool gfc_type_compatible (gfc_typespec *, gfc_typespec *);
2605 void gfc_copy_formal_args (gfc_symbol *, gfc_symbol *);
2606 void gfc_copy_formal_args_intr (gfc_symbol *, gfc_intrinsic_sym *);
2607 void gfc_copy_formal_args_ppc (gfc_component *, gfc_symbol *);
2609 void gfc_free_finalizer (gfc_finalizer *el); /* Needed in resolve.c, too */
2611 gfc_try gfc_check_symbol_typed (gfc_symbol*, gfc_namespace*, bool, locus);
2612 gfc_namespace* gfc_find_proc_namespace (gfc_namespace*);
2614 bool gfc_is_associate_pointer (gfc_symbol*);
2616 /* intrinsic.c -- true if working in an init-expr, false otherwise. */
2617 extern bool gfc_init_expr_flag;
2619 /* Given a symbol that we have decided is intrinsic, mark it as such
2620 by placing it into a special module that is otherwise impossible to
2623 #define gfc_intrinsic_symbol(SYM) SYM->module = gfc_get_string ("(intrinsic)")
2625 void gfc_intrinsic_init_1 (void);
2626 void gfc_intrinsic_done_1 (void);
2628 char gfc_type_letter (bt);
2629 gfc_symbol * gfc_get_intrinsic_sub_symbol (const char *);
2630 gfc_try gfc_convert_type (gfc_expr *, gfc_typespec *, int);
2631 gfc_try gfc_convert_type_warn (gfc_expr *, gfc_typespec *, int, int);
2632 gfc_try gfc_convert_chartype (gfc_expr *, gfc_typespec *);
2633 int gfc_generic_intrinsic (const char *);
2634 int gfc_specific_intrinsic (const char *);
2635 bool gfc_is_intrinsic (gfc_symbol*, int, locus);
2636 int gfc_intrinsic_actual_ok (const char *, const bool);
2637 gfc_intrinsic_sym *gfc_find_function (const char *);
2638 gfc_intrinsic_sym *gfc_find_subroutine (const char *);
2639 gfc_intrinsic_sym *gfc_intrinsic_function_by_id (gfc_isym_id);
2641 match gfc_intrinsic_func_interface (gfc_expr *, int);
2642 match gfc_intrinsic_sub_interface (gfc_code *, int);
2644 void gfc_warn_intrinsic_shadow (const gfc_symbol*, bool, bool);
2645 gfc_try gfc_check_intrinsic_standard (const gfc_intrinsic_sym*, const char**,
2648 /* match.c -- FIXME */
2649 void gfc_free_iterator (gfc_iterator *, int);
2650 void gfc_free_forall_iterator (gfc_forall_iterator *);
2651 void gfc_free_alloc_list (gfc_alloc *);
2652 void gfc_free_namelist (gfc_namelist *);
2653 void gfc_free_equiv (gfc_equiv *);
2654 void gfc_free_equiv_until (gfc_equiv *, gfc_equiv *);
2655 void gfc_free_data (gfc_data *);
2656 void gfc_free_case_list (gfc_case *);
2658 /* matchexp.c -- FIXME too? */
2659 gfc_expr *gfc_get_parentheses (gfc_expr *);
2662 struct gfc_omp_saved_state { void *ptrs[2]; int ints[1]; };
2663 void gfc_free_omp_clauses (gfc_omp_clauses *);
2664 void gfc_resolve_omp_directive (gfc_code *, gfc_namespace *);
2665 void gfc_resolve_do_iterator (gfc_code *, gfc_symbol *);
2666 void gfc_resolve_omp_parallel_blocks (gfc_code *, gfc_namespace *);
2667 void gfc_resolve_omp_do_blocks (gfc_code *, gfc_namespace *);
2668 void gfc_omp_save_and_clear_state (struct gfc_omp_saved_state *);
2669 void gfc_omp_restore_state (struct gfc_omp_saved_state *);
2672 void gfc_free_actual_arglist (gfc_actual_arglist *);
2673 gfc_actual_arglist *gfc_copy_actual_arglist (gfc_actual_arglist *);
2674 const char *gfc_extract_int (gfc_expr *, int *);
2675 bool is_subref_array (gfc_expr *);
2676 bool gfc_is_simply_contiguous (gfc_expr *, bool);
2678 gfc_expr *gfc_build_conversion (gfc_expr *);
2679 void gfc_free_ref_list (gfc_ref *);
2680 void gfc_type_convert_binary (gfc_expr *, int);
2681 int gfc_is_constant_expr (gfc_expr *);
2682 gfc_try gfc_simplify_expr (gfc_expr *, int);
2683 int gfc_has_vector_index (gfc_expr *);
2685 gfc_expr *gfc_get_expr (void);
2686 gfc_expr *gfc_get_array_expr (bt type, int kind, locus *);
2687 gfc_expr *gfc_get_null_expr (locus *);
2688 gfc_expr *gfc_get_operator_expr (locus *, gfc_intrinsic_op,gfc_expr *, gfc_expr *);
2689 gfc_expr *gfc_get_structure_constructor_expr (bt, int, locus *);
2690 gfc_expr *gfc_get_constant_expr (bt, int, locus *);
2691 gfc_expr *gfc_get_character_expr (int, locus *, const char *, int len);
2692 gfc_expr *gfc_get_int_expr (int, locus *, int);
2693 gfc_expr *gfc_get_logical_expr (int, locus *, bool);
2694 gfc_expr *gfc_get_iokind_expr (locus *, io_kind);
2696 void gfc_free_expr (gfc_expr *);
2697 void gfc_replace_expr (gfc_expr *, gfc_expr *);
2698 mpz_t *gfc_copy_shape (mpz_t *, int);
2699 mpz_t *gfc_copy_shape_excluding (mpz_t *, int, gfc_expr *);
2700 gfc_expr *gfc_copy_expr (gfc_expr *);
2701 gfc_ref* gfc_copy_ref (gfc_ref*);
2703 gfc_try gfc_specification_expr (gfc_expr *);
2705 int gfc_numeric_ts (gfc_typespec *);
2706 int gfc_kind_max (gfc_expr *, gfc_expr *);
2708 gfc_try gfc_check_conformance (gfc_expr *, gfc_expr *, const char *, ...) ATTRIBUTE_PRINTF_3;
2709 gfc_try gfc_check_assign (gfc_expr *, gfc_expr *, int);
2710 gfc_try gfc_check_pointer_assign (gfc_expr *, gfc_expr *);
2711 gfc_try gfc_check_assign_symbol (gfc_symbol *, gfc_expr *);
2713 bool gfc_has_default_initializer (gfc_symbol *);
2714 gfc_expr *gfc_default_initializer (gfc_typespec *);
2715 gfc_expr *gfc_get_variable_expr (gfc_symtree *);
2716 gfc_expr * gfc_lval_expr_from_sym (gfc_symbol *);
2718 gfc_array_spec *gfc_get_full_arrayspec_from_expr (gfc_expr *expr);
2720 bool gfc_traverse_expr (gfc_expr *, gfc_symbol *,
2721 bool (*)(gfc_expr *, gfc_symbol *, int*),
2723 void gfc_expr_set_symbols_referenced (gfc_expr *);
2724 gfc_try gfc_expr_check_typed (gfc_expr*, gfc_namespace*, bool);
2725 void gfc_expr_replace_symbols (gfc_expr *, gfc_symbol *);
2726 void gfc_expr_replace_comp (gfc_expr *, gfc_component *);
2728 bool gfc_is_proc_ptr_comp (gfc_expr *, gfc_component **);
2730 bool gfc_is_coindexed (gfc_expr *);
2731 bool gfc_get_corank (gfc_expr *);
2732 bool gfc_has_ultimate_allocatable (gfc_expr *);
2733 bool gfc_has_ultimate_pointer (gfc_expr *);
2735 gfc_expr* gfc_build_intrinsic_call (const char*, locus, unsigned, ...);
2736 gfc_try gfc_check_vardef_context (gfc_expr*, bool, const char*);
2740 extern gfc_code new_st;
2742 void gfc_clear_new_st (void);
2743 gfc_code *gfc_get_code (void);
2744 gfc_code *gfc_append_code (gfc_code *, gfc_code *);
2745 void gfc_free_statement (gfc_code *);
2746 void gfc_free_statements (gfc_code *);
2747 void gfc_free_association_list (gfc_association_list *);
2750 gfc_try gfc_resolve_expr (gfc_expr *);
2751 void gfc_resolve (gfc_namespace *);
2752 void gfc_resolve_blocks (gfc_code *, gfc_namespace *);
2753 int gfc_impure_variable (gfc_symbol *);
2754 int gfc_pure (gfc_symbol *);
2755 int gfc_implicit_pure (gfc_symbol *);
2756 int gfc_elemental (gfc_symbol *);
2757 gfc_try gfc_resolve_iterator (gfc_iterator *, bool);
2758 gfc_try find_forall_index (gfc_expr *, gfc_symbol *, int);
2759 gfc_try gfc_resolve_index (gfc_expr *, int);
2760 gfc_try gfc_resolve_dim_arg (gfc_expr *);
2761 int gfc_is_formal_arg (void);
2762 void gfc_resolve_substring_charlen (gfc_expr *);
2763 match gfc_iso_c_sub_interface(gfc_code *, gfc_symbol *);
2764 gfc_expr *gfc_expr_to_initialize (gfc_expr *);
2765 bool gfc_type_is_extensible (gfc_symbol *sym);
2769 gfc_iterator *gfc_copy_iterator (gfc_iterator *);
2771 void gfc_free_array_spec (gfc_array_spec *);
2772 gfc_array_ref *gfc_copy_array_ref (gfc_array_ref *);
2774 gfc_try gfc_set_array_spec (gfc_symbol *, gfc_array_spec *, locus *);
2775 gfc_array_spec *gfc_copy_array_spec (gfc_array_spec *);
2776 gfc_try gfc_resolve_array_spec (gfc_array_spec *, int);
2778 int gfc_compare_array_spec (gfc_array_spec *, gfc_array_spec *);
2780 void gfc_simplify_iterator_var (gfc_expr *);
2781 gfc_try gfc_expand_constructor (gfc_expr *, bool);
2782 int gfc_constant_ac (gfc_expr *);
2783 int gfc_expanded_ac (gfc_expr *);
2784 gfc_try gfc_resolve_character_array_constructor (gfc_expr *);
2785 gfc_try gfc_resolve_array_constructor (gfc_expr *);
2786 gfc_try gfc_check_constructor_type (gfc_expr *);
2787 gfc_try gfc_check_iter_variable (gfc_expr *);
2788 gfc_try gfc_check_constructor (gfc_expr *, gfc_try (*)(gfc_expr *));
2789 gfc_try gfc_array_size (gfc_expr *, mpz_t *);
2790 gfc_try gfc_array_dimen_size (gfc_expr *, int, mpz_t *);
2791 gfc_try gfc_array_ref_shape (gfc_array_ref *, mpz_t *);
2792 gfc_array_ref *gfc_find_array_ref (gfc_expr *);
2793 tree gfc_conv_array_initializer (tree type, gfc_expr *);
2794 gfc_try spec_size (gfc_array_spec *, mpz_t *);
2795 gfc_try spec_dimen_size (gfc_array_spec *, int, mpz_t *);
2796 int gfc_is_compile_time_shape (gfc_array_spec *);
2798 gfc_try gfc_ref_dimen_size (gfc_array_ref *, int dimen, mpz_t *, mpz_t *);
2801 /* interface.c -- FIXME: some of these should be in symbol.c */
2802 void gfc_free_interface (gfc_interface *);
2803 int gfc_compare_derived_types (gfc_symbol *, gfc_symbol *);
2804 int gfc_compare_types (gfc_typespec *, gfc_typespec *);
2805 int gfc_compare_interfaces (gfc_symbol*, gfc_symbol*, const char *, int, int,
2807 void gfc_check_interfaces (gfc_namespace *);
2808 void gfc_procedure_use (gfc_symbol *, gfc_actual_arglist **, locus *);
2809 void gfc_ppc_use (gfc_component *, gfc_actual_arglist **, locus *);
2810 gfc_symbol *gfc_search_interface (gfc_interface *, int,
2811 gfc_actual_arglist **);
2812 gfc_try gfc_extend_expr (gfc_expr *, bool *);
2813 void gfc_free_formal_arglist (gfc_formal_arglist *);
2814 gfc_try gfc_extend_assign (gfc_code *, gfc_namespace *);
2815 gfc_try gfc_add_interface (gfc_symbol *);
2816 gfc_interface *gfc_current_interface_head (void);
2817 void gfc_set_current_interface_head (gfc_interface *);
2818 gfc_symtree* gfc_find_sym_in_symtree (gfc_symbol*);
2819 bool gfc_arglist_matches_symbol (gfc_actual_arglist**, gfc_symbol*);
2820 bool gfc_check_operator_interface (gfc_symbol*, gfc_intrinsic_op, locus);
2821 int gfc_has_vector_subscript (gfc_expr*);
2824 extern gfc_st_label format_asterisk;
2826 void gfc_free_open (gfc_open *);
2827 gfc_try gfc_resolve_open (gfc_open *);
2828 void gfc_free_close (gfc_close *);
2829 gfc_try gfc_resolve_close (gfc_close *);
2830 void gfc_free_filepos (gfc_filepos *);
2831 gfc_try gfc_resolve_filepos (gfc_filepos *);
2832 void gfc_free_inquire (gfc_inquire *);
2833 gfc_try gfc_resolve_inquire (gfc_inquire *);
2834 void gfc_free_dt (gfc_dt *);
2835 gfc_try gfc_resolve_dt (gfc_dt *, locus *);
2836 void gfc_free_wait (gfc_wait *);
2837 gfc_try gfc_resolve_wait (gfc_wait *);
2840 void gfc_module_init_2 (void);
2841 void gfc_module_done_2 (void);
2842 void gfc_dump_module (const char *, int);
2843 bool gfc_check_symbol_access (gfc_symbol *);
2844 void gfc_free_use_stmts (gfc_use_list *);
2847 symbol_attribute gfc_variable_attr (gfc_expr *, gfc_typespec *);
2848 symbol_attribute gfc_expr_attr (gfc_expr *);
2849 match gfc_match_rvalue (gfc_expr **);
2850 match gfc_match_varspec (gfc_expr*, int, bool, bool);
2851 int gfc_check_digit (char, int);
2852 bool gfc_is_function_return_value (gfc_symbol *, gfc_namespace *);
2855 void gfc_generate_code (gfc_namespace *);
2856 void gfc_generate_module_code (gfc_namespace *);
2859 typedef int (*compare_fn) (void *, void *);
2860 void gfc_insert_bbt (void *, void *, compare_fn);
2861 void gfc_delete_bbt (void *, void *, compare_fn);
2863 /* dump-parse-tree.c */
2864 void gfc_dump_parse_tree (gfc_namespace *, FILE *);
2867 gfc_try gfc_parse_file (void);
2868 void gfc_global_used (gfc_gsymbol *, locus *);
2869 gfc_namespace* gfc_build_block_ns (gfc_namespace *);
2872 int gfc_dep_compare_functions (gfc_expr *, gfc_expr *, bool);
2873 int gfc_dep_compare_expr (gfc_expr *, gfc_expr *);
2876 gfc_try gfc_check_same_strlen (const gfc_expr*, const gfc_expr*, const char*);
2879 void gfc_add_component_ref (gfc_expr *, const char *);
2880 #define gfc_add_data_component(e) gfc_add_component_ref(e,"_data")
2881 #define gfc_add_vptr_component(e) gfc_add_component_ref(e,"_vptr")
2882 #define gfc_add_hash_component(e) gfc_add_component_ref(e,"_hash")
2883 #define gfc_add_size_component(e) gfc_add_component_ref(e,"_size")
2884 #define gfc_add_def_init_component(e) gfc_add_component_ref(e,"_def_init")
2885 gfc_expr *gfc_class_null_initializer (gfc_typespec *);
2886 unsigned int gfc_hash_value (gfc_symbol *);
2887 gfc_try gfc_build_class_symbol (gfc_typespec *, symbol_attribute *,
2888 gfc_array_spec **, bool);
2889 gfc_symbol *gfc_find_derived_vtab (gfc_symbol *);
2890 gfc_symtree* gfc_find_typebound_proc (gfc_symbol*, gfc_try*,
2891 const char*, bool, locus*);
2892 gfc_symtree* gfc_find_typebound_user_op (gfc_symbol*, gfc_try*,
2893 const char*, bool, locus*);
2894 gfc_typebound_proc* gfc_find_typebound_intrinsic_op (gfc_symbol*, gfc_try*,
2895 gfc_intrinsic_op, bool,
2897 gfc_symtree* gfc_get_tbp_symtree (gfc_symtree**, const char*);
2899 #define CLASS_DATA(sym) sym->ts.u.derived->components
2901 /* frontend-passes.c */
2903 void gfc_run_passes (gfc_namespace *);
2905 typedef int (*walk_code_fn_t) (gfc_code **, int *, void *);
2906 typedef int (*walk_expr_fn_t) (gfc_expr **, int *, void *);
2908 int gfc_expr_walker (gfc_expr **, walk_expr_fn_t, void *);
2909 int gfc_code_walker (gfc_code **, walk_code_fn_t, walk_expr_fn_t, void *);
2911 #endif /* GCC_GFORTRAN_H */