1 /* gfortran header file
2 Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009
3 Free Software Foundation, Inc.
4 Contributed by Andy Vaught
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 3, or (at your option) any later
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
22 #ifndef GCC_GFORTRAN_H
23 #define GCC_GFORTRAN_H
25 /* It's probably insane to have this large of a header file, but it
26 seemed like everything had to be recompiled anyway when a change
27 was made to a header file, and there were ordering issues with
28 multiple header files. Besides, Microsoft's winnt.h was 250k last
29 time I looked, so by comparison this is perfectly reasonable. */
31 /* Declarations common to the front-end and library are put in
32 libgfortran/libgfortran_frontend.h */
33 #include "libgfortran.h"
38 #include "coretypes.h"
40 #include "splay-tree.h"
41 /* The following ifdefs are recommended by the autoconf documentation
42 for any code using alloca. */
44 /* AIX requires this to be the first thing in the file. */
46 #else /* not __GNUC__ */
49 #else /* do not HAVE_ALLOCA_H */
53 #ifndef alloca /* predefined by HP cc +Olibcalls */
55 #endif /* not predefined */
57 #endif /* do not HAVE_ALLOCA_H */
58 #endif /* not __GNUC__ */
60 /* Major control parameters. */
62 #define GFC_MAX_SYMBOL_LEN 63 /* Must be at least 63 for F2003. */
63 #define GFC_MAX_BINDING_LABEL_LEN 126 /* (2 * GFC_MAX_SYMBOL_LEN) */
64 #define GFC_MAX_LINE 132 /* Characters beyond this are not seen. */
65 #define GFC_LETTERS 26 /* Number of letters in the alphabet. */
67 #define MAX_SUBRECORD_LENGTH 2147483639 /* 2**31-9 */
70 #define free(x) Use_gfc_free_instead_of_free()
71 #define gfc_is_whitespace(c) ((c==' ') || (c=='\t'))
74 #define NULL ((void *) 0)
78 #define stringize(x) expand_macro(x)
79 #define expand_macro(x) # x
81 /* For the runtime library, a standard prefix is a requirement to
82 avoid cluttering the namespace with things nobody asked for. It's
83 ugly to look at and a pain to type when you add the prefix by hand,
84 so we hide it behind a macro. */
85 #define PREFIX(x) "_gfortran_" x
88 #define BLANK_COMMON_NAME "__BLNK__"
90 /* Macro to initialize an mstring structure. */
91 #define minit(s, t) { s, NULL, t }
93 /* Structure for storing strings to be matched by gfc_match_string. */
104 /*************************** Enums *****************************/
106 /* Used when matching and resolving data I/O transfer statements. */
109 { M_READ, M_WRITE, M_PRINT, M_INQUIRE }
112 /* The author remains confused to this day about the convention of
113 returning '0' for 'SUCCESS'... or was it the other way around? The
114 following enum makes things much more readable. We also start
115 values off at one instead of zero. */
118 { SUCCESS = 1, FAILURE }
121 /* This is returned by gfc_notification_std to know if, given the flags
122 that were given (-std=, -pedantic) we should issue an error, a warning
126 { SILENT, WARNING, ERROR }
129 /* Matchers return one of these three values. The difference between
130 MATCH_NO and MATCH_ERROR is that MATCH_ERROR means that a match was
131 successful, but that something non-syntactic is wrong and an error
132 has already been issued. */
135 { MATCH_NO = 1, MATCH_YES, MATCH_ERROR }
139 { FORM_FREE, FORM_FIXED, FORM_UNKNOWN }
142 /* Basic types. BT_VOID is used by ISO C Binding so funcs like c_f_pointer
143 can take any arg with the pointer attribute as a param. */
145 { BT_UNKNOWN = 1, BT_INTEGER, BT_REAL, BT_COMPLEX, BT_LOGICAL, BT_CHARACTER,
146 BT_DERIVED, BT_CLASS, BT_PROCEDURE, BT_HOLLERITH, BT_VOID
150 /* Expression node types. */
152 { EXPR_OP = 1, EXPR_FUNCTION, EXPR_CONSTANT, EXPR_VARIABLE,
153 EXPR_SUBSTRING, EXPR_STRUCTURE, EXPR_ARRAY, EXPR_NULL, EXPR_COMPCALL, EXPR_PPC
159 { AS_EXPLICIT = 1, AS_ASSUMED_SHAPE, AS_DEFERRED,
160 AS_ASSUMED_SIZE, AS_UNKNOWN
165 { AR_FULL = 1, AR_ELEMENT, AR_SECTION, AR_UNKNOWN }
168 /* Statement label types. */
170 { ST_LABEL_UNKNOWN = 1, ST_LABEL_TARGET,
171 ST_LABEL_BAD_TARGET, ST_LABEL_FORMAT
175 /* Intrinsic operators. */
177 { GFC_INTRINSIC_BEGIN = 0,
178 INTRINSIC_NONE = -1, INTRINSIC_UPLUS = GFC_INTRINSIC_BEGIN,
179 INTRINSIC_UMINUS, INTRINSIC_PLUS, INTRINSIC_MINUS, INTRINSIC_TIMES,
180 INTRINSIC_DIVIDE, INTRINSIC_POWER, INTRINSIC_CONCAT,
181 INTRINSIC_AND, INTRINSIC_OR, INTRINSIC_EQV, INTRINSIC_NEQV,
182 /* ==, /=, >, >=, <, <= */
183 INTRINSIC_EQ, INTRINSIC_NE, INTRINSIC_GT, INTRINSIC_GE,
184 INTRINSIC_LT, INTRINSIC_LE,
185 /* .EQ., .NE., .GT., .GE., .LT., .LE. (OS = Old-Style) */
186 INTRINSIC_EQ_OS, INTRINSIC_NE_OS, INTRINSIC_GT_OS, INTRINSIC_GE_OS,
187 INTRINSIC_LT_OS, INTRINSIC_LE_OS,
188 INTRINSIC_NOT, INTRINSIC_USER, INTRINSIC_ASSIGN,
189 INTRINSIC_PARENTHESES, GFC_INTRINSIC_END /* Sentinel */
194 /* This macro is the number of intrinsic operators that exist.
195 Assumptions are made about the numbering of the interface_op enums. */
196 #define GFC_INTRINSIC_OPS GFC_INTRINSIC_END
198 /* Arithmetic results. */
200 { ARITH_OK = 1, ARITH_OVERFLOW, ARITH_UNDERFLOW, ARITH_NAN,
201 ARITH_DIV0, ARITH_INCOMMENSURATE, ARITH_ASYMMETRIC, ARITH_PROHIBIT
208 ST_ARITHMETIC_IF, ST_ALLOCATE, ST_ATTR_DECL, ST_BACKSPACE,
209 ST_BLOCK, ST_BLOCK_DATA,
210 ST_CALL, ST_CASE, ST_CLOSE, ST_COMMON, ST_CONTINUE, ST_CONTAINS, ST_CYCLE,
211 ST_DATA, ST_DATA_DECL, ST_DEALLOCATE, ST_DO, ST_ELSE, ST_ELSEIF,
212 ST_ELSEWHERE, ST_END_BLOCK, ST_END_BLOCK_DATA, ST_ENDDO, ST_IMPLIED_ENDDO,
213 ST_END_FILE, ST_FINAL, ST_FLUSH, ST_END_FORALL, ST_END_FUNCTION, ST_ENDIF,
214 ST_END_INTERFACE, ST_END_MODULE, ST_END_PROGRAM, ST_END_SELECT,
215 ST_END_SUBROUTINE, ST_END_WHERE, ST_END_TYPE, ST_ENTRY, ST_EQUIVALENCE,
216 ST_EXIT, ST_FORALL, ST_FORALL_BLOCK, ST_FORMAT, ST_FUNCTION, ST_GOTO,
217 ST_IF_BLOCK, ST_IMPLICIT, ST_IMPLICIT_NONE, ST_IMPORT,
218 ST_INQUIRE, ST_INTERFACE,
219 ST_PARAMETER, ST_MODULE, ST_MODULE_PROC, ST_NAMELIST, ST_NULLIFY, ST_OPEN,
220 ST_PAUSE, ST_PRIVATE, ST_PROGRAM, ST_PUBLIC, ST_READ, ST_RETURN, ST_REWIND,
221 ST_STOP, ST_SUBROUTINE, ST_TYPE, ST_USE, ST_WHERE_BLOCK, ST_WHERE, ST_WAIT,
222 ST_WRITE, ST_ASSIGNMENT, ST_POINTER_ASSIGNMENT, ST_SELECT_CASE, ST_SEQUENCE,
223 ST_SIMPLE_IF, ST_STATEMENT_FUNCTION, ST_DERIVED_DECL, ST_LABEL_ASSIGNMENT,
224 ST_ENUM, ST_ENUMERATOR, ST_END_ENUM, ST_SELECT_TYPE, ST_TYPE_IS, ST_CLASS_IS,
225 ST_OMP_ATOMIC, ST_OMP_BARRIER, ST_OMP_CRITICAL, ST_OMP_END_CRITICAL,
226 ST_OMP_END_DO, ST_OMP_END_MASTER, ST_OMP_END_ORDERED, ST_OMP_END_PARALLEL,
227 ST_OMP_END_PARALLEL_DO, ST_OMP_END_PARALLEL_SECTIONS,
228 ST_OMP_END_PARALLEL_WORKSHARE, ST_OMP_END_SECTIONS, ST_OMP_END_SINGLE,
229 ST_OMP_END_WORKSHARE, ST_OMP_DO, ST_OMP_FLUSH, ST_OMP_MASTER, ST_OMP_ORDERED,
230 ST_OMP_PARALLEL, ST_OMP_PARALLEL_DO, ST_OMP_PARALLEL_SECTIONS,
231 ST_OMP_PARALLEL_WORKSHARE, ST_OMP_SECTIONS, ST_OMP_SECTION, ST_OMP_SINGLE,
232 ST_OMP_THREADPRIVATE, ST_OMP_WORKSHARE, ST_OMP_TASK, ST_OMP_END_TASK,
233 ST_OMP_TASKWAIT, ST_PROCEDURE, ST_GENERIC,
234 ST_GET_FCN_CHARACTERISTICS, ST_NONE
239 /* Types of interfaces that we can have. Assignment interfaces are
240 considered to be intrinsic operators. */
243 INTERFACE_NAMELESS = 1, INTERFACE_GENERIC,
244 INTERFACE_INTRINSIC_OP, INTERFACE_USER_OP, INTERFACE_ABSTRACT
248 /* Symbol flavors: these are all mutually exclusive.
249 10 elements = 4 bits. */
250 typedef enum sym_flavor
252 FL_UNKNOWN = 0, FL_PROGRAM, FL_BLOCK_DATA, FL_MODULE, FL_VARIABLE,
253 FL_PARAMETER, FL_LABEL, FL_PROCEDURE, FL_DERIVED, FL_NAMELIST,
258 /* Procedure types. 7 elements = 3 bits. */
259 typedef enum procedure_type
260 { PROC_UNKNOWN, PROC_MODULE, PROC_INTERNAL, PROC_DUMMY,
261 PROC_INTRINSIC, PROC_ST_FUNCTION, PROC_EXTERNAL
266 typedef enum sym_intent
267 { INTENT_UNKNOWN = 0, INTENT_IN, INTENT_OUT, INTENT_INOUT
272 typedef enum gfc_access
273 { ACCESS_UNKNOWN = 0, ACCESS_PUBLIC, ACCESS_PRIVATE
277 /* Flags to keep track of where an interface came from.
278 3 elements = 2 bits. */
280 { IFSRC_UNKNOWN = 0, /* Interface unknown, only return type may be known. */
281 IFSRC_DECL, /* FUNCTION or SUBROUTINE declaration. */
282 IFSRC_IFBODY /* INTERFACE statement or PROCEDURE statement
283 with explicit interface. */
287 /* Whether a SAVE attribute was set explicitly or implicitly. */
288 typedef enum save_state
289 { SAVE_NONE = 0, SAVE_EXPLICIT, SAVE_IMPLICIT
293 /* Strings for all symbol attributes. We use these for dumping the
294 parse tree, in error messages, and also when reading and writing
295 modules. In symbol.c. */
296 extern const mstring flavors[];
297 extern const mstring procedures[];
298 extern const mstring intents[];
299 extern const mstring access_types[];
300 extern const mstring ifsrc_types[];
301 extern const mstring save_status[];
303 /* Enumeration of all the generic intrinsic functions. Used by the
304 backend for identification of a function. */
308 /* GFC_ISYM_NONE is used for intrinsics which will never be seen by
309 the backend (e.g. KIND). */
340 GFC_ISYM_COMMAND_ARGUMENT_COUNT,
350 GFC_ISYM_DATE_AND_TIME,
354 GFC_ISYM_DOT_PRODUCT,
361 GFC_ISYM_ERFC_SCALED,
366 GFC_ISYM_EXTENDS_TYPE_OF,
383 GFC_ISYM_GET_COMMAND,
384 GFC_ISYM_GET_COMMAND_ARGUMENT,
387 GFC_ISYM_GET_ENVIRONMENT_VARIABLE,
413 GFC_ISYM_IS_IOSTAT_END,
414 GFC_ISYM_IS_IOSTAT_EOR,
445 GFC_ISYM_MAXEXPONENT,
452 GFC_ISYM_MINEXPONENT,
472 GFC_ISYM_RANDOM_NUMBER,
473 GFC_ISYM_RANDOM_SEED,
481 GFC_ISYM_SAME_TYPE_AS,
487 GFC_ISYM_SET_EXPONENT,
507 GFC_ISYM_SYSTEM_CLOCK,
528 typedef enum gfc_isym_id gfc_isym_id;
533 GFC_INIT_REAL_OFF = 0,
538 GFC_INIT_REAL_NEG_INF
544 GFC_INIT_LOGICAL_OFF = 0,
545 GFC_INIT_LOGICAL_FALSE,
546 GFC_INIT_LOGICAL_TRUE
552 GFC_INIT_CHARACTER_OFF = 0,
553 GFC_INIT_CHARACTER_ON
555 init_local_character;
559 GFC_INIT_INTEGER_OFF = 0,
564 /************************* Structures *****************************/
566 /* Used for keeping things in balanced binary trees. */
567 #define BBT_HEADER(self) int priority; struct self *left, *right
569 #define NAMED_INTCST(a,b,c,d) a,
572 ISOFORTRANENV_INVALID = -1,
573 #include "iso-fortran-env.def"
574 ISOFORTRANENV_LAST, ISOFORTRANENV_NUMBER = ISOFORTRANENV_LAST
576 iso_fortran_env_symbol;
579 #define NAMED_INTCST(a,b,c,d) a,
580 #define NAMED_REALCST(a,b,c) a,
581 #define NAMED_CMPXCST(a,b,c) a,
582 #define NAMED_LOGCST(a,b,c) a,
583 #define NAMED_CHARKNDCST(a,b,c) a,
584 #define NAMED_CHARCST(a,b,c) a,
585 #define DERIVED_TYPE(a,b,c) a,
586 #define PROCEDURE(a,b) a,
589 ISOCBINDING_INVALID = -1,
590 #include "iso-c-binding.def"
592 ISOCBINDING_NUMBER = ISOCBINDING_LAST
594 iso_c_binding_symbol;
599 #undef NAMED_CHARKNDCST
606 INTMOD_NONE = 0, INTMOD_ISO_FORTRAN_ENV, INTMOD_ISO_C_BINDING
612 char name[GFC_MAX_SYMBOL_LEN + 1];
613 int value; /* Used for both integer and character values. */
618 /* Array of structs, where the structs represent the C interop kinds.
619 The list will be implemented based on a hash of the kind name since
620 these could be accessed multiple times.
621 Declared in trans-types.c as a global, since it's in that file
622 that the list is initialized. */
623 extern CInteropKind_t c_interop_kinds_table[];
626 /* Structure and list of supported extension attributes. */
629 EXT_ATTR_DLLIMPORT = 0,
634 EXT_ATTR_LAST, EXT_ATTR_NUM = EXT_ATTR_LAST
642 const char *middle_end_name;
646 extern const ext_attr_t ext_attr_list[];
648 /* Symbol attribute structure. */
651 /* Variable attributes. */
652 unsigned allocatable:1, dimension:1, external:1, intrinsic:1,
653 optional:1, pointer:1, target:1, value:1, volatile_:1, temporary:1,
654 dummy:1, result:1, assign:1, threadprivate:1, not_always_present:1,
655 implied_index:1, subref_array_pointer:1, proc_pointer:1;
657 ENUM_BITFIELD (save_state) save:2;
659 unsigned data:1, /* Symbol is named in a DATA statement. */
660 is_protected:1, /* Symbol has been marked as protected. */
661 use_assoc:1, /* Symbol has been use-associated. */
662 use_only:1, /* Symbol has been use-associated, with ONLY. */
663 use_rename:1, /* Symbol has been use-associated and renamed. */
664 imported:1; /* Symbol has been associated by IMPORT. */
666 unsigned in_namelist:1, in_common:1, in_equivalence:1;
667 unsigned function:1, subroutine:1, procedure:1;
668 unsigned generic:1, generic_copy:1;
669 unsigned implicit_type:1; /* Type defined via implicit rules. */
670 unsigned untyped:1; /* No implicit type could be found. */
672 unsigned is_bind_c:1; /* say if is bound to C. */
673 unsigned extension:1; /* extends a derived type. */
674 unsigned is_class:1; /* is a CLASS container. */
676 /* These flags are both in the typespec and attribute. The attribute
677 list is what gets read from/written to a module file. The typespec
678 is created from a decl being processed. */
679 unsigned is_c_interop:1; /* It's c interoperable. */
680 unsigned is_iso_c:1; /* Symbol is from iso_c_binding. */
682 /* Function/subroutine attributes */
683 unsigned sequence:1, elemental:1, pure:1, recursive:1;
684 unsigned unmaskable:1, masked:1, contained:1, mod_proc:1, abstract:1;
686 /* This is set if the subroutine doesn't return. Currently, this
687 is only possible for intrinsic subroutines. */
690 /* Set if this procedure is an alternate entry point. These procedures
691 don't have any code associated, and the backend will turn them into
692 thunks to the master function. */
695 /* Set if this is the master function for a procedure with multiple
697 unsigned entry_master:1;
699 /* Set if this is the master function for a function with multiple
700 entry points where characteristics of the entry points differ. */
701 unsigned mixed_entry_master:1;
703 /* Set if a function must always be referenced by an explicit interface. */
704 unsigned always_explicit:1;
706 /* Set if the symbol has been referenced in an expression. No further
707 modification of type or type parameters is permitted. */
708 unsigned referenced:1;
710 /* Set if the symbol has ambiguous interfaces. */
711 unsigned ambiguous_interfaces:1;
713 /* Set if this is the symbol for the main program. */
714 unsigned is_main_program:1;
716 /* Mutually exclusive multibit attributes. */
717 ENUM_BITFIELD (gfc_access) access:2;
718 ENUM_BITFIELD (sym_intent) intent:2;
719 ENUM_BITFIELD (sym_flavor) flavor:4;
720 ENUM_BITFIELD (ifsrc) if_source:2;
722 ENUM_BITFIELD (procedure_type) proc:3;
724 /* Special attributes for Cray pointers, pointees. */
725 unsigned cray_pointer:1, cray_pointee:1;
727 /* The symbol is a derived type with allocatable components, pointer
728 components or private components, procedure pointer components,
729 possibly nested. zero_comp is true if the derived type has no
731 unsigned alloc_comp:1, pointer_comp:1, proc_pointer_comp:1,
732 private_comp:1, zero_comp:1;
734 /* Attributes set by compiler extensions (!GCC$ ATTRIBUTES). */
735 unsigned ext_attr:EXT_ATTR_NUM;
737 /* The namespace where the VOLATILE attribute has been set. */
738 struct gfc_namespace *volatile_ns;
743 /* We need to store source lines as sequences of multibyte source
744 characters. We define here a type wide enough to hold any multibyte
745 source character, just like libcpp does. A 32-bit type is enough. */
747 #if HOST_BITS_PER_INT >= 32
748 typedef unsigned int gfc_char_t;
749 #elif HOST_BITS_PER_LONG >= 32
750 typedef unsigned long gfc_char_t;
751 #elif defined(HAVE_LONG_LONG) && (HOST_BITS_PER_LONGLONG >= 32)
752 typedef unsigned long long gfc_char_t;
754 # error "Cannot find an integer type with at least 32 bits"
758 /* The following three structures are used to identify a location in
761 gfc_file is used to maintain a tree of the source files and how
762 they include each other
764 gfc_linebuf holds a single line of source code and information
765 which file it resides in
767 locus point to the sourceline and the character in the source
771 typedef struct gfc_file
773 struct gfc_file *next, *up;
774 int inclusion_line, line;
778 typedef struct gfc_linebuf
780 source_location location;
781 struct gfc_file *file;
782 struct gfc_linebuf *next;
790 #define gfc_linebuf_header_size (offsetof (gfc_linebuf, line))
792 #define gfc_linebuf_linenum(LBUF) (LOCATION_LINE ((LBUF)->location))
800 /* In order for the "gfc" format checking to work correctly, you must
801 have declared a typedef locus first. */
802 #if GCC_VERSION >= 4001
803 #define ATTRIBUTE_GCC_GFC(m, n) __attribute__ ((__format__ (__gcc_gfc__, m, n))) ATTRIBUTE_NONNULL(m)
805 #define ATTRIBUTE_GCC_GFC(m, n) ATTRIBUTE_NONNULL(m)
809 /* Suppress error messages or re-enable them. */
811 void gfc_push_suppress_errors (void);
812 void gfc_pop_suppress_errors (void);
815 /* Character length structures hold the expression that gives the
816 length of a character variable. We avoid putting these into
817 gfc_typespec because doing so prevents us from doing structure
818 copies and forces us to deallocate any typespecs we create, as well
819 as structures that contain typespecs. They also can have multiple
820 character typespecs pointing to them.
822 These structures form a singly linked list within the current
823 namespace and are deallocated with the namespace. It is possible to
824 end up with gfc_charlen structures that have nothing pointing to them. */
826 typedef struct gfc_charlen
828 struct gfc_expr *length;
829 struct gfc_charlen *next;
830 bool length_from_typespec; /* Length from explicit array ctor typespec? */
832 tree passed_length; /* Length argument explicitelly passed. */
838 #define gfc_get_charlen() XCNEW (gfc_charlen)
840 /* Type specification structure. */
848 struct gfc_symbol *derived; /* For derived types only. */
849 gfc_charlen *cl; /* For character types only. */
853 struct gfc_symbol *interface; /* For PROCEDURE declarations. */
860 /* Array specification. */
863 int rank; /* A rank of zero means that a variable is a scalar. */
865 struct gfc_expr *lower[GFC_MAX_DIMENSIONS], *upper[GFC_MAX_DIMENSIONS];
867 /* These two fields are used with the Cray Pointer extension. */
868 bool cray_pointee; /* True iff this spec belongs to a cray pointee. */
869 bool cp_was_assumed; /* AS_ASSUMED_SIZE cp arrays are converted to
870 AS_EXPLICIT, but we want to remember that we
876 #define gfc_get_array_spec() XCNEW (gfc_array_spec)
879 /* Components of derived types. */
880 typedef struct gfc_component
885 symbol_attribute attr;
890 struct gfc_expr *initializer;
891 struct gfc_component *next;
893 /* Needed for procedure pointer components. */
894 struct gfc_formal_arglist *formal;
895 struct gfc_namespace *formal_ns;
896 struct gfc_typebound_proc *tb;
900 #define gfc_get_component() XCNEW (gfc_component)
902 /* Formal argument lists are lists of symbols. */
903 typedef struct gfc_formal_arglist
905 /* Symbol representing the argument at this position in the arglist. */
906 struct gfc_symbol *sym;
907 /* Points to the next formal argument. */
908 struct gfc_formal_arglist *next;
912 #define gfc_get_formal_arglist() XCNEW (gfc_formal_arglist)
915 /* The gfc_actual_arglist structure is for actual arguments. */
916 typedef struct gfc_actual_arglist
919 /* Alternate return label when the expr member is null. */
920 struct gfc_st_label *label;
922 /* This is set to the type of an eventual omitted optional
923 argument. This is used to determine if a hidden string length
924 argument has to be added to a function call. */
927 struct gfc_expr *expr;
928 struct gfc_actual_arglist *next;
932 #define gfc_get_actual_arglist() XCNEW (gfc_actual_arglist)
935 /* Because a symbol can belong to multiple namelists, they must be
936 linked externally to the symbol itself. */
937 typedef struct gfc_namelist
939 struct gfc_symbol *sym;
940 struct gfc_namelist *next;
944 #define gfc_get_namelist() XCNEW (gfc_namelist)
949 OMP_LIST_FIRSTPRIVATE,
950 OMP_LIST_LASTPRIVATE,
951 OMP_LIST_COPYPRIVATE,
955 OMP_LIST_REDUCTION_FIRST = OMP_LIST_PLUS,
967 OMP_LIST_REDUCTION_LAST = OMP_LIST_IEOR,
971 /* Because a symbol can belong to multiple namelists, they must be
972 linked externally to the symbol itself. */
974 enum gfc_omp_sched_kind
984 enum gfc_omp_default_sharing
990 OMP_DEFAULT_FIRSTPRIVATE
993 typedef struct gfc_omp_clauses
995 struct gfc_expr *if_expr;
996 struct gfc_expr *num_threads;
997 gfc_namelist *lists[OMP_LIST_NUM];
998 enum gfc_omp_sched_kind sched_kind;
999 struct gfc_expr *chunk_size;
1000 enum gfc_omp_default_sharing default_sharing;
1002 bool nowait, ordered, untied;
1006 #define gfc_get_omp_clauses() XCNEW (gfc_omp_clauses)
1009 /* The gfc_st_label structure is a BBT attached to a namespace that
1010 records the usage of statement labels within that space. */
1012 typedef struct gfc_st_label
1014 BBT_HEADER(gfc_st_label);
1018 gfc_sl_type defined, referenced;
1020 struct gfc_expr *format;
1029 /* gfc_interface()-- Interfaces are lists of symbols strung together. */
1030 typedef struct gfc_interface
1032 struct gfc_symbol *sym;
1034 struct gfc_interface *next;
1038 #define gfc_get_interface() XCNEW (gfc_interface)
1040 /* User operator nodes. These are like stripped down symbols. */
1046 struct gfc_namespace *ns;
1052 /* A list of specific bindings that are associated with a generic spec. */
1053 typedef struct gfc_tbp_generic
1055 /* The parser sets specific_st, upon resolution we look for the corresponding
1056 gfc_typebound_proc and set specific for further use. */
1057 struct gfc_symtree* specific_st;
1058 struct gfc_typebound_proc* specific;
1060 struct gfc_tbp_generic* next;
1064 #define gfc_get_tbp_generic() XCNEW (gfc_tbp_generic)
1067 /* Data needed for type-bound procedures. */
1068 typedef struct gfc_typebound_proc
1070 locus where; /* Where the PROCEDURE/GENERIC definition was. */
1074 struct gfc_symtree* specific; /* The interface if DEFERRED. */
1075 gfc_tbp_generic* generic;
1080 const char* pass_arg; /* Argument-name for PASS. NULL if not specified. */
1082 /* The overridden type-bound proc (or GENERIC with this name in the
1083 parent-type) or NULL if non. */
1084 struct gfc_typebound_proc* overridden;
1086 /* Once resolved, we use the position of pass_arg in the formal arglist of
1087 the binding-target procedure to identify it. The first argument has
1088 number 1 here, the second 2, and so on. */
1089 unsigned pass_arg_num;
1091 unsigned nopass:1; /* Whether we have NOPASS (PASS otherwise). */
1092 unsigned non_overridable:1;
1093 unsigned deferred:1;
1094 unsigned is_generic:1;
1095 unsigned function:1, subroutine:1;
1096 unsigned error:1; /* Ignore it, when an error occurred during resolution. */
1102 /* Symbol nodes. These are important things. They are what the
1103 standard refers to as "entities". The possibly multiple names that
1104 refer to the same entity are accomplished by a binary tree of
1105 symtree structures that is balanced by the red-black method-- more
1106 than one symtree node can point to any given symbol. */
1108 typedef struct gfc_symbol
1110 const char *name; /* Primary name, before renaming */
1111 const char *module; /* Module this symbol came from */
1115 symbol_attribute attr;
1117 /* The formal member points to the formal argument list if the
1118 symbol is a function or subroutine name. If the symbol is a
1119 generic name, the generic member points to the list of
1122 gfc_interface *generic;
1123 gfc_access component_access;
1125 gfc_formal_arglist *formal;
1126 struct gfc_namespace *formal_ns;
1127 struct gfc_namespace *f2k_derived;
1129 struct gfc_expr *value; /* Parameter/Initializer value */
1131 struct gfc_symbol *result; /* function result symbol */
1132 gfc_component *components; /* Derived type components */
1134 /* Defined only for Cray pointees; points to their pointer. */
1135 struct gfc_symbol *cp_pointer;
1137 int entry_id; /* Used in resolve.c for entries. */
1139 /* CLASS vindex for declared and dynamic types in the class. */
1142 struct gfc_symbol *common_next; /* Links for COMMON syms */
1144 /* This is in fact a gfc_common_head but it is only used for pointer
1145 comparisons to check if symbols are in the same common block. */
1146 struct gfc_common_head* common_head;
1148 /* Make sure setup code for dummy arguments is generated in the correct
1152 gfc_namelist *namelist, *namelist_tail;
1154 /* Change management fields. Symbols that might be modified by the
1155 current statement have the mark member nonzero and are kept in a
1156 singly linked list through the tlink field. Of these symbols,
1157 symbols with old_symbol equal to NULL are symbols created within
1158 the current statement. Otherwise, old_symbol points to a copy of
1161 struct gfc_symbol *old_symbol, *tlink;
1162 unsigned mark:1, gfc_new:1;
1163 /* Nonzero if all equivalences associated with this symbol have been
1165 unsigned equiv_built:1;
1166 /* Set if this variable is used as an index name in a FORALL. */
1167 unsigned forall_index:1;
1169 struct gfc_namespace *ns; /* namespace containing this symbol */
1173 /* Identity of the intrinsic module the symbol comes from, or
1174 INTMOD_NONE if it's not imported from a intrinsic module. */
1175 intmod_id from_intmod;
1176 /* Identity of the symbol from intrinsic modules, from enums maintained
1177 separately by each intrinsic module. Used together with from_intmod,
1178 it uniquely identifies a symbol from an intrinsic module. */
1181 /* This may be repetitive, since the typespec now has a binding
1183 char binding_label[GFC_MAX_BINDING_LABEL_LEN + 1];
1184 /* Store a reference to the common_block, if this symbol is in one. */
1185 struct gfc_common_head *common_block;
1190 /* This structure is used to keep track of symbols in common blocks. */
1191 typedef struct gfc_common_head
1194 char use_assoc, saved, threadprivate;
1195 char name[GFC_MAX_SYMBOL_LEN + 1];
1196 struct gfc_symbol *head;
1197 char binding_label[GFC_MAX_BINDING_LABEL_LEN + 1];
1202 #define gfc_get_common_head() XCNEW (gfc_common_head)
1205 /* A list of all the alternate entry points for a procedure. */
1207 typedef struct gfc_entry_list
1209 /* The symbol for this entry point. */
1211 /* The zero-based id of this entry point. */
1213 /* The LABEL_EXPR marking this entry point. */
1215 /* The next item in the list. */
1216 struct gfc_entry_list *next;
1220 #define gfc_get_entry_list() \
1221 (gfc_entry_list *) gfc_getmem(sizeof(gfc_entry_list))
1223 /* Lists of rename info for the USE statement. */
1225 typedef struct gfc_use_rename
1227 char local_name[GFC_MAX_SYMBOL_LEN + 1], use_name[GFC_MAX_SYMBOL_LEN + 1];
1228 struct gfc_use_rename *next;
1230 gfc_intrinsic_op op;
1235 #define gfc_get_use_rename() XCNEW (gfc_use_rename);
1237 /* A list of all USE statements in a namespace. */
1239 typedef struct gfc_use_list
1241 const char *module_name;
1243 struct gfc_use_rename *rename;
1245 /* Next USE statement. */
1246 struct gfc_use_list *next;
1250 #define gfc_get_use_list() \
1251 (gfc_use_list *) gfc_getmem(sizeof(gfc_use_list))
1253 /* Within a namespace, symbols are pointed to by symtree nodes that
1254 are linked together in a balanced binary tree. There can be
1255 several symtrees pointing to the same symbol node via USE
1258 typedef struct gfc_symtree
1260 BBT_HEADER (gfc_symtree);
1265 gfc_symbol *sym; /* Symbol associated with this node */
1267 gfc_common_head *common;
1268 gfc_typebound_proc *tb;
1274 /* A linked list of derived types in the namespace. */
1275 typedef struct gfc_dt_list
1277 struct gfc_symbol *derived;
1278 struct gfc_dt_list *next;
1282 #define gfc_get_dt_list() XCNEW (gfc_dt_list)
1284 /* A list of all derived types. */
1285 extern gfc_dt_list *gfc_derived_types;
1287 /* A namespace describes the contents of procedure, module, interface block
1288 or BLOCK construct. */
1289 /* ??? Anything else use these? */
1291 typedef struct gfc_namespace
1293 /* Tree containing all the symbols in this namespace. */
1294 gfc_symtree *sym_root;
1295 /* Tree containing all the user-defined operators in the namespace. */
1296 gfc_symtree *uop_root;
1297 /* Tree containing all the common blocks. */
1298 gfc_symtree *common_root;
1300 /* Tree containing type-bound procedures. */
1301 gfc_symtree *tb_sym_root;
1302 /* Type-bound user operators. */
1303 gfc_symtree *tb_uop_root;
1304 /* For derived-types, store type-bound intrinsic operators here. */
1305 gfc_typebound_proc *tb_op[GFC_INTRINSIC_OPS];
1306 /* Linked list of finalizer procedures. */
1307 struct gfc_finalizer *finalizers;
1309 /* If set_flag[letter] is set, an implicit type has been set for letter. */
1310 int set_flag[GFC_LETTERS];
1311 /* Keeps track of the implicit types associated with the letters. */
1312 gfc_typespec default_type[GFC_LETTERS];
1313 /* Store the positions of IMPLICIT statements. */
1314 locus implicit_loc[GFC_LETTERS];
1316 /* If this is a namespace of a procedure, this points to the procedure. */
1317 struct gfc_symbol *proc_name;
1318 /* If this is the namespace of a unit which contains executable
1319 code, this points to it. */
1320 struct gfc_code *code;
1322 /* Points to the equivalences set up in this namespace. */
1323 struct gfc_equiv *equiv;
1325 /* Points to the equivalence groups produced by trans_common. */
1326 struct gfc_equiv_list *equiv_lists;
1328 gfc_interface *op[GFC_INTRINSIC_OPS];
1330 /* Points to the parent namespace, i.e. the namespace of a module or
1331 procedure in which the procedure belonging to this namespace is
1332 contained. The parent namespace points to this namespace either
1333 directly via CONTAINED, or indirectly via the chain built by
1335 struct gfc_namespace *parent;
1336 /* CONTAINED points to the first contained namespace. Sibling
1337 namespaces are chained via SIBLING. */
1338 struct gfc_namespace *contained, *sibling;
1340 gfc_common_head blank_common;
1341 gfc_access default_access, operator_access[GFC_INTRINSIC_OPS];
1343 gfc_st_label *st_labels;
1344 /* This list holds information about all the data initializers in
1346 struct gfc_data *data;
1348 gfc_charlen *cl_list, *old_cl_list;
1350 gfc_dt_list *derived_types;
1352 int save_all, seen_save, seen_implicit_none;
1354 /* Normally we don't need to refcount namespaces. However when we read
1355 a module containing a function with multiple entry points, this
1356 will appear as several functions with the same formal namespace. */
1359 /* A list of all alternate entry points to this procedure (or NULL). */
1360 gfc_entry_list *entries;
1362 /* A list of USE statements in this namespace. */
1363 gfc_use_list *use_stmts;
1365 /* Set to 1 if namespace is a BLOCK DATA program unit. */
1366 unsigned is_block_data:1;
1368 /* Set to 1 if namespace is an interface body with "IMPORT" used. */
1369 unsigned has_import_set:1;
1371 /* Set to 1 if resolved has been called for this namespace. */
1372 unsigned resolved:1;
1374 /* Set to 1 if code has been generated for this namespace. */
1375 unsigned translated:1;
1377 /* Set to 1 if symbols in this namespace should be 'construct entities',
1378 i.e. for BLOCK local variables. */
1379 unsigned construct_entities:1;
1383 extern gfc_namespace *gfc_current_ns;
1384 extern gfc_namespace *gfc_global_ns_list;
1386 /* Global symbols are symbols of global scope. Currently we only use
1387 this to detect collisions already when parsing.
1388 TODO: Extend to verify procedure calls. */
1390 enum gfc_symbol_type
1392 GSYM_UNKNOWN=1, GSYM_PROGRAM, GSYM_FUNCTION, GSYM_SUBROUTINE,
1393 GSYM_MODULE, GSYM_COMMON, GSYM_BLOCK_DATA
1396 typedef struct gfc_gsymbol
1398 BBT_HEADER(gfc_gsymbol);
1401 const char *sym_name;
1402 const char *mod_name;
1403 const char *binding_label;
1404 enum gfc_symbol_type type;
1412 extern gfc_gsymbol *gfc_gsym_root;
1414 /* Information on interfaces being built. */
1417 interface_type type;
1421 gfc_intrinsic_op op;
1425 extern gfc_interface_info current_interface;
1428 /* Array reference. */
1430 enum gfc_array_ref_dimen_type
1432 DIMEN_ELEMENT = 1, DIMEN_RANGE, DIMEN_VECTOR, DIMEN_UNKNOWN
1435 typedef struct gfc_array_ref
1438 int dimen; /* # of components in the reference */
1442 locus c_where[GFC_MAX_DIMENSIONS]; /* All expressions can be NULL */
1443 struct gfc_expr *start[GFC_MAX_DIMENSIONS], *end[GFC_MAX_DIMENSIONS],
1444 *stride[GFC_MAX_DIMENSIONS];
1446 enum gfc_array_ref_dimen_type dimen_type[GFC_MAX_DIMENSIONS];
1448 struct gfc_expr *offset;
1452 #define gfc_get_array_ref() XCNEW (gfc_array_ref)
1455 /* Component reference nodes. A variable is stored as an expression
1456 node that points to the base symbol. After that, a singly linked
1457 list of component reference nodes gives the variable's complete
1458 resolution. The array_ref component may be present and comes
1459 before the component component. */
1462 { REF_ARRAY, REF_COMPONENT, REF_SUBSTRING }
1465 typedef struct gfc_ref
1471 struct gfc_array_ref ar;
1475 gfc_component *component;
1482 struct gfc_expr *start, *end; /* Substring */
1483 gfc_charlen *length;
1490 struct gfc_ref *next;
1494 #define gfc_get_ref() XCNEW (gfc_ref)
1497 /* Structures representing intrinsic symbols and their arguments lists. */
1498 typedef struct gfc_intrinsic_arg
1500 char name[GFC_MAX_SYMBOL_LEN + 1];
1504 ENUM_BITFIELD (sym_intent) intent:2;
1505 gfc_actual_arglist *actual;
1507 struct gfc_intrinsic_arg *next;
1513 /* Specifies the various kinds of check functions used to verify the
1514 argument lists of intrinsic functions. fX with X an integer refer
1515 to check functions of intrinsics with X arguments. f1m is used for
1516 the MAX and MIN intrinsics which can have an arbitrary number of
1517 arguments, f3ml is used for the MINLOC and MAXLOC intrinsics as
1518 these have special semantics. */
1522 gfc_try (*f0)(void);
1523 gfc_try (*f1)(struct gfc_expr *);
1524 gfc_try (*f1m)(gfc_actual_arglist *);
1525 gfc_try (*f2)(struct gfc_expr *, struct gfc_expr *);
1526 gfc_try (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1527 gfc_try (*f3ml)(gfc_actual_arglist *);
1528 gfc_try (*f3red)(gfc_actual_arglist *);
1529 gfc_try (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1531 gfc_try (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1532 struct gfc_expr *, struct gfc_expr *);
1536 /* Like gfc_check_f, these specify the type of the simplification
1537 function associated with an intrinsic. The fX are just like in
1538 gfc_check_f. cc is used for type conversion functions. */
1542 struct gfc_expr *(*f0)(void);
1543 struct gfc_expr *(*f1)(struct gfc_expr *);
1544 struct gfc_expr *(*f2)(struct gfc_expr *, struct gfc_expr *);
1545 struct gfc_expr *(*f3)(struct gfc_expr *, struct gfc_expr *,
1547 struct gfc_expr *(*f4)(struct gfc_expr *, struct gfc_expr *,
1548 struct gfc_expr *, struct gfc_expr *);
1549 struct gfc_expr *(*f5)(struct gfc_expr *, struct gfc_expr *,
1550 struct gfc_expr *, struct gfc_expr *,
1552 struct gfc_expr *(*cc)(struct gfc_expr *, bt, int);
1556 /* Again like gfc_check_f, these specify the type of the resolution
1557 function associated with an intrinsic. The fX are just like in
1558 gfc_check_f. f1m is used for MIN and MAX, s1 is used for abort(). */
1562 void (*f0)(struct gfc_expr *);
1563 void (*f1)(struct gfc_expr *, struct gfc_expr *);
1564 void (*f1m)(struct gfc_expr *, struct gfc_actual_arglist *);
1565 void (*f2)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1566 void (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1568 void (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1569 struct gfc_expr *, struct gfc_expr *);
1570 void (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1571 struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1572 void (*s1)(struct gfc_code *);
1577 typedef struct gfc_intrinsic_sym
1579 const char *name, *lib_name;
1580 gfc_intrinsic_arg *formal;
1582 unsigned elemental:1, inquiry:1, transformational:1, pure:1,
1583 generic:1, specific:1, actual_ok:1, noreturn:1, conversion:1;
1587 gfc_simplify_f simplify;
1589 gfc_resolve_f resolve;
1590 struct gfc_intrinsic_sym *specific_head, *next;
1597 typedef struct gfc_class_esym_list
1599 gfc_symbol *derived;
1601 struct gfc_expr *vindex;
1602 struct gfc_class_esym_list *next;
1604 gfc_class_esym_list;
1606 #define gfc_get_class_esym_list() XCNEW (gfc_class_esym_list)
1608 /* Expression nodes. The expression node types deserve explanations,
1609 since the last couple can be easily misconstrued:
1611 EXPR_OP Operator node pointing to one or two other nodes
1612 EXPR_FUNCTION Function call, symbol points to function's name
1613 EXPR_CONSTANT A scalar constant: Logical, String, Real, Int or Complex
1614 EXPR_VARIABLE An Lvalue with a root symbol and possible reference list
1615 which expresses structure, array and substring refs.
1616 EXPR_NULL The NULL pointer value (which also has a basic type).
1617 EXPR_SUBSTRING A substring of a constant string
1618 EXPR_STRUCTURE A structure constructor
1619 EXPR_ARRAY An array constructor.
1620 EXPR_COMPCALL Function (or subroutine) call of a procedure pointer
1621 component or type-bound procedure. */
1627 # if MPC_VERSION >= MPC_VERSION_NUM(0,6,1)
1628 # define HAVE_mpc_pow
1630 # if MPC_VERSION >= MPC_VERSION_NUM(0,7,1)
1631 # define HAVE_mpc_arc
1632 # define HAVE_mpc_pow_z
1635 #define mpc_realref(X) ((X).r)
1636 #define mpc_imagref(X) ((X).i)
1638 #define GFC_RND_MODE GMP_RNDN
1639 #define GFC_MPC_RND_MODE MPC_RNDNN
1641 typedef struct gfc_expr
1645 gfc_typespec ts; /* These two refer to the overall expression */
1648 mpz_t *shape; /* Can be NULL if shape is unknown at compile time */
1650 /* Nonnull for functions and structure constructors, may also used to hold the
1651 base-object for component calls. */
1652 gfc_symtree *symtree;
1658 /* True if the expression is a call to a function that returns an array,
1659 and if we have decided not to allocate temporary data for that array.
1660 is_boz is true if the integer is regarded as BOZ bitpatten and is_snan
1661 denotes a signalling not-a-number. */
1662 unsigned int inline_noncopying_intrinsic : 1, is_boz : 1, is_snan : 1;
1664 /* Sometimes, when an error has been emitted, it is necessary to prevent
1665 it from recurring. */
1666 unsigned int error : 1;
1668 /* Mark and expression where a user operator has been substituted by
1669 a function call in interface.c(gfc_extend_expr). */
1670 unsigned int user_operator : 1;
1672 /* Used to quickly find a given constructor by its offset. */
1673 splay_tree con_by_offset;
1675 /* If an expression comes from a Hollerith constant or compile-time
1676 evaluation of a transfer statement, it may have a prescribed target-
1677 memory representation, and these cannot always be backformed from
1708 gfc_intrinsic_op op;
1710 struct gfc_expr *op1, *op2;
1716 gfc_actual_arglist *actual;
1717 const char *name; /* Points to the ultimate name of the function */
1718 gfc_intrinsic_sym *isym;
1720 gfc_class_esym_list *class_esym;
1726 gfc_actual_arglist* actual;
1728 /* Base-object, whose component was called. NULL means that it should
1729 be taken from symtree/ref. */
1730 struct gfc_expr* base_object;
1731 gfc_typebound_proc* tbp; /* Should overlap with esym. */
1733 /* For type-bound operators, we want to call PASS procedures but already
1734 have the full arglist; mark this, so that it is not extended by the
1736 unsigned ignore_pass:1;
1738 /* Do assign-calls rather than calls, that is appropriate dependency
1751 struct gfc_constructor *constructor;
1759 #define gfc_get_shape(rank) ((mpz_t *) gfc_getmem((rank)*sizeof(mpz_t)))
1761 /* Structures for information associated with different kinds of
1762 numbers. The first set of integer parameters define all there is
1763 to know about a particular kind. The rest of the elements are
1764 computed from the first elements. */
1768 /* Values really representable by the target. */
1769 mpz_t huge, pedantic_min_int, min_int;
1771 int kind, radix, digits, bit_size, range;
1773 /* True if the C type of the given name maps to this precision.
1774 Note that more than one bit can be set. */
1775 unsigned int c_char : 1;
1776 unsigned int c_short : 1;
1777 unsigned int c_int : 1;
1778 unsigned int c_long : 1;
1779 unsigned int c_long_long : 1;
1783 extern gfc_integer_info gfc_integer_kinds[];
1790 /* True if the C++ type bool, C99 type _Bool, maps to this precision. */
1791 unsigned int c_bool : 1;
1795 extern gfc_logical_info gfc_logical_kinds[];
1800 mpfr_t epsilon, huge, tiny, subnormal;
1801 int kind, radix, digits, min_exponent, max_exponent;
1802 int range, precision;
1804 /* The precision of the type as reported by GET_MODE_PRECISION. */
1807 /* True if the C type of the given name maps to this precision.
1808 Note that more than one bit can be set. */
1809 unsigned int c_float : 1;
1810 unsigned int c_double : 1;
1811 unsigned int c_long_double : 1;
1815 extern gfc_real_info gfc_real_kinds[];
1824 extern gfc_character_info gfc_character_kinds[];
1827 /* Equivalence structures. Equivalent lvalues are linked along the
1828 *eq pointer, equivalence sets are strung along the *next node. */
1829 typedef struct gfc_equiv
1831 struct gfc_equiv *next, *eq;
1838 #define gfc_get_equiv() XCNEW (gfc_equiv)
1840 /* Holds a single equivalence member after processing. */
1841 typedef struct gfc_equiv_info
1844 HOST_WIDE_INT offset;
1845 HOST_WIDE_INT length;
1846 struct gfc_equiv_info *next;
1849 /* Holds equivalence groups, after they have been processed. */
1850 typedef struct gfc_equiv_list
1852 gfc_equiv_info *equiv;
1853 struct gfc_equiv_list *next;
1856 /* gfc_case stores the selector list of a case statement. The *low
1857 and *high pointers can point to the same expression in the case of
1858 a single value. If *high is NULL, the selection is from *low
1859 upwards, if *low is NULL the selection is *high downwards.
1861 This structure has separate fields to allow single and double linked
1862 lists of CASEs at the same time. The singe linked list along the NEXT
1863 field is a list of cases for a single CASE label. The double linked
1864 list along the LEFT/RIGHT fields is used to detect overlap and to
1865 build a table of the cases for SELECT constructs with a CHARACTER
1868 typedef struct gfc_case
1870 /* Where we saw this case. */
1874 /* Case range values. If (low == high), it's a single value. If one of
1875 the labels is NULL, it's an unbounded case. If both are NULL, this
1876 represents the default case. */
1877 gfc_expr *low, *high;
1879 /* Only used for SELECT TYPE. */
1882 /* Next case label in the list of cases for a single CASE label. */
1883 struct gfc_case *next;
1885 /* Used for detecting overlap, and for code generation. */
1886 struct gfc_case *left, *right;
1888 /* True if this case label can never be matched. */
1893 #define gfc_get_case() XCNEW (gfc_case)
1898 gfc_expr *var, *start, *end, *step;
1902 #define gfc_get_iterator() XCNEW (gfc_iterator)
1905 /* Allocation structure for ALLOCATE, DEALLOCATE and NULLIFY statements. */
1907 typedef struct gfc_alloc
1910 struct gfc_alloc *next;
1914 #define gfc_get_alloc() XCNEW (gfc_alloc)
1919 gfc_expr *unit, *file, *status, *access, *form, *recl,
1920 *blank, *position, *action, *delim, *pad, *iostat, *iomsg, *convert,
1921 *decimal, *encoding, *round, *sign, *asynchronous, *id, *newunit;
1929 gfc_expr *unit, *status, *iostat, *iomsg;
1937 gfc_expr *unit, *iostat, *iomsg;
1945 gfc_expr *unit, *file, *iostat, *exist, *opened, *number, *named,
1946 *name, *access, *sequential, *direct, *form, *formatted,
1947 *unformatted, *recl, *nextrec, *blank, *position, *action, *read,
1948 *write, *readwrite, *delim, *pad, *iolength, *iomsg, *convert, *strm_pos,
1949 *asynchronous, *decimal, *encoding, *pending, *round, *sign, *size, *id;
1959 gfc_expr *unit, *iostat, *iomsg, *id;
1960 gfc_st_label *err, *end, *eor;
1967 gfc_expr *io_unit, *format_expr, *rec, *advance, *iostat, *size, *iomsg,
1968 *id, *pos, *asynchronous, *blank, *decimal, *delim, *pad, *round,
1969 *sign, *extra_comma;
1971 gfc_symbol *namelist;
1972 /* A format_label of `format_asterisk' indicates the "*" format */
1973 gfc_st_label *format_label;
1974 gfc_st_label *err, *end, *eor;
1976 locus eor_where, end_where, err_where;
1981 typedef struct gfc_forall_iterator
1983 gfc_expr *var, *start, *end, *stride;
1984 struct gfc_forall_iterator *next;
1986 gfc_forall_iterator;
1989 /* Executable statements that fill gfc_code structures. */
1992 EXEC_NOP = 1, EXEC_END_BLOCK, EXEC_ASSIGN, EXEC_LABEL_ASSIGN,
1993 EXEC_POINTER_ASSIGN,
1994 EXEC_GOTO, EXEC_CALL, EXEC_COMPCALL, EXEC_ASSIGN_CALL, EXEC_RETURN,
1995 EXEC_ENTRY, EXEC_PAUSE, EXEC_STOP, EXEC_CONTINUE, EXEC_INIT_ASSIGN,
1996 EXEC_IF, EXEC_ARITHMETIC_IF, EXEC_DO, EXEC_DO_WHILE, EXEC_SELECT, EXEC_BLOCK,
1997 EXEC_FORALL, EXEC_WHERE, EXEC_CYCLE, EXEC_EXIT, EXEC_CALL_PPC,
1998 EXEC_ALLOCATE, EXEC_DEALLOCATE, EXEC_END_PROCEDURE, EXEC_SELECT_TYPE,
1999 EXEC_OPEN, EXEC_CLOSE, EXEC_WAIT,
2000 EXEC_READ, EXEC_WRITE, EXEC_IOLENGTH, EXEC_TRANSFER, EXEC_DT_END,
2001 EXEC_BACKSPACE, EXEC_ENDFILE, EXEC_INQUIRE, EXEC_REWIND, EXEC_FLUSH,
2002 EXEC_OMP_CRITICAL, EXEC_OMP_DO, EXEC_OMP_FLUSH, EXEC_OMP_MASTER,
2003 EXEC_OMP_ORDERED, EXEC_OMP_PARALLEL, EXEC_OMP_PARALLEL_DO,
2004 EXEC_OMP_PARALLEL_SECTIONS, EXEC_OMP_PARALLEL_WORKSHARE,
2005 EXEC_OMP_SECTIONS, EXEC_OMP_SINGLE, EXEC_OMP_WORKSHARE,
2006 EXEC_OMP_ATOMIC, EXEC_OMP_BARRIER, EXEC_OMP_END_NOWAIT,
2007 EXEC_OMP_END_SINGLE, EXEC_OMP_TASK, EXEC_OMP_TASKWAIT
2011 typedef struct gfc_code
2015 struct gfc_code *block, *next;
2018 gfc_st_label *here, *label1, *label2, *label3;
2019 gfc_symtree *symtree;
2020 gfc_expr *expr1, *expr2, *expr3;
2021 /* A name isn't sufficient to identify a subroutine, we need the actual
2022 symbol for the interface definition.
2023 const char *sub_name; */
2024 gfc_symbol *resolved_sym;
2025 gfc_intrinsic_sym *resolved_isym;
2029 gfc_actual_arglist *actual;
2030 gfc_case *case_list;
2031 gfc_iterator *iterator;
2042 gfc_filepos *filepos;
2043 gfc_inquire *inquire;
2046 gfc_forall_iterator *forall_iterator;
2047 struct gfc_code *whichloop;
2049 gfc_entry_list *entry;
2050 gfc_omp_clauses *omp_clauses;
2051 const char *omp_name;
2052 gfc_namelist *omp_namelist;
2056 ext; /* Points to additional structures required by statement */
2058 /* Backend_decl is used for cycle and break labels in do loops, and
2059 probably for other constructs as well, once we translate them. */
2065 /* Storage for DATA statements. */
2066 typedef struct gfc_data_variable
2070 struct gfc_data_variable *list, *next;
2075 typedef struct gfc_data_value
2079 struct gfc_data_value *next;
2084 typedef struct gfc_data
2086 gfc_data_variable *var;
2087 gfc_data_value *value;
2090 struct gfc_data *next;
2095 /* Structure for holding compile options */
2099 gfc_source_form source_form;
2100 /* Maximum line lengths in fixed- and free-form source, respectively.
2101 When fixed_line_length or free_line_length are 0, the whole line is used,
2102 regardless of length.
2104 If the user requests a fixed_line_length <7 then gfc_init_options()
2105 emits a fatal error. */
2106 int fixed_line_length;
2107 int free_line_length;
2108 /* Maximum number of continuation lines in fixed- and free-form source,
2110 int max_continue_fixed;
2111 int max_continue_free;
2112 int max_identifier_length;
2113 int dump_parse_tree;
2117 int warn_conversion;
2118 int warn_implicit_interface;
2119 int warn_line_truncation;
2120 int warn_surprising;
2123 int warn_intrinsic_shadow;
2124 int warn_intrinsics_std;
2125 int warn_character_truncation;
2126 int warn_array_temp;
2127 int warn_align_commons;
2130 int flag_all_intrinsics;
2131 int flag_default_double;
2132 int flag_default_integer;
2133 int flag_default_real;
2135 int flag_underscoring;
2136 int flag_second_underscore;
2137 int flag_implicit_none;
2138 int flag_max_stack_var_size;
2139 int flag_max_array_constructor;
2140 int flag_range_check;
2141 int flag_pack_derived;
2142 int flag_repack_arrays;
2143 int flag_preprocessed;
2148 int flag_allow_leading_underscore;
2150 int flag_external_blas;
2151 int blas_matmul_limit;
2152 int flag_cray_pointer;
2156 int flag_module_private;
2158 int flag_init_local_zero;
2159 int flag_init_integer;
2160 int flag_init_integer_value;
2162 int flag_init_logical;
2163 int flag_init_character;
2164 char flag_init_character_value;
2165 int flag_align_commons;
2166 int flag_whole_file;
2175 int max_subrecord_length;
2179 extern gfc_option_t gfc_option;
2181 /* Constructor nodes for array and structure constructors. */
2182 typedef struct gfc_constructor
2185 gfc_iterator *iterator;
2187 struct gfc_constructor *next;
2190 mpz_t offset; /* Record the offset of array element which appears in
2191 data statement like "data a(5)/4/". */
2192 gfc_component *component; /* Record the component being initialized. */
2195 mpz_t repeat; /* Record the repeat number of initial values in data
2196 statement like "data a/5*10/". */
2201 typedef struct iterator_stack
2203 gfc_symtree *variable;
2205 struct iterator_stack *prev;
2208 extern iterator_stack *iter_stack;
2211 /* Used for (possibly nested) SELECT TYPE statements. */
2212 typedef struct gfc_select_type_stack
2214 gfc_symbol *selector; /* Current selector variable. */
2215 gfc_symtree *tmp; /* Current temporary variable. */
2216 struct gfc_select_type_stack *prev; /* Previous element on stack. */
2218 gfc_select_type_stack;
2219 extern gfc_select_type_stack *select_type_stack;
2220 #define gfc_get_select_type_stack() XCNEW (gfc_select_type_stack)
2223 /* Node in the linked list used for storing finalizer procedures. */
2225 typedef struct gfc_finalizer
2227 struct gfc_finalizer* next;
2228 locus where; /* Where the FINAL declaration occurred. */
2230 /* Up to resolution, we want the gfc_symbol, there we lookup the corresponding
2231 symtree and later need only that. This way, we can access and call the
2232 finalizers from every context as they should be "always accessible". I
2233 don't make this a union because we need the information whether proc_sym is
2234 still referenced or not for dereferencing it on deleting a gfc_finalizer
2236 gfc_symbol* proc_sym;
2237 gfc_symtree* proc_tree;
2240 #define gfc_get_finalizer() XCNEW (gfc_finalizer)
2243 /************************ Function prototypes *************************/
2246 bool gfc_in_match_data (void);
2247 match gfc_match_char_spec (gfc_typespec *);
2250 void gfc_scanner_done_1 (void);
2251 void gfc_scanner_init_1 (void);
2253 void gfc_add_include_path (const char *, bool, bool);
2254 void gfc_add_intrinsic_modules_path (const char *);
2255 void gfc_release_include_path (void);
2256 FILE *gfc_open_included_file (const char *, bool, bool);
2257 FILE *gfc_open_intrinsic_module (const char *);
2259 int gfc_at_end (void);
2260 int gfc_at_eof (void);
2261 int gfc_at_bol (void);
2262 int gfc_at_eol (void);
2263 void gfc_advance_line (void);
2264 int gfc_check_include (void);
2265 int gfc_define_undef_line (void);
2267 int gfc_wide_is_printable (gfc_char_t);
2268 int gfc_wide_is_digit (gfc_char_t);
2269 int gfc_wide_fits_in_byte (gfc_char_t);
2270 gfc_char_t gfc_wide_tolower (gfc_char_t);
2271 gfc_char_t gfc_wide_toupper (gfc_char_t);
2272 size_t gfc_wide_strlen (const gfc_char_t *);
2273 int gfc_wide_strncasecmp (const gfc_char_t *, const char *, size_t);
2274 gfc_char_t *gfc_wide_memset (gfc_char_t *, gfc_char_t, size_t);
2275 char *gfc_widechar_to_char (const gfc_char_t *, int);
2276 gfc_char_t *gfc_char_to_widechar (const char *);
2278 #define gfc_get_wide_string(n) XCNEWVEC (gfc_char_t, n)
2280 void gfc_skip_comments (void);
2281 gfc_char_t gfc_next_char_literal (int);
2282 gfc_char_t gfc_next_char (void);
2283 char gfc_next_ascii_char (void);
2284 gfc_char_t gfc_peek_char (void);
2285 char gfc_peek_ascii_char (void);
2286 void gfc_error_recovery (void);
2287 void gfc_gobble_whitespace (void);
2288 gfc_try gfc_new_file (void);
2289 const char * gfc_read_orig_filename (const char *, const char **);
2291 extern gfc_source_form gfc_current_form;
2292 extern const char *gfc_source_file;
2293 extern locus gfc_current_locus;
2295 void gfc_start_source_files (void);
2296 void gfc_end_source_files (void);
2299 void *gfc_getmem (size_t) ATTRIBUTE_MALLOC;
2300 void gfc_free (void *);
2301 int gfc_terminal_width (void);
2302 void gfc_clear_ts (gfc_typespec *);
2303 FILE *gfc_open_file (const char *);
2304 const char *gfc_basic_typename (bt);
2305 const char *gfc_typename (gfc_typespec *);
2306 const char *gfc_op2string (gfc_intrinsic_op);
2307 const char *gfc_code2string (const mstring *, int);
2308 int gfc_string2code (const mstring *, const char *);
2309 const char *gfc_intent_string (sym_intent);
2311 void gfc_init_1 (void);
2312 void gfc_init_2 (void);
2313 void gfc_done_1 (void);
2314 void gfc_done_2 (void);
2316 int get_c_kind (const char *, CInteropKind_t *);
2319 unsigned int gfc_init_options (unsigned int, const char **);
2320 int gfc_handle_option (size_t, const char *, int);
2321 bool gfc_post_options (const char **);
2324 void gfc_maybe_initialize_eh (void);
2327 const char * gfc_get_string (const char *, ...) ATTRIBUTE_PRINTF_1;
2328 bool gfc_find_sym_in_expr (gfc_symbol *, gfc_expr *);
2332 typedef struct gfc_error_buf
2335 size_t allocated, index;
2339 void gfc_error_init_1 (void);
2340 void gfc_buffer_error (int);
2342 const char *gfc_print_wide_char (gfc_char_t);
2344 void gfc_warning (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2345 void gfc_warning_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2346 void gfc_clear_warning (void);
2347 void gfc_warning_check (void);
2349 void gfc_error (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2350 void gfc_error_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2351 void gfc_fatal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2);
2352 void gfc_internal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2);
2353 void gfc_clear_error (void);
2354 int gfc_error_check (void);
2355 int gfc_error_flag_test (void);
2357 notification gfc_notification_std (int);
2358 gfc_try gfc_notify_std (int, const char *, ...) ATTRIBUTE_GCC_GFC(2,3);
2360 /* A general purpose syntax error. */
2361 #define gfc_syntax_error(ST) \
2362 gfc_error ("Syntax error in %s statement at %C", gfc_ascii_statement (ST));
2364 void gfc_push_error (gfc_error_buf *);
2365 void gfc_pop_error (gfc_error_buf *);
2366 void gfc_free_error (gfc_error_buf *);
2368 void gfc_get_errors (int *, int *);
2369 void gfc_errors_to_warnings (int);
2372 void gfc_arith_init_1 (void);
2373 void gfc_arith_done_1 (void);
2374 arith gfc_check_integer_range (mpz_t p, int kind);
2375 bool gfc_check_character_range (gfc_char_t, int);
2378 gfc_try gfc_check_any_c_kind (gfc_typespec *);
2379 int gfc_validate_kind (bt, int, bool);
2380 int gfc_get_int_kind_from_width_isofortranenv (int size);
2381 int gfc_get_real_kind_from_width_isofortranenv (int size);
2382 extern int gfc_index_integer_kind;
2383 extern int gfc_default_integer_kind;
2384 extern int gfc_max_integer_kind;
2385 extern int gfc_default_real_kind;
2386 extern int gfc_default_double_kind;
2387 extern int gfc_default_character_kind;
2388 extern int gfc_default_logical_kind;
2389 extern int gfc_default_complex_kind;
2390 extern int gfc_c_int_kind;
2391 extern int gfc_intio_kind;
2392 extern int gfc_charlen_int_kind;
2393 extern int gfc_numeric_storage_size;
2394 extern int gfc_character_storage_size;
2397 void gfc_clear_new_implicit (void);
2398 gfc_try gfc_add_new_implicit_range (int, int);
2399 gfc_try gfc_merge_new_implicit (gfc_typespec *);
2400 void gfc_set_implicit_none (void);
2401 void gfc_check_function_type (gfc_namespace *);
2402 bool gfc_is_intrinsic_typename (const char *);
2404 gfc_typespec *gfc_get_default_type (const char *, gfc_namespace *);
2405 gfc_try gfc_set_default_type (gfc_symbol *, int, gfc_namespace *);
2407 void gfc_set_sym_referenced (gfc_symbol *);
2409 gfc_try gfc_add_attribute (symbol_attribute *, locus *);
2410 gfc_try gfc_add_ext_attribute (symbol_attribute *, ext_attr_id_t, locus *);
2411 gfc_try gfc_add_allocatable (symbol_attribute *, locus *);
2412 gfc_try gfc_add_dimension (symbol_attribute *, const char *, locus *);
2413 gfc_try gfc_add_external (symbol_attribute *, locus *);
2414 gfc_try gfc_add_intrinsic (symbol_attribute *, locus *);
2415 gfc_try gfc_add_optional (symbol_attribute *, locus *);
2416 gfc_try gfc_add_pointer (symbol_attribute *, locus *);
2417 gfc_try gfc_add_cray_pointer (symbol_attribute *, locus *);
2418 gfc_try gfc_add_cray_pointee (symbol_attribute *, locus *);
2419 match gfc_mod_pointee_as (gfc_array_spec *);
2420 gfc_try gfc_add_protected (symbol_attribute *, const char *, locus *);
2421 gfc_try gfc_add_result (symbol_attribute *, const char *, locus *);
2422 gfc_try gfc_add_save (symbol_attribute *, const char *, locus *);
2423 gfc_try gfc_add_threadprivate (symbol_attribute *, const char *, locus *);
2424 gfc_try gfc_add_saved_common (symbol_attribute *, locus *);
2425 gfc_try gfc_add_target (symbol_attribute *, locus *);
2426 gfc_try gfc_add_dummy (symbol_attribute *, const char *, locus *);
2427 gfc_try gfc_add_generic (symbol_attribute *, const char *, locus *);
2428 gfc_try gfc_add_common (symbol_attribute *, locus *);
2429 gfc_try gfc_add_in_common (symbol_attribute *, const char *, locus *);
2430 gfc_try gfc_add_in_equivalence (symbol_attribute *, const char *, locus *);
2431 gfc_try gfc_add_data (symbol_attribute *, const char *, locus *);
2432 gfc_try gfc_add_in_namelist (symbol_attribute *, const char *, locus *);
2433 gfc_try gfc_add_sequence (symbol_attribute *, const char *, locus *);
2434 gfc_try gfc_add_elemental (symbol_attribute *, locus *);
2435 gfc_try gfc_add_pure (symbol_attribute *, locus *);
2436 gfc_try gfc_add_recursive (symbol_attribute *, locus *);
2437 gfc_try gfc_add_function (symbol_attribute *, const char *, locus *);
2438 gfc_try gfc_add_subroutine (symbol_attribute *, const char *, locus *);
2439 gfc_try gfc_add_volatile (symbol_attribute *, const char *, locus *);
2440 gfc_try gfc_add_proc (symbol_attribute *attr, const char *name, locus *where);
2441 gfc_try gfc_add_abstract (symbol_attribute* attr, locus* where);
2443 gfc_try gfc_add_access (symbol_attribute *, gfc_access, const char *, locus *);
2444 gfc_try gfc_add_is_bind_c (symbol_attribute *, const char *, locus *, int);
2445 gfc_try gfc_add_extension (symbol_attribute *, locus *);
2446 gfc_try gfc_add_value (symbol_attribute *, const char *, locus *);
2447 gfc_try gfc_add_flavor (symbol_attribute *, sym_flavor, const char *, locus *);
2448 gfc_try gfc_add_entry (symbol_attribute *, const char *, locus *);
2449 gfc_try gfc_add_procedure (symbol_attribute *, procedure_type,
2450 const char *, locus *);
2451 gfc_try gfc_add_intent (symbol_attribute *, sym_intent, locus *);
2452 gfc_try gfc_add_explicit_interface (gfc_symbol *, ifsrc,
2453 gfc_formal_arglist *, locus *);
2454 gfc_try gfc_add_type (gfc_symbol *, gfc_typespec *, locus *);
2456 void gfc_clear_attr (symbol_attribute *);
2457 gfc_try gfc_missing_attr (symbol_attribute *, locus *);
2458 gfc_try gfc_copy_attr (symbol_attribute *, symbol_attribute *, locus *);
2460 gfc_try gfc_add_component (gfc_symbol *, const char *, gfc_component **);
2461 gfc_symbol *gfc_use_derived (gfc_symbol *);
2462 gfc_symtree *gfc_use_derived_tree (gfc_symtree *);
2463 gfc_component *gfc_find_component (gfc_symbol *, const char *, bool, bool);
2465 gfc_st_label *gfc_get_st_label (int);
2466 void gfc_free_st_label (gfc_st_label *);
2467 void gfc_define_st_label (gfc_st_label *, gfc_sl_type, locus *);
2468 gfc_try gfc_reference_st_label (gfc_st_label *, gfc_sl_type);
2470 gfc_expr * gfc_lval_expr_from_sym (gfc_symbol *);
2472 gfc_namespace *gfc_get_namespace (gfc_namespace *, int);
2473 gfc_symtree *gfc_new_symtree (gfc_symtree **, const char *);
2474 gfc_symtree *gfc_find_symtree (gfc_symtree *, const char *);
2475 void gfc_delete_symtree (gfc_symtree **, const char *);
2476 gfc_symtree *gfc_get_unique_symtree (gfc_namespace *);
2477 gfc_user_op *gfc_get_uop (const char *);
2478 gfc_user_op *gfc_find_uop (const char *, gfc_namespace *);
2479 void gfc_free_symbol (gfc_symbol *);
2480 gfc_symbol *gfc_new_symbol (const char *, gfc_namespace *);
2481 int gfc_find_symbol (const char *, gfc_namespace *, int, gfc_symbol **);
2482 int gfc_find_sym_tree (const char *, gfc_namespace *, int, gfc_symtree **);
2483 int gfc_get_symbol (const char *, gfc_namespace *, gfc_symbol **);
2484 gfc_try verify_c_interop (gfc_typespec *);
2485 gfc_try verify_c_interop_param (gfc_symbol *);
2486 gfc_try verify_bind_c_sym (gfc_symbol *, gfc_typespec *, int, gfc_common_head *);
2487 gfc_try verify_bind_c_derived_type (gfc_symbol *);
2488 gfc_try verify_com_block_vars_c_interop (gfc_common_head *);
2489 void generate_isocbinding_symbol (const char *, iso_c_binding_symbol, const char *);
2490 gfc_symbol *get_iso_c_sym (gfc_symbol *, char *, char *, int);
2491 int gfc_get_sym_tree (const char *, gfc_namespace *, gfc_symtree **, bool);
2492 int gfc_get_ha_symbol (const char *, gfc_symbol **);
2493 int gfc_get_ha_sym_tree (const char *, gfc_symtree **);
2495 int gfc_symbols_could_alias (gfc_symbol *, gfc_symbol *);
2497 void gfc_undo_symbols (void);
2498 void gfc_commit_symbols (void);
2499 void gfc_commit_symbol (gfc_symbol *);
2500 gfc_charlen *gfc_new_charlen (gfc_namespace *, gfc_charlen *);
2501 void gfc_free_charlen (gfc_charlen *, gfc_charlen *);
2502 void gfc_free_namespace (gfc_namespace *);
2504 void gfc_symbol_init_2 (void);
2505 void gfc_symbol_done_2 (void);
2507 void gfc_traverse_symtree (gfc_symtree *, void (*)(gfc_symtree *));
2508 void gfc_traverse_ns (gfc_namespace *, void (*)(gfc_symbol *));
2509 void gfc_traverse_user_op (gfc_namespace *, void (*)(gfc_user_op *));
2510 void gfc_save_all (gfc_namespace *);
2512 void gfc_symbol_state (void);
2513 void gfc_free_dt_list (void);
2516 gfc_gsymbol *gfc_get_gsymbol (const char *);
2517 gfc_gsymbol *gfc_find_gsymbol (gfc_gsymbol *, const char *);
2519 gfc_typebound_proc* gfc_get_typebound_proc (void);
2520 gfc_symbol* gfc_get_derived_super_type (gfc_symbol*);
2521 gfc_symbol* gfc_get_ultimate_derived_super_type (gfc_symbol*);
2522 bool gfc_type_is_extension_of (gfc_symbol *, gfc_symbol *);
2523 bool gfc_type_compatible (gfc_typespec *, gfc_typespec *);
2524 gfc_symtree* gfc_find_typebound_proc (gfc_symbol*, gfc_try*,
2525 const char*, bool, locus*);
2526 gfc_symtree* gfc_find_typebound_user_op (gfc_symbol*, gfc_try*,
2527 const char*, bool, locus*);
2528 gfc_typebound_proc* gfc_find_typebound_intrinsic_op (gfc_symbol*, gfc_try*,
2529 gfc_intrinsic_op, bool,
2531 gfc_symtree* gfc_get_tbp_symtree (gfc_symtree**, const char*);
2533 void gfc_copy_formal_args (gfc_symbol *, gfc_symbol *);
2534 void gfc_copy_formal_args_intr (gfc_symbol *, gfc_intrinsic_sym *);
2535 void gfc_copy_formal_args_ppc (gfc_component *, gfc_symbol *);
2537 void gfc_free_finalizer (gfc_finalizer *el); /* Needed in resolve.c, too */
2539 gfc_try gfc_check_symbol_typed (gfc_symbol*, gfc_namespace*, bool, locus);
2542 extern int gfc_init_expr;
2544 /* Given a symbol that we have decided is intrinsic, mark it as such
2545 by placing it into a special module that is otherwise impossible to
2548 #define gfc_intrinsic_symbol(SYM) SYM->module = gfc_get_string ("(intrinsic)")
2550 void gfc_intrinsic_init_1 (void);
2551 void gfc_intrinsic_done_1 (void);
2553 char gfc_type_letter (bt);
2554 gfc_symbol * gfc_get_intrinsic_sub_symbol (const char *);
2555 gfc_try gfc_convert_type (gfc_expr *, gfc_typespec *, int);
2556 gfc_try gfc_convert_type_warn (gfc_expr *, gfc_typespec *, int, int);
2557 gfc_try gfc_convert_chartype (gfc_expr *, gfc_typespec *);
2558 int gfc_generic_intrinsic (const char *);
2559 int gfc_specific_intrinsic (const char *);
2560 bool gfc_is_intrinsic (gfc_symbol*, int, locus);
2561 int gfc_intrinsic_actual_ok (const char *, const bool);
2562 gfc_intrinsic_sym *gfc_find_function (const char *);
2563 gfc_intrinsic_sym *gfc_find_subroutine (const char *);
2565 match gfc_intrinsic_func_interface (gfc_expr *, int);
2566 match gfc_intrinsic_sub_interface (gfc_code *, int);
2568 void gfc_warn_intrinsic_shadow (const gfc_symbol*, bool, bool);
2569 gfc_try gfc_check_intrinsic_standard (const gfc_intrinsic_sym*, const char**,
2572 /* match.c -- FIXME */
2573 void gfc_free_iterator (gfc_iterator *, int);
2574 void gfc_free_forall_iterator (gfc_forall_iterator *);
2575 void gfc_free_alloc_list (gfc_alloc *);
2576 void gfc_free_namelist (gfc_namelist *);
2577 void gfc_free_equiv (gfc_equiv *);
2578 void gfc_free_data (gfc_data *);
2579 void gfc_free_case_list (gfc_case *);
2581 /* matchexp.c -- FIXME too? */
2582 gfc_expr *gfc_get_parentheses (gfc_expr *);
2585 void gfc_free_omp_clauses (gfc_omp_clauses *);
2586 void gfc_resolve_omp_directive (gfc_code *, gfc_namespace *);
2587 void gfc_resolve_do_iterator (gfc_code *, gfc_symbol *);
2588 void gfc_resolve_omp_parallel_blocks (gfc_code *, gfc_namespace *);
2589 void gfc_resolve_omp_do_blocks (gfc_code *, gfc_namespace *);
2592 void gfc_free_actual_arglist (gfc_actual_arglist *);
2593 gfc_actual_arglist *gfc_copy_actual_arglist (gfc_actual_arglist *);
2594 const char *gfc_extract_int (gfc_expr *, int *);
2595 bool is_subref_array (gfc_expr *);
2597 void gfc_add_component_ref (gfc_expr *, const char *);
2598 gfc_expr *gfc_build_conversion (gfc_expr *);
2599 void gfc_free_ref_list (gfc_ref *);
2600 void gfc_type_convert_binary (gfc_expr *);
2601 int gfc_is_constant_expr (gfc_expr *);
2602 gfc_try gfc_simplify_expr (gfc_expr *, int);
2603 int gfc_has_vector_index (gfc_expr *);
2605 gfc_expr *gfc_get_expr (void);
2606 void gfc_free_expr (gfc_expr *);
2607 void gfc_replace_expr (gfc_expr *, gfc_expr *);
2608 gfc_expr *gfc_int_expr (int);
2609 gfc_expr *gfc_logical_expr (int, locus *);
2610 mpz_t *gfc_copy_shape (mpz_t *, int);
2611 mpz_t *gfc_copy_shape_excluding (mpz_t *, int, gfc_expr *);
2612 gfc_expr *gfc_copy_expr (gfc_expr *);
2613 gfc_ref* gfc_copy_ref (gfc_ref*);
2615 gfc_try gfc_specification_expr (gfc_expr *);
2617 int gfc_numeric_ts (gfc_typespec *);
2618 int gfc_kind_max (gfc_expr *, gfc_expr *);
2620 gfc_try gfc_check_conformance (gfc_expr *, gfc_expr *, const char *, ...) ATTRIBUTE_PRINTF_3;
2621 gfc_try gfc_check_assign (gfc_expr *, gfc_expr *, int);
2622 gfc_try gfc_check_pointer_assign (gfc_expr *, gfc_expr *);
2623 gfc_try gfc_check_assign_symbol (gfc_symbol *, gfc_expr *);
2625 gfc_expr *gfc_default_initializer (gfc_typespec *);
2626 gfc_expr *gfc_get_variable_expr (gfc_symtree *);
2628 bool gfc_traverse_expr (gfc_expr *, gfc_symbol *,
2629 bool (*)(gfc_expr *, gfc_symbol *, int*),
2631 void gfc_expr_set_symbols_referenced (gfc_expr *);
2632 gfc_try gfc_expr_check_typed (gfc_expr*, gfc_namespace*, bool);
2633 void gfc_expr_replace_symbols (gfc_expr *, gfc_symbol *);
2634 void gfc_expr_replace_comp (gfc_expr *, gfc_component *);
2636 bool gfc_is_proc_ptr_comp (gfc_expr *, gfc_component **);
2639 extern gfc_code new_st;
2641 void gfc_clear_new_st (void);
2642 gfc_code *gfc_get_code (void);
2643 gfc_code *gfc_append_code (gfc_code *, gfc_code *);
2644 void gfc_free_statement (gfc_code *);
2645 void gfc_free_statements (gfc_code *);
2648 gfc_try gfc_resolve_expr (gfc_expr *);
2649 void gfc_resolve (gfc_namespace *);
2650 void gfc_resolve_blocks (gfc_code *, gfc_namespace *);
2651 int gfc_impure_variable (gfc_symbol *);
2652 int gfc_pure (gfc_symbol *);
2653 int gfc_elemental (gfc_symbol *);
2654 gfc_try gfc_resolve_iterator (gfc_iterator *, bool);
2655 gfc_try find_forall_index (gfc_expr *, gfc_symbol *, int);
2656 gfc_try gfc_resolve_index (gfc_expr *, int);
2657 gfc_try gfc_resolve_dim_arg (gfc_expr *);
2658 int gfc_is_formal_arg (void);
2659 void gfc_resolve_substring_charlen (gfc_expr *);
2660 match gfc_iso_c_sub_interface(gfc_code *, gfc_symbol *);
2661 gfc_expr *gfc_expr_to_initialize (gfc_expr *);
2662 bool gfc_type_is_extensible (gfc_symbol *sym);
2666 void gfc_free_array_spec (gfc_array_spec *);
2667 gfc_array_ref *gfc_copy_array_ref (gfc_array_ref *);
2669 gfc_try gfc_set_array_spec (gfc_symbol *, gfc_array_spec *, locus *);
2670 gfc_array_spec *gfc_copy_array_spec (gfc_array_spec *);
2671 gfc_try gfc_resolve_array_spec (gfc_array_spec *, int);
2673 int gfc_compare_array_spec (gfc_array_spec *, gfc_array_spec *);
2675 gfc_expr *gfc_start_constructor (bt, int, locus *);
2676 void gfc_append_constructor (gfc_expr *, gfc_expr *);
2677 void gfc_free_constructor (gfc_constructor *);
2678 void gfc_simplify_iterator_var (gfc_expr *);
2679 gfc_try gfc_expand_constructor (gfc_expr *);
2680 int gfc_constant_ac (gfc_expr *);
2681 int gfc_expanded_ac (gfc_expr *);
2682 gfc_try gfc_resolve_character_array_constructor (gfc_expr *);
2683 gfc_try gfc_resolve_array_constructor (gfc_expr *);
2684 gfc_try gfc_check_constructor_type (gfc_expr *);
2685 gfc_try gfc_check_iter_variable (gfc_expr *);
2686 gfc_try gfc_check_constructor (gfc_expr *, gfc_try (*)(gfc_expr *));
2687 gfc_constructor *gfc_copy_constructor (gfc_constructor *);
2688 gfc_expr *gfc_get_array_element (gfc_expr *, int);
2689 gfc_try gfc_array_size (gfc_expr *, mpz_t *);
2690 gfc_try gfc_array_dimen_size (gfc_expr *, int, mpz_t *);
2691 gfc_try gfc_array_ref_shape (gfc_array_ref *, mpz_t *);
2692 gfc_array_ref *gfc_find_array_ref (gfc_expr *);
2693 void gfc_insert_constructor (gfc_expr *, gfc_constructor *);
2694 gfc_constructor *gfc_get_constructor (void);
2695 tree gfc_conv_array_initializer (tree type, gfc_expr *);
2696 gfc_try spec_size (gfc_array_spec *, mpz_t *);
2697 gfc_try spec_dimen_size (gfc_array_spec *, int, mpz_t *);
2698 int gfc_is_compile_time_shape (gfc_array_spec *);
2700 gfc_try gfc_ref_dimen_size (gfc_array_ref *, int dimen, mpz_t *);
2703 /* interface.c -- FIXME: some of these should be in symbol.c */
2704 void gfc_free_interface (gfc_interface *);
2705 int gfc_compare_derived_types (gfc_symbol *, gfc_symbol *);
2706 int gfc_compare_types (gfc_typespec *, gfc_typespec *);
2707 int gfc_compare_interfaces (gfc_symbol*, gfc_symbol*, const char *, int, int,
2709 void gfc_check_interfaces (gfc_namespace *);
2710 void gfc_procedure_use (gfc_symbol *, gfc_actual_arglist **, locus *);
2711 void gfc_ppc_use (gfc_component *, gfc_actual_arglist **, locus *);
2712 gfc_symbol *gfc_search_interface (gfc_interface *, int,
2713 gfc_actual_arglist **);
2714 gfc_try gfc_extend_expr (gfc_expr *, bool *);
2715 void gfc_free_formal_arglist (gfc_formal_arglist *);
2716 gfc_try gfc_extend_assign (gfc_code *, gfc_namespace *);
2717 gfc_try gfc_add_interface (gfc_symbol *);
2718 gfc_interface *gfc_current_interface_head (void);
2719 void gfc_set_current_interface_head (gfc_interface *);
2720 gfc_symtree* gfc_find_sym_in_symtree (gfc_symbol*);
2721 bool gfc_arglist_matches_symbol (gfc_actual_arglist**, gfc_symbol*);
2722 bool gfc_check_operator_interface (gfc_symbol*, gfc_intrinsic_op, locus);
2725 extern gfc_st_label format_asterisk;
2727 void gfc_free_open (gfc_open *);
2728 gfc_try gfc_resolve_open (gfc_open *);
2729 void gfc_free_close (gfc_close *);
2730 gfc_try gfc_resolve_close (gfc_close *);
2731 void gfc_free_filepos (gfc_filepos *);
2732 gfc_try gfc_resolve_filepos (gfc_filepos *);
2733 void gfc_free_inquire (gfc_inquire *);
2734 gfc_try gfc_resolve_inquire (gfc_inquire *);
2735 void gfc_free_dt (gfc_dt *);
2736 gfc_try gfc_resolve_dt (gfc_dt *, locus *);
2737 void gfc_free_wait (gfc_wait *);
2738 gfc_try gfc_resolve_wait (gfc_wait *);
2741 void gfc_module_init_2 (void);
2742 void gfc_module_done_2 (void);
2743 void gfc_dump_module (const char *, int);
2744 bool gfc_check_access (gfc_access, gfc_access);
2745 void gfc_free_use_stmts (gfc_use_list *);
2748 symbol_attribute gfc_variable_attr (gfc_expr *, gfc_typespec *);
2749 symbol_attribute gfc_expr_attr (gfc_expr *);
2750 match gfc_match_rvalue (gfc_expr **);
2751 match gfc_match_varspec (gfc_expr*, int, bool, bool);
2752 int gfc_check_digit (char, int);
2755 void gfc_generate_code (gfc_namespace *);
2756 void gfc_generate_module_code (gfc_namespace *);
2759 typedef int (*compare_fn) (void *, void *);
2760 void gfc_insert_bbt (void *, void *, compare_fn);
2761 void gfc_delete_bbt (void *, void *, compare_fn);
2763 /* dump-parse-tree.c */
2764 void gfc_dump_parse_tree (gfc_namespace *, FILE *);
2767 gfc_try gfc_parse_file (void);
2768 void gfc_global_used (gfc_gsymbol *, locus *);
2771 int gfc_dep_compare_expr (gfc_expr *, gfc_expr *);
2772 int gfc_is_data_pointer (gfc_expr *);
2775 gfc_try gfc_check_same_strlen (const gfc_expr*, const gfc_expr*, const char*);
2777 #endif /* GCC_GFORTRAN_H */