1 /* gfortran header file
2 Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007
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 2, 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 COPYING. If not, write to the Free
20 Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
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. */
34 #include "coretypes.h"
36 #include "splay-tree.h"
37 /* The following ifdefs are recommended by the autoconf documentation
38 for any code using alloca. */
40 /* AIX requires this to be the first thing in the file. */
42 #else /* not __GNUC__ */
45 #else /* do not HAVE_ALLOCA_H */
49 #ifndef alloca /* predefined by HP cc +Olibcalls */
51 #endif /* not predefined */
53 #endif /* do not HAVE_ALLOCA_H */
54 #endif /* not __GNUC__ */
56 /* Major control parameters. */
58 #define GFC_MAX_SYMBOL_LEN 63 /* Must be at least 63 for F2003. */
59 #define GFC_MAX_DIMENSIONS 7 /* Maximum dimensions in an array. */
60 #define GFC_LETTERS 26 /* Number of letters in the alphabet. */
62 #define MAX_SUBRECORD_LENGTH 2147483639 /* 2**31-9 */
65 #define free(x) Use_gfc_free_instead_of_free()
66 #define gfc_is_whitespace(c) ((c==' ') || (c=='\t'))
69 #define NULL ((void *) 0)
73 #define stringize(x) expand_macro(x)
74 #define expand_macro(x) # x
76 /* For a the runtime library, a standard prefix is a requirement to
77 avoid cluttering the namespace with things nobody asked for. It's
78 ugly to look at and a pain to type when you add the prefix by hand,
79 so we hide it behind a macro. */
80 #define PREFIX(x) "_gfortran_" x
83 #define BLANK_COMMON_NAME "__BLNK__"
85 /* Macro to initialize an mstring structure. */
86 #define minit(s, t) { s, NULL, t }
88 /* Structure for storing strings to be matched by gfc_match_string. */
98 /* Flags to specify which standard/extension contains a feature. */
99 #define GFC_STD_LEGACY (1<<6) /* Backward compatibility. */
100 #define GFC_STD_GNU (1<<5) /* GNU Fortran extension. */
101 #define GFC_STD_F2003 (1<<4) /* New in F2003. */
102 /* Note that no additional features were deleted or made obsolescent
104 #define GFC_STD_F95 (1<<3) /* New in F95. */
105 #define GFC_STD_F95_DEL (1<<2) /* Deleted in F95. */
106 #define GFC_STD_F95_OBS (1<<1) /* Obsolescent in F95. */
107 #define GFC_STD_F77 (1<<0) /* Included in F77, but not
108 deleted or obsolescent in
111 /* Bitmasks for the various FPE that can be enabled. */
112 #define GFC_FPE_INVALID (1<<0)
113 #define GFC_FPE_DENORMAL (1<<1)
114 #define GFC_FPE_ZERO (1<<2)
115 #define GFC_FPE_OVERFLOW (1<<3)
116 #define GFC_FPE_UNDERFLOW (1<<4)
117 #define GFC_FPE_PRECISION (1<<5)
119 /* Keep this in sync with libgfortran/io/io.h ! */
122 { CONVERT_NATIVE=0, CONVERT_SWAP, CONVERT_BIG, CONVERT_LITTLE }
126 /*************************** Enums *****************************/
128 /* The author remains confused to this day about the convention of
129 returning '0' for 'SUCCESS'... or was it the other way around? The
130 following enum makes things much more readable. We also start
131 values off at one instead of zero. */
134 { SUCCESS = 1, FAILURE }
137 /* This is returned by gfc_notification_std to know if, given the flags
138 that were given (-std=, -pedantic) we should issue an error, a warning
142 { SILENT, WARNING, ERROR }
145 /* Matchers return one of these three values. The difference between
146 MATCH_NO and MATCH_ERROR is that MATCH_ERROR means that a match was
147 successful, but that something non-syntactic is wrong and an error
148 has already been issued. */
151 { MATCH_NO = 1, MATCH_YES, MATCH_ERROR }
155 { FORM_FREE, FORM_FIXED, FORM_UNKNOWN }
159 { BT_UNKNOWN = 1, BT_INTEGER, BT_REAL, BT_COMPLEX,
160 BT_LOGICAL, BT_CHARACTER, BT_DERIVED, BT_PROCEDURE, BT_HOLLERITH
164 /* Expression node types. */
166 { EXPR_OP = 1, EXPR_FUNCTION, EXPR_CONSTANT, EXPR_VARIABLE,
167 EXPR_SUBSTRING, EXPR_STRUCTURE, EXPR_ARRAY, EXPR_NULL
173 { AS_EXPLICIT = 1, AS_ASSUMED_SHAPE, AS_DEFERRED,
174 AS_ASSUMED_SIZE, AS_UNKNOWN
179 { AR_FULL = 1, AR_ELEMENT, AR_SECTION, AR_UNKNOWN }
182 /* Statement label types. */
184 { ST_LABEL_UNKNOWN = 1, ST_LABEL_TARGET,
185 ST_LABEL_BAD_TARGET, ST_LABEL_FORMAT
189 /* Intrinsic operators. */
191 { GFC_INTRINSIC_BEGIN = 0,
192 INTRINSIC_NONE = -1, INTRINSIC_UPLUS = GFC_INTRINSIC_BEGIN,
193 INTRINSIC_UMINUS, INTRINSIC_PLUS, INTRINSIC_MINUS, INTRINSIC_TIMES,
194 INTRINSIC_DIVIDE, INTRINSIC_POWER, INTRINSIC_CONCAT,
195 INTRINSIC_AND, INTRINSIC_OR, INTRINSIC_EQV, INTRINSIC_NEQV,
196 INTRINSIC_EQ, INTRINSIC_NE, INTRINSIC_GT, INTRINSIC_GE,
197 INTRINSIC_LT, INTRINSIC_LE, INTRINSIC_NOT, INTRINSIC_USER,
198 INTRINSIC_ASSIGN, INTRINSIC_PARENTHESES,
199 GFC_INTRINSIC_END /* Sentinel */
204 /* Strings for all intrinsic operators. */
205 extern mstring intrinsic_operators[];
208 /* This macro is the number of intrinsic operators that exist.
209 Assumptions are made about the numbering of the interface_op enums. */
210 #define GFC_INTRINSIC_OPS GFC_INTRINSIC_END
212 /* Arithmetic results. */
214 { ARITH_OK = 1, ARITH_OVERFLOW, ARITH_UNDERFLOW, ARITH_NAN,
215 ARITH_DIV0, ARITH_INCOMMENSURATE, ARITH_ASYMMETRIC
222 ST_ARITHMETIC_IF, ST_ALLOCATE, ST_ATTR_DECL, ST_BACKSPACE, ST_BLOCK_DATA,
223 ST_CALL, ST_CASE, ST_CLOSE, ST_COMMON, ST_CONTINUE, ST_CONTAINS, ST_CYCLE,
224 ST_DATA, ST_DATA_DECL, ST_DEALLOCATE, ST_DO, ST_ELSE, ST_ELSEIF,
225 ST_ELSEWHERE, ST_END_BLOCK_DATA, ST_ENDDO, ST_IMPLIED_ENDDO,
226 ST_END_FILE, ST_FLUSH, ST_END_FORALL, ST_END_FUNCTION, ST_ENDIF,
227 ST_END_INTERFACE, ST_END_MODULE, ST_END_PROGRAM, ST_END_SELECT,
228 ST_END_SUBROUTINE, ST_END_WHERE, ST_END_TYPE, ST_ENTRY, ST_EQUIVALENCE,
229 ST_EXIT, ST_FORALL, ST_FORALL_BLOCK, ST_FORMAT, ST_FUNCTION, ST_GOTO,
230 ST_IF_BLOCK, ST_IMPLICIT, ST_IMPLICIT_NONE, ST_IMPORT, ST_INQUIRE, ST_INTERFACE,
231 ST_PARAMETER, ST_MODULE, ST_MODULE_PROC, ST_NAMELIST, ST_NULLIFY, ST_OPEN,
232 ST_PAUSE, ST_PRIVATE, ST_PROGRAM, ST_PUBLIC, ST_READ, ST_RETURN, ST_REWIND,
233 ST_STOP, ST_SUBROUTINE, ST_TYPE, ST_USE, ST_WHERE_BLOCK, ST_WHERE, ST_WRITE,
234 ST_ASSIGNMENT, ST_POINTER_ASSIGNMENT, ST_SELECT_CASE, ST_SEQUENCE,
235 ST_SIMPLE_IF, ST_STATEMENT_FUNCTION, ST_DERIVED_DECL, ST_LABEL_ASSIGNMENT,
236 ST_ENUM, ST_ENUMERATOR, ST_END_ENUM,
237 ST_OMP_ATOMIC, ST_OMP_BARRIER, ST_OMP_CRITICAL, ST_OMP_END_CRITICAL,
238 ST_OMP_END_DO, ST_OMP_END_MASTER, ST_OMP_END_ORDERED, ST_OMP_END_PARALLEL,
239 ST_OMP_END_PARALLEL_DO, ST_OMP_END_PARALLEL_SECTIONS,
240 ST_OMP_END_PARALLEL_WORKSHARE, ST_OMP_END_SECTIONS, ST_OMP_END_SINGLE,
241 ST_OMP_END_WORKSHARE, ST_OMP_DO, ST_OMP_FLUSH, ST_OMP_MASTER, ST_OMP_ORDERED,
242 ST_OMP_PARALLEL, ST_OMP_PARALLEL_DO, ST_OMP_PARALLEL_SECTIONS,
243 ST_OMP_PARALLEL_WORKSHARE, ST_OMP_SECTIONS, ST_OMP_SECTION, ST_OMP_SINGLE,
244 ST_OMP_THREADPRIVATE, ST_OMP_WORKSHARE,
250 /* Types of interfaces that we can have. Assignment interfaces are
251 considered to be intrinsic operators. */
254 INTERFACE_NAMELESS = 1, INTERFACE_GENERIC,
255 INTERFACE_INTRINSIC_OP, INTERFACE_USER_OP
259 /* Symbol flavors: these are all mutually exclusive.
260 10 elements = 4 bits. */
261 typedef enum sym_flavor
263 FL_UNKNOWN = 0, FL_PROGRAM, FL_BLOCK_DATA, FL_MODULE, FL_VARIABLE,
264 FL_PARAMETER, FL_LABEL, FL_PROCEDURE, FL_DERIVED, FL_NAMELIST
268 /* Procedure types. 7 elements = 3 bits. */
269 typedef enum procedure_type
270 { PROC_UNKNOWN, PROC_MODULE, PROC_INTERNAL, PROC_DUMMY,
271 PROC_INTRINSIC, PROC_ST_FUNCTION, PROC_EXTERNAL
276 typedef enum sym_intent
277 { INTENT_UNKNOWN = 0, INTENT_IN, INTENT_OUT, INTENT_INOUT
282 typedef enum gfc_access
283 { ACCESS_UNKNOWN = 0, ACCESS_PUBLIC, ACCESS_PRIVATE
287 /* Flags to keep track of where an interface came from.
288 4 elements = 2 bits. */
290 { IFSRC_UNKNOWN = 0, IFSRC_DECL, IFSRC_IFBODY, IFSRC_USAGE
294 /* Strings for all symbol attributes. We use these for dumping the
295 parse tree, in error messages, and also when reading and writing
296 modules. In symbol.c. */
297 extern const mstring flavors[];
298 extern const mstring procedures[];
299 extern const mstring intents[];
300 extern const mstring access_types[];
301 extern const mstring ifsrc_types[];
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 (eg. KIND). */
340 GFC_ISYM_COMMAND_ARGUMENT_COUNT,
350 GFC_ISYM_DATE_AND_TIME,
354 GFC_ISYM_DOT_PRODUCT,
380 GFC_ISYM_GET_COMMAND,
381 GFC_ISYM_GET_COMMAND_ARGUMENT,
384 GFC_ISYM_GET_ENVIRONMENT_VARIABLE,
436 GFC_ISYM_MAXEXPONENT,
443 GFC_ISYM_MINEXPONENT,
463 GFC_ISYM_RANDOM_NUMBER,
464 GFC_ISYM_RANDOM_SEED,
476 GFC_ISYM_SET_EXPONENT,
496 GFC_ISYM_SYSTEM_CLOCK,
516 typedef enum gfc_isym_id gfc_isym_id;
518 /* Runtime errors. The EOR and EOF errors are required to be negative.
519 These codes must be kept synchronized with their equivalents in
520 libgfortran/libgfortran.h . */
524 IOERROR_FIRST = -3, /* Marker for the first error. */
527 IOERROR_OK = 0, /* Indicates success, must be zero. */
528 IOERROR_OS = 5000, /* Operating system error, more info in errno. */
529 IOERROR_OPTION_CONFLICT,
531 IOERROR_MISSING_OPTION,
532 IOERROR_ALREADY_OPEN,
539 IOERROR_READ_OVERFLOW,
541 IOERROR_INTERNAL_UNIT,
544 IOERROR_SHORT_RECORD,
545 IOERROR_CORRUPT_FILE,
546 IOERROR_LAST /* Not a real error, the last error # + 1. */
551 /************************* Structures *****************************/
553 /* Used for keeping things in balanced binary trees. */
554 #define BBT_HEADER(self) int priority; struct self *left, *right
556 /* Symbol attribute structure. */
559 /* Variable attributes. */
560 unsigned allocatable:1, dimension:1, external:1, intrinsic:1,
561 optional:1, pointer:1, save:1, target:1, value:1, volatile_:1,
562 dummy:1, result:1, assign:1, threadprivate:1, not_always_present:1,
565 unsigned data:1, /* Symbol is named in a DATA statement. */
566 protected:1, /* Symbol has been marked as protected. */
567 use_assoc:1, /* Symbol has been use-associated. */
568 use_only:1; /* Symbol has been use-associated, with ONLY. */
570 unsigned in_namelist:1, in_common:1, in_equivalence:1;
571 unsigned function:1, subroutine:1, generic:1, generic_copy:1;
572 unsigned implicit_type:1; /* Type defined via implicit rules. */
573 unsigned untyped:1; /* No implicit type could be found. */
575 /* Function/subroutine attributes */
576 unsigned sequence:1, elemental:1, pure:1, recursive:1;
577 unsigned unmaskable:1, masked:1, contained:1, mod_proc:1;
579 /* This is set if the subroutine doesn't return. Currently, this
580 is only possible for intrinsic subroutines. */
583 /* Set if this procedure is an alternate entry point. These procedures
584 don't have any code associated, and the backend will turn them into
585 thunks to the master function. */
588 /* Set if this is the master function for a procedure with multiple
590 unsigned entry_master:1;
592 /* Set if this is the master function for a function with multiple
593 entry points where characteristics of the entry points differ. */
594 unsigned mixed_entry_master:1;
596 /* Set if a function must always be referenced by an explicit interface. */
597 unsigned always_explicit:1;
599 /* Set if the symbol has been referenced in an expression. No further
600 modification of type or type parameters is permitted. */
601 unsigned referenced:1;
603 /* Set if the symbol has ambiguous interfaces. */
604 unsigned ambiguous_interfaces:1;
606 /* Set if the is the symbol for the main program. This is the least
607 cumbersome way to communicate this function property without
608 strcmp'ing with __MAIN everywhere. */
609 unsigned is_main_program:1;
611 /* Mutually exclusive multibit attributes. */
612 ENUM_BITFIELD (gfc_access) access:2;
613 ENUM_BITFIELD (sym_intent) intent:2;
614 ENUM_BITFIELD (sym_flavor) flavor:4;
615 ENUM_BITFIELD (ifsrc) if_source:2;
617 ENUM_BITFIELD (procedure_type) proc:3;
619 /* Special attributes for Cray pointers, pointees. */
620 unsigned cray_pointer:1, cray_pointee:1;
622 /* The symbol is a derived type with allocatable components, possibly
624 unsigned alloc_comp:1;
626 /* The namespace where the VOLATILE attribute has been set. */
627 struct gfc_namespace *volatile_ns;
632 /* The following three structures are used to identify a location in
635 gfc_file is used to maintain a tree of the source files and how
636 they include each other
638 gfc_linebuf holds a single line of source code and information
639 which file it resides in
641 locus point to the sourceline and the character in the source
645 typedef struct gfc_file
647 struct gfc_file *included_by, *next, *up;
648 int inclusion_line, line;
652 typedef struct gfc_linebuf
654 #ifdef USE_MAPPED_LOCATION
655 source_location location;
659 struct gfc_file *file;
660 struct gfc_linebuf *next;
667 #define gfc_linebuf_header_size (offsetof (gfc_linebuf, line))
675 /* In order for the "gfc" format checking to work correctly, you must
676 have declared a typedef locus first. */
677 #if GCC_VERSION >= 4001
678 #define ATTRIBUTE_GCC_GFC(m, n) __attribute__ ((__format__ (__gcc_gfc__, m, n))) ATTRIBUTE_NONNULL(m)
680 #define ATTRIBUTE_GCC_GFC(m, n) ATTRIBUTE_NONNULL(m)
684 extern int gfc_suppress_error;
687 /* Character length structures hold the expression that gives the
688 length of a character variable. We avoid putting these into
689 gfc_typespec because doing so prevents us from doing structure
690 copies and forces us to deallocate any typespecs we create, as well
691 as structures that contain typespecs. They also can have multiple
692 character typespecs pointing to them.
694 These structures form a singly linked list within the current
695 namespace and are deallocated with the namespace. It is possible to
696 end up with gfc_charlen structures that have nothing pointing to them. */
698 typedef struct gfc_charlen
700 struct gfc_expr *length;
701 struct gfc_charlen *next;
708 #define gfc_get_charlen() gfc_getmem(sizeof(gfc_charlen))
710 /* Type specification structure. FIXME: derived and cl could be union??? */
715 struct gfc_symbol *derived;
716 gfc_charlen *cl; /* For character types only. */
720 /* Array specification. */
723 int rank; /* A rank of zero means that a variable is a scalar. */
725 struct gfc_expr *lower[GFC_MAX_DIMENSIONS], *upper[GFC_MAX_DIMENSIONS];
727 /* These two fields are used with the Cray Pointer extension. */
728 bool cray_pointee; /* True iff this spec belongs to a cray pointee. */
729 bool cp_was_assumed; /* AS_ASSUMED_SIZE cp arrays are converted to
730 AS_EXPLICIT, but we want to remember that we
736 #define gfc_get_array_spec() gfc_getmem(sizeof(gfc_array_spec))
739 /* Components of derived types. */
740 typedef struct gfc_component
745 int pointer, allocatable, dimension;
751 struct gfc_expr *initializer;
752 struct gfc_component *next;
756 #define gfc_get_component() gfc_getmem(sizeof(gfc_component))
758 /* Formal argument lists are lists of symbols. */
759 typedef struct gfc_formal_arglist
761 /* Symbol representing the argument at this position in the arglist. */
762 struct gfc_symbol *sym;
763 /* Points to the next formal argument. */
764 struct gfc_formal_arglist *next;
768 #define gfc_get_formal_arglist() gfc_getmem(sizeof(gfc_formal_arglist))
771 /* The gfc_actual_arglist structure is for actual arguments. */
772 typedef struct gfc_actual_arglist
775 /* Alternate return label when the expr member is null. */
776 struct gfc_st_label *label;
778 /* This is set to the type of an eventual omitted optional
779 argument. This is used to determine if a hidden string length
780 argument has to be added to a function call. */
783 struct gfc_expr *expr;
784 struct gfc_actual_arglist *next;
788 #define gfc_get_actual_arglist() gfc_getmem(sizeof(gfc_actual_arglist))
791 /* Because a symbol can belong to multiple namelists, they must be
792 linked externally to the symbol itself. */
793 typedef struct gfc_namelist
795 struct gfc_symbol *sym;
796 struct gfc_namelist *next;
800 #define gfc_get_namelist() gfc_getmem(sizeof(gfc_namelist))
805 OMP_LIST_FIRSTPRIVATE,
806 OMP_LIST_LASTPRIVATE,
807 OMP_LIST_COPYPRIVATE,
811 OMP_LIST_REDUCTION_FIRST = OMP_LIST_PLUS,
823 OMP_LIST_REDUCTION_LAST = OMP_LIST_IEOR,
827 /* Because a symbol can belong to multiple namelists, they must be
828 linked externally to the symbol itself. */
829 typedef struct gfc_omp_clauses
831 struct gfc_expr *if_expr;
832 struct gfc_expr *num_threads;
833 gfc_namelist *lists[OMP_LIST_NUM];
842 struct gfc_expr *chunk_size;
850 bool nowait, ordered;
854 #define gfc_get_omp_clauses() gfc_getmem(sizeof(gfc_omp_clauses))
857 /* The gfc_st_label structure is a doubly linked list attached to a
858 namespace that records the usage of statement labels within that
860 /* TODO: Make format/statement specifics a union. */
861 typedef struct gfc_st_label
863 BBT_HEADER(gfc_st_label);
867 gfc_sl_type defined, referenced;
869 struct gfc_expr *format;
878 /* gfc_interface()-- Interfaces are lists of symbols strung together. */
879 typedef struct gfc_interface
881 struct gfc_symbol *sym;
883 struct gfc_interface *next;
887 #define gfc_get_interface() gfc_getmem(sizeof(gfc_interface))
890 /* User operator nodes. These are like stripped down symbols. */
895 gfc_interface *operator;
896 struct gfc_namespace *ns;
901 /* Symbol nodes. These are important things. They are what the
902 standard refers to as "entities". The possibly multiple names that
903 refer to the same entity are accomplished by a binary tree of
904 symtree structures that is balanced by the red-black method-- more
905 than one symtree node can point to any given symbol. */
907 typedef struct gfc_symbol
909 const char *name; /* Primary name, before renaming */
910 const char *module; /* Module this symbol came from */
914 symbol_attribute attr;
916 /* The interface member points to the formal argument list if the
917 symbol is a function or subroutine name. If the symbol is a
918 generic name, the generic member points to the list of
921 gfc_interface *generic;
922 gfc_access component_access;
924 gfc_formal_arglist *formal;
925 struct gfc_namespace *formal_ns;
927 struct gfc_expr *value; /* Parameter/Initializer value */
929 struct gfc_symbol *result; /* function result symbol */
930 gfc_component *components; /* Derived type components */
932 /* Defined only for Cray pointees; points to their pointer. */
933 struct gfc_symbol *cp_pointer;
935 struct gfc_symbol *common_next; /* Links for COMMON syms */
937 /* This is in fact a gfc_common_head but it is only used for pointer
938 comparisons to check if symbols are in the same common block. */
939 struct gfc_common_head* common_head;
941 /* Make sure setup code for dummy arguments is generated in the correct
947 gfc_namelist *namelist, *namelist_tail;
949 /* Change management fields. Symbols that might be modified by the
950 current statement have the mark member nonzero and are kept in a
951 singly linked list through the tlink field. Of these symbols,
952 symbols with old_symbol equal to NULL are symbols created within
953 the current statement. Otherwise, old_symbol points to a copy of
956 struct gfc_symbol *old_symbol, *tlink;
957 unsigned mark:1, new:1;
958 /* Nonzero if all equivalences associated with this symbol have been
960 unsigned equiv_built:1;
961 /* Set if this variable is used as an index name in a FORALL. */
962 unsigned forall_index:1;
964 struct gfc_namespace *ns; /* namespace containing this symbol */
971 /* This structure is used to keep track of symbols in common blocks. */
973 typedef struct gfc_common_head
976 char use_assoc, saved, threadprivate;
977 char name[GFC_MAX_SYMBOL_LEN + 1];
978 struct gfc_symbol *head;
982 #define gfc_get_common_head() gfc_getmem(sizeof(gfc_common_head))
985 /* A list of all the alternate entry points for a procedure. */
987 typedef struct gfc_entry_list
989 /* The symbol for this entry point. */
991 /* The zero-based id of this entry point. */
993 /* The LABEL_EXPR marking this entry point. */
995 /* The nest item in the list. */
996 struct gfc_entry_list *next;
1000 #define gfc_get_entry_list() \
1001 (gfc_entry_list *) gfc_getmem(sizeof(gfc_entry_list))
1003 /* Within a namespace, symbols are pointed to by symtree nodes that
1004 are linked together in a balanced binary tree. There can be
1005 several symtrees pointing to the same symbol node via USE
1008 typedef struct gfc_symtree
1010 BBT_HEADER (gfc_symtree);
1015 gfc_symbol *sym; /* Symbol associated with this node */
1017 gfc_common_head *common;
1024 /* A linked list of derived types in the namespace. */
1025 typedef struct gfc_dt_list
1027 struct gfc_symbol *derived;
1028 struct gfc_dt_list *next;
1032 #define gfc_get_dt_list() gfc_getmem(sizeof(gfc_dt_list))
1034 /* A list of all derived types. */
1035 extern gfc_dt_list *gfc_derived_types;
1037 /* A namespace describes the contents of procedure, module or
1039 /* ??? Anything else use these? */
1041 typedef struct gfc_namespace
1043 /* Tree containing all the symbols in this namespace. */
1044 gfc_symtree *sym_root;
1045 /* Tree containing all the user-defined operators in the namespace. */
1046 gfc_symtree *uop_root;
1047 /* Tree containing all the common blocks. */
1048 gfc_symtree *common_root;
1050 /* If set_flag[letter] is set, an implicit type has been set for letter. */
1051 int set_flag[GFC_LETTERS];
1052 /* Keeps track of the implicit types associated with the letters. */
1053 gfc_typespec default_type[GFC_LETTERS];
1055 /* If this is a namespace of a procedure, this points to the procedure. */
1056 struct gfc_symbol *proc_name;
1057 /* If this is the namespace of a unit which contains executable
1058 code, this points to it. */
1059 struct gfc_code *code;
1061 /* Points to the equivalences set up in this namespace. */
1062 struct gfc_equiv *equiv;
1064 /* Points to the equivalence groups produced by trans_common. */
1065 struct gfc_equiv_list *equiv_lists;
1067 gfc_interface *operator[GFC_INTRINSIC_OPS];
1069 /* Points to the parent namespace, i.e. the namespace of a module or
1070 procedure in which the procedure belonging to this namespace is
1071 contained. The parent namespace points to this namespace either
1072 directly via CONTAINED, or indirectly via the chain built by
1074 struct gfc_namespace *parent;
1075 /* CONTAINED points to the first contained namespace. Sibling
1076 namespaces are chained via SIBLING. */
1077 struct gfc_namespace *contained, *sibling;
1079 gfc_common_head blank_common;
1080 gfc_access default_access, operator_access[GFC_INTRINSIC_OPS];
1082 gfc_st_label *st_labels;
1083 /* This list holds information about all the data initializers in
1085 struct gfc_data *data;
1087 gfc_charlen *cl_list;
1089 int save_all, seen_save, seen_implicit_none;
1091 /* Normally we don't need to refcount namespaces. However when we read
1092 a module containing a function with multiple entry points, this
1093 will appear as several functions with the same formal namespace. */
1096 /* A list of all alternate entry points to this procedure (or NULL). */
1097 gfc_entry_list *entries;
1099 /* Set to 1 if namespace is a BLOCK DATA program unit. */
1102 /* Set to 1 if namespace is an interface body with "IMPORT" used. */
1107 extern gfc_namespace *gfc_current_ns;
1109 /* Global symbols are symbols of global scope. Currently we only use
1110 this to detect collisions already when parsing.
1111 TODO: Extend to verify procedure calls. */
1113 typedef struct gfc_gsymbol
1115 BBT_HEADER(gfc_gsymbol);
1118 enum { GSYM_UNKNOWN=1, GSYM_PROGRAM, GSYM_FUNCTION, GSYM_SUBROUTINE,
1119 GSYM_MODULE, GSYM_COMMON, GSYM_BLOCK_DATA } type;
1126 extern gfc_gsymbol *gfc_gsym_root;
1128 /* Information on interfaces being built. */
1131 interface_type type;
1135 gfc_intrinsic_op op;
1139 extern gfc_interface_info current_interface;
1142 /* Array reference. */
1143 typedef struct gfc_array_ref
1146 int dimen; /* # of components in the reference */
1150 locus c_where[GFC_MAX_DIMENSIONS]; /* All expressions can be NULL */
1151 struct gfc_expr *start[GFC_MAX_DIMENSIONS], *end[GFC_MAX_DIMENSIONS],
1152 *stride[GFC_MAX_DIMENSIONS];
1155 { DIMEN_ELEMENT = 1, DIMEN_RANGE, DIMEN_VECTOR, DIMEN_UNKNOWN }
1156 dimen_type[GFC_MAX_DIMENSIONS];
1158 struct gfc_expr *offset;
1162 #define gfc_get_array_ref() gfc_getmem(sizeof(gfc_array_ref))
1165 /* Component reference nodes. A variable is stored as an expression
1166 node that points to the base symbol. After that, a singly linked
1167 list of component reference nodes gives the variable's complete
1168 resolution. The array_ref component may be present and comes
1169 before the component component. */
1172 { REF_ARRAY, REF_COMPONENT, REF_SUBSTRING }
1175 typedef struct gfc_ref
1181 struct gfc_array_ref ar;
1185 gfc_component *component;
1192 struct gfc_expr *start, *end; /* Substring */
1193 gfc_charlen *length;
1200 struct gfc_ref *next;
1204 #define gfc_get_ref() gfc_getmem(sizeof(gfc_ref))
1207 /* Structures representing intrinsic symbols and their arguments lists. */
1208 typedef struct gfc_intrinsic_arg
1210 char name[GFC_MAX_SYMBOL_LEN + 1];
1214 gfc_actual_arglist *actual;
1216 struct gfc_intrinsic_arg *next;
1222 /* Specifies the various kinds of check functions used to verify the
1223 argument lists of intrinsic functions. fX with X an integer refer
1224 to check functions of intrinsics with X arguments. f1m is used for
1225 the MAX and MIN intrinsics which can have an arbitrary number of
1226 arguments, f3ml is used for the MINLOC and MAXLOC intrinsics as
1227 these have special semantics. */
1232 try (*f1)(struct gfc_expr *);
1233 try (*f1m)(gfc_actual_arglist *);
1234 try (*f2)(struct gfc_expr *, struct gfc_expr *);
1235 try (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1236 try (*f3ml)(gfc_actual_arglist *);
1237 try (*f3red)(gfc_actual_arglist *);
1238 try (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1240 try (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1241 struct gfc_expr *, struct gfc_expr *);
1245 /* Like gfc_check_f, these specify the type of the simplification
1246 function associated with an intrinsic. The fX are just like in
1247 gfc_check_f. cc is used for type conversion functions. */
1251 struct gfc_expr *(*f0)(void);
1252 struct gfc_expr *(*f1)(struct gfc_expr *);
1253 struct gfc_expr *(*f2)(struct gfc_expr *, struct gfc_expr *);
1254 struct gfc_expr *(*f3)(struct gfc_expr *, struct gfc_expr *,
1256 struct gfc_expr *(*f4)(struct gfc_expr *, struct gfc_expr *,
1257 struct gfc_expr *, struct gfc_expr *);
1258 struct gfc_expr *(*f5)(struct gfc_expr *, struct gfc_expr *,
1259 struct gfc_expr *, struct gfc_expr *,
1261 struct gfc_expr *(*cc)(struct gfc_expr *, bt, int);
1265 /* Again like gfc_check_f, these specify the type of the resolution
1266 function associated with an intrinsic. The fX are just like in
1267 gfc_check_f. f1m is used for MIN and MAX, s1 is used for abort(). */
1271 void (*f0)(struct gfc_expr *);
1272 void (*f1)(struct gfc_expr *, struct gfc_expr *);
1273 void (*f1m)(struct gfc_expr *, struct gfc_actual_arglist *);
1274 void (*f2)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1275 void (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1277 void (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1278 struct gfc_expr *, struct gfc_expr *);
1279 void (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1280 struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1281 void (*s1)(struct gfc_code *);
1286 typedef struct gfc_intrinsic_sym
1288 const char *name, *lib_name;
1289 gfc_intrinsic_arg *formal;
1291 int elemental, pure, generic, specific, actual_ok, standard, noreturn;
1293 gfc_simplify_f simplify;
1295 gfc_resolve_f resolve;
1296 struct gfc_intrinsic_sym *specific_head, *next;
1303 /* Expression nodes. The expression node types deserve explanations,
1304 since the last couple can be easily misconstrued:
1306 EXPR_OP Operator node pointing to one or two other nodes
1307 EXPR_FUNCTION Function call, symbol points to function's name
1308 EXPR_CONSTANT A scalar constant: Logical, String, Real, Int or Complex
1309 EXPR_VARIABLE An Lvalue with a root symbol and possible reference list
1310 which expresses structure, array and substring refs.
1311 EXPR_NULL The NULL pointer value (which also has a basic type).
1312 EXPR_SUBSTRING A substring of a constant string
1313 EXPR_STRUCTURE A structure constructor
1314 EXPR_ARRAY An array constructor. */
1318 #define GFC_RND_MODE GMP_RNDN
1320 typedef struct gfc_expr
1324 gfc_typespec ts; /* These two refer to the overall expression */
1327 mpz_t *shape; /* Can be NULL if shape is unknown at compile time */
1329 /* Nonnull for functions and structure constructors */
1330 gfc_symtree *symtree;
1336 /* True if the expression is a call to a function that returns an array,
1337 and if we have decided not to allocate temporary data for that array. */
1338 unsigned int inline_noncopying_intrinsic : 1;
1340 /* Used to quickly find a given constructor by its offset. */
1341 splay_tree con_by_offset;
1343 /* If an expression comes from a Hollerith constant or compile-time
1344 evaluation of a transfer statement, it may have a prescribed target-
1345 memory representation, and these cannot always be backformed from
1370 gfc_intrinsic_op operator;
1372 struct gfc_expr *op1, *op2;
1378 gfc_actual_arglist *actual;
1379 const char *name; /* Points to the ultimate name of the function */
1380 gfc_intrinsic_sym *isym;
1392 struct gfc_constructor *constructor;
1400 #define gfc_get_shape(rank) ((mpz_t *) gfc_getmem((rank)*sizeof(mpz_t)))
1402 /* Structures for information associated with different kinds of
1403 numbers. The first set of integer parameters define all there is
1404 to know about a particular kind. The rest of the elements are
1405 computed from the first elements. */
1409 /* Values really representable by the target. */
1410 mpz_t huge, pedantic_min_int, min_int;
1412 int kind, radix, digits, bit_size, range;
1414 /* True if the C type of the given name maps to this precision.
1415 Note that more than one bit can be set. */
1416 unsigned int c_char : 1;
1417 unsigned int c_short : 1;
1418 unsigned int c_int : 1;
1419 unsigned int c_long : 1;
1420 unsigned int c_long_long : 1;
1424 extern gfc_integer_info gfc_integer_kinds[];
1431 /* True if the C++ type bool, C99 type _Bool, maps to this precision. */
1432 unsigned int c_bool : 1;
1436 extern gfc_logical_info gfc_logical_kinds[];
1441 mpfr_t epsilon, huge, tiny, subnormal;
1442 int kind, radix, digits, min_exponent, max_exponent;
1443 int range, precision;
1445 /* The precision of the type as reported by GET_MODE_PRECISION. */
1448 /* True if the C type of the given name maps to this precision.
1449 Note that more than one bit can be set. */
1450 unsigned int c_float : 1;
1451 unsigned int c_double : 1;
1452 unsigned int c_long_double : 1;
1456 extern gfc_real_info gfc_real_kinds[];
1459 /* Equivalence structures. Equivalent lvalues are linked along the
1460 *eq pointer, equivalence sets are strung along the *next node. */
1461 typedef struct gfc_equiv
1463 struct gfc_equiv *next, *eq;
1470 #define gfc_get_equiv() gfc_getmem(sizeof(gfc_equiv))
1472 /* Holds a single equivalence member after processing. */
1473 typedef struct gfc_equiv_info
1476 HOST_WIDE_INT offset;
1477 HOST_WIDE_INT length;
1478 struct gfc_equiv_info *next;
1481 /* Holds equivalence groups, after they have been processed. */
1482 typedef struct gfc_equiv_list
1484 gfc_equiv_info *equiv;
1485 struct gfc_equiv_list *next;
1488 /* gfc_case stores the selector list of a case statement. The *low
1489 and *high pointers can point to the same expression in the case of
1490 a single value. If *high is NULL, the selection is from *low
1491 upwards, if *low is NULL the selection is *high downwards.
1493 This structure has separate fields to allow single and double linked
1494 lists of CASEs at the same time. The singe linked list along the NEXT
1495 field is a list of cases for a single CASE label. The double linked
1496 list along the LEFT/RIGHT fields is used to detect overlap and to
1497 build a table of the cases for SELECT constructs with a CHARACTER
1500 typedef struct gfc_case
1502 /* Where we saw this case. */
1506 /* Case range values. If (low == high), it's a single value. If one of
1507 the labels is NULL, it's an unbounded case. If both are NULL, this
1508 represents the default case. */
1509 gfc_expr *low, *high;
1511 /* Next case label in the list of cases for a single CASE label. */
1512 struct gfc_case *next;
1514 /* Used for detecting overlap, and for code generation. */
1515 struct gfc_case *left, *right;
1517 /* True if this case label can never be matched. */
1522 #define gfc_get_case() gfc_getmem(sizeof(gfc_case))
1527 gfc_expr *var, *start, *end, *step;
1531 #define gfc_get_iterator() gfc_getmem(sizeof(gfc_iterator))
1534 /* Allocation structure for ALLOCATE, DEALLOCATE and NULLIFY statements. */
1536 typedef struct gfc_alloc
1539 struct gfc_alloc *next;
1543 #define gfc_get_alloc() gfc_getmem(sizeof(gfc_alloc))
1548 gfc_expr *unit, *file, *status, *access, *form, *recl,
1549 *blank, *position, *action, *delim, *pad, *iostat, *iomsg, *convert;
1557 gfc_expr *unit, *status, *iostat, *iomsg;
1565 gfc_expr *unit, *iostat, *iomsg;
1573 gfc_expr *unit, *file, *iostat, *exist, *opened, *number, *named,
1574 *name, *access, *sequential, *direct, *form, *formatted,
1575 *unformatted, *recl, *nextrec, *blank, *position, *action, *read,
1576 *write, *readwrite, *delim, *pad, *iolength, *iomsg, *convert, *strm_pos;
1586 gfc_expr *io_unit, *format_expr, *rec, *advance, *iostat, *size, *iomsg;
1588 gfc_symbol *namelist;
1589 /* A format_label of `format_asterisk' indicates the "*" format */
1590 gfc_st_label *format_label;
1591 gfc_st_label *err, *end, *eor;
1593 locus eor_where, end_where, err_where;
1598 typedef struct gfc_forall_iterator
1600 gfc_expr *var, *start, *end, *stride;
1601 struct gfc_forall_iterator *next;
1603 gfc_forall_iterator;
1606 /* Executable statements that fill gfc_code structures. */
1609 EXEC_NOP = 1, EXEC_ASSIGN, EXEC_LABEL_ASSIGN, EXEC_POINTER_ASSIGN,
1610 EXEC_GOTO, EXEC_CALL, EXEC_ASSIGN_CALL, EXEC_RETURN, EXEC_ENTRY,
1611 EXEC_PAUSE, EXEC_STOP, EXEC_CONTINUE, EXEC_INIT_ASSIGN,
1612 EXEC_IF, EXEC_ARITHMETIC_IF, EXEC_DO, EXEC_DO_WHILE, EXEC_SELECT,
1613 EXEC_FORALL, EXEC_WHERE, EXEC_CYCLE, EXEC_EXIT,
1614 EXEC_ALLOCATE, EXEC_DEALLOCATE,
1615 EXEC_OPEN, EXEC_CLOSE,
1616 EXEC_READ, EXEC_WRITE, EXEC_IOLENGTH, EXEC_TRANSFER, EXEC_DT_END,
1617 EXEC_BACKSPACE, EXEC_ENDFILE, EXEC_INQUIRE, EXEC_REWIND, EXEC_FLUSH,
1618 EXEC_OMP_CRITICAL, EXEC_OMP_DO, EXEC_OMP_FLUSH, EXEC_OMP_MASTER,
1619 EXEC_OMP_ORDERED, EXEC_OMP_PARALLEL, EXEC_OMP_PARALLEL_DO,
1620 EXEC_OMP_PARALLEL_SECTIONS, EXEC_OMP_PARALLEL_WORKSHARE,
1621 EXEC_OMP_SECTIONS, EXEC_OMP_SINGLE, EXEC_OMP_WORKSHARE,
1622 EXEC_OMP_ATOMIC, EXEC_OMP_BARRIER, EXEC_OMP_END_NOWAIT,
1627 typedef struct gfc_code
1631 struct gfc_code *block, *next;
1634 gfc_st_label *here, *label, *label2, *label3;
1635 gfc_symtree *symtree;
1636 gfc_expr *expr, *expr2;
1637 /* A name isn't sufficient to identify a subroutine, we need the actual
1638 symbol for the interface definition.
1639 const char *sub_name; */
1640 gfc_symbol *resolved_sym;
1644 gfc_actual_arglist *actual;
1645 gfc_case *case_list;
1646 gfc_iterator *iterator;
1647 gfc_alloc *alloc_list;
1650 gfc_filepos *filepos;
1651 gfc_inquire *inquire;
1653 gfc_forall_iterator *forall_iterator;
1654 struct gfc_code *whichloop;
1656 gfc_entry_list *entry;
1657 gfc_omp_clauses *omp_clauses;
1658 const char *omp_name;
1659 gfc_namelist *omp_namelist;
1662 ext; /* Points to additional structures required by statement */
1664 /* Backend_decl is used for cycle and break labels in do loops, and
1665 probably for other constructs as well, once we translate them. */
1671 /* Storage for DATA statements. */
1672 typedef struct gfc_data_variable
1676 struct gfc_data_variable *list, *next;
1681 typedef struct gfc_data_value
1683 unsigned int repeat;
1685 struct gfc_data_value *next;
1690 typedef struct gfc_data
1692 gfc_data_variable *var;
1693 gfc_data_value *value;
1696 struct gfc_data *next;
1700 #define gfc_get_data_variable() gfc_getmem(sizeof(gfc_data_variable))
1701 #define gfc_get_data_value() gfc_getmem(sizeof(gfc_data_value))
1702 #define gfc_get_data() gfc_getmem(sizeof(gfc_data))
1705 /* Structure for holding compile options */
1709 gfc_source_form source_form;
1710 /* Maximum line lengths in fixed- and free-form source, respectively.
1711 When fixed_line_length or free_line_length are 0, the whole line is used,
1712 regardless of length.
1714 If the user requests a fixed_line_length <7 then gfc_init_options()
1715 emits a fatal error. */
1716 int fixed_line_length;
1717 int free_line_length;
1718 /* Maximum number of continuation lines in fixed- and free-form source,
1720 int max_continue_fixed;
1721 int max_continue_free;
1722 int max_identifier_length;
1727 int warn_conversion;
1728 int warn_implicit_interface;
1729 int warn_line_truncation;
1730 int warn_surprising;
1733 int warn_character_truncation;
1736 int flag_all_intrinsics;
1737 int flag_default_double;
1738 int flag_default_integer;
1739 int flag_default_real;
1741 int flag_underscoring;
1742 int flag_second_underscore;
1743 int flag_implicit_none;
1744 int flag_max_stack_var_size;
1745 int flag_range_check;
1746 int flag_pack_derived;
1747 int flag_repack_arrays;
1748 int flag_preprocessed;
1753 int flag_allow_leading_underscore;
1755 int flag_external_blas;
1756 int blas_matmul_limit;
1757 int flag_cray_pointer;
1765 int warn_nonstd_intrinsics;
1769 int max_subrecord_length;
1773 extern gfc_option_t gfc_option;
1775 /* Constructor nodes for array and structure constructors. */
1776 typedef struct gfc_constructor
1779 gfc_iterator *iterator;
1781 struct gfc_constructor *next;
1784 mpz_t offset; /* Record the offset of array element which appears in
1785 data statement like "data a(5)/4/". */
1786 gfc_component *component; /* Record the component being initialized. */
1789 mpz_t repeat; /* Record the repeat number of initial values in data
1790 statement like "data a/5*10/". */
1795 typedef struct iterator_stack
1797 gfc_symtree *variable;
1799 struct iterator_stack *prev;
1802 extern iterator_stack *iter_stack;
1804 /************************ Function prototypes *************************/
1807 void gfc_formalize_init_value (gfc_symbol *);
1808 void gfc_get_section_index (gfc_array_ref *, mpz_t *, mpz_t *);
1809 void gfc_assign_data_value (gfc_expr *, gfc_expr *, mpz_t);
1810 void gfc_assign_data_value_range (gfc_expr *, gfc_expr *, mpz_t, mpz_t);
1811 void gfc_advance_section (mpz_t *, gfc_array_ref *, mpz_t *);
1814 bool gfc_in_match_data (void);
1815 void gfc_set_in_match_data (bool);
1818 void gfc_scanner_done_1 (void);
1819 void gfc_scanner_init_1 (void);
1821 void gfc_add_include_path (const char *, bool);
1822 void gfc_add_intrinsic_modules_path (const char *);
1823 void gfc_release_include_path (void);
1824 FILE *gfc_open_included_file (const char *, bool, bool);
1825 FILE *gfc_open_intrinsic_module (const char *);
1827 int gfc_at_end (void);
1828 int gfc_at_eof (void);
1829 int gfc_at_bol (void);
1830 int gfc_at_eol (void);
1831 void gfc_advance_line (void);
1832 int gfc_check_include (void);
1834 void gfc_skip_comments (void);
1835 int gfc_next_char_literal (int);
1836 int gfc_next_char (void);
1837 int gfc_peek_char (void);
1838 void gfc_error_recovery (void);
1839 void gfc_gobble_whitespace (void);
1840 try gfc_new_file (void);
1841 const char * gfc_read_orig_filename (const char *, const char **);
1843 extern gfc_source_form gfc_current_form;
1844 extern const char *gfc_source_file;
1845 extern locus gfc_current_locus;
1848 void *gfc_getmem (size_t) ATTRIBUTE_MALLOC;
1849 void gfc_free (void *);
1850 int gfc_terminal_width (void);
1851 void gfc_clear_ts (gfc_typespec *);
1852 FILE *gfc_open_file (const char *);
1853 const char *gfc_basic_typename (bt);
1854 const char *gfc_typename (gfc_typespec *);
1856 #define gfc_op2string(OP) (OP == INTRINSIC_ASSIGN ? \
1857 "=" : gfc_code2string (intrinsic_operators, OP))
1859 const char *gfc_code2string (const mstring *, int);
1860 int gfc_string2code (const mstring *, const char *);
1861 const char *gfc_intent_string (sym_intent);
1863 void gfc_init_1 (void);
1864 void gfc_init_2 (void);
1865 void gfc_done_1 (void);
1866 void gfc_done_2 (void);
1869 unsigned int gfc_init_options (unsigned int, const char **);
1870 int gfc_handle_option (size_t, const char *, int);
1871 bool gfc_post_options (const char **);
1874 const char * gfc_get_string (const char *, ...) ATTRIBUTE_PRINTF_1;
1878 typedef struct gfc_error_buf
1881 size_t allocated, index;
1885 void gfc_error_init_1 (void);
1886 void gfc_buffer_error (int);
1888 void gfc_warning (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
1889 void gfc_warning_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
1890 void gfc_clear_warning (void);
1891 void gfc_warning_check (void);
1893 void gfc_error (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
1894 void gfc_error_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
1895 void gfc_fatal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2);
1896 void gfc_internal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2);
1897 void gfc_clear_error (void);
1898 int gfc_error_check (void);
1899 int gfc_error_flag_test (void);
1901 notification gfc_notification_std (int);
1902 try gfc_notify_std (int, const char *, ...) ATTRIBUTE_GCC_GFC(2,3);
1904 /* A general purpose syntax error. */
1905 #define gfc_syntax_error(ST) \
1906 gfc_error ("Syntax error in %s statement at %C", gfc_ascii_statement (ST));
1908 void gfc_push_error (gfc_error_buf *);
1909 void gfc_pop_error (gfc_error_buf *);
1910 void gfc_free_error (gfc_error_buf *);
1912 void gfc_status (const char *, ...) ATTRIBUTE_PRINTF_1;
1913 void gfc_status_char (char);
1915 void gfc_get_errors (int *, int *);
1918 void gfc_arith_init_1 (void);
1919 void gfc_arith_done_1 (void);
1920 gfc_expr *gfc_enum_initializer (gfc_expr *, locus);
1921 arith gfc_check_integer_range (mpz_t p, int kind);
1924 int gfc_validate_kind (bt, int, bool);
1925 extern int gfc_index_integer_kind;
1926 extern int gfc_default_integer_kind;
1927 extern int gfc_max_integer_kind;
1928 extern int gfc_default_real_kind;
1929 extern int gfc_default_double_kind;
1930 extern int gfc_default_character_kind;
1931 extern int gfc_default_logical_kind;
1932 extern int gfc_default_complex_kind;
1933 extern int gfc_c_int_kind;
1934 extern int gfc_intio_kind;
1935 extern int gfc_charlen_int_kind;
1936 extern int gfc_numeric_storage_size;
1937 extern int gfc_character_storage_size;
1940 void gfc_clear_new_implicit (void);
1941 try gfc_add_new_implicit_range (int, int);
1942 try gfc_merge_new_implicit (gfc_typespec *);
1943 void gfc_set_implicit_none (void);
1944 void gfc_check_function_type (gfc_namespace *);
1946 gfc_typespec *gfc_get_default_type (gfc_symbol *, gfc_namespace *);
1947 try gfc_set_default_type (gfc_symbol *, int, gfc_namespace *);
1949 void gfc_set_component_attr (gfc_component *, symbol_attribute *);
1950 void gfc_get_component_attr (symbol_attribute *, gfc_component *);
1952 void gfc_set_sym_referenced (gfc_symbol *);
1954 try gfc_add_attribute (symbol_attribute *, locus *);
1955 try gfc_add_allocatable (symbol_attribute *, locus *);
1956 try gfc_add_dimension (symbol_attribute *, const char *, locus *);
1957 try gfc_add_external (symbol_attribute *, locus *);
1958 try gfc_add_intrinsic (symbol_attribute *, locus *);
1959 try gfc_add_optional (symbol_attribute *, locus *);
1960 try gfc_add_pointer (symbol_attribute *, locus *);
1961 try gfc_add_cray_pointer (symbol_attribute *, locus *);
1962 try gfc_add_cray_pointee (symbol_attribute *, locus *);
1963 try gfc_mod_pointee_as (gfc_array_spec *);
1964 try gfc_add_protected (symbol_attribute *, const char *, locus *);
1965 try gfc_add_result (symbol_attribute *, const char *, locus *);
1966 try gfc_add_save (symbol_attribute *, const char *, locus *);
1967 try gfc_add_threadprivate (symbol_attribute *, const char *, locus *);
1968 try gfc_add_saved_common (symbol_attribute *, locus *);
1969 try gfc_add_target (symbol_attribute *, locus *);
1970 try gfc_add_dummy (symbol_attribute *, const char *, locus *);
1971 try gfc_add_generic (symbol_attribute *, const char *, locus *);
1972 try gfc_add_common (symbol_attribute *, locus *);
1973 try gfc_add_in_common (symbol_attribute *, const char *, locus *);
1974 try gfc_add_in_equivalence (symbol_attribute *, const char *, locus *);
1975 try gfc_add_data (symbol_attribute *, const char *, locus *);
1976 try gfc_add_in_namelist (symbol_attribute *, const char *, locus *);
1977 try gfc_add_sequence (symbol_attribute *, const char *, locus *);
1978 try gfc_add_elemental (symbol_attribute *, locus *);
1979 try gfc_add_pure (symbol_attribute *, locus *);
1980 try gfc_add_recursive (symbol_attribute *, locus *);
1981 try gfc_add_function (symbol_attribute *, const char *, locus *);
1982 try gfc_add_subroutine (symbol_attribute *, const char *, locus *);
1983 try gfc_add_value (symbol_attribute *, const char *, locus *);
1984 try gfc_add_volatile (symbol_attribute *, const char *, locus *);
1986 try gfc_add_access (symbol_attribute *, gfc_access, const char *, locus *);
1987 try gfc_add_flavor (symbol_attribute *, sym_flavor, const char *, locus *);
1988 try gfc_add_entry (symbol_attribute *, const char *, locus *);
1989 try gfc_add_procedure (symbol_attribute *, procedure_type,
1990 const char *, locus *);
1991 try gfc_add_intent (symbol_attribute *, sym_intent, locus *);
1992 try gfc_add_explicit_interface (gfc_symbol *, ifsrc,
1993 gfc_formal_arglist *, locus *);
1994 try gfc_add_type (gfc_symbol *, gfc_typespec *, locus *);
1996 void gfc_clear_attr (symbol_attribute *);
1997 try gfc_missing_attr (symbol_attribute *, locus *);
1998 try gfc_copy_attr (symbol_attribute *, symbol_attribute *, locus *);
2000 try gfc_add_component (gfc_symbol *, const char *, gfc_component **);
2001 gfc_symbol *gfc_use_derived (gfc_symbol *);
2002 gfc_symtree *gfc_use_derived_tree (gfc_symtree *);
2003 gfc_component *gfc_find_component (gfc_symbol *, const char *);
2005 gfc_st_label *gfc_get_st_label (int);
2006 void gfc_free_st_label (gfc_st_label *);
2007 void gfc_define_st_label (gfc_st_label *, gfc_sl_type, locus *);
2008 try gfc_reference_st_label (gfc_st_label *, gfc_sl_type);
2010 gfc_namespace *gfc_get_namespace (gfc_namespace *, int);
2011 gfc_symtree *gfc_new_symtree (gfc_symtree **, const char *);
2012 gfc_symtree *gfc_find_symtree (gfc_symtree *, const char *);
2013 gfc_user_op *gfc_get_uop (const char *);
2014 gfc_user_op *gfc_find_uop (const char *, gfc_namespace *);
2015 void gfc_free_symbol (gfc_symbol *);
2016 gfc_symbol *gfc_new_symbol (const char *, gfc_namespace *);
2017 int gfc_find_symbol (const char *, gfc_namespace *, int, gfc_symbol **);
2018 int gfc_find_sym_tree (const char *, gfc_namespace *, int, gfc_symtree **);
2019 int gfc_get_symbol (const char *, gfc_namespace *, gfc_symbol **);
2020 int gfc_get_sym_tree (const char *, gfc_namespace *, gfc_symtree **);
2021 int gfc_get_ha_symbol (const char *, gfc_symbol **);
2022 int gfc_get_ha_sym_tree (const char *, gfc_symtree **);
2024 int gfc_symbols_could_alias (gfc_symbol *, gfc_symbol *);
2026 void gfc_undo_symbols (void);
2027 void gfc_commit_symbols (void);
2028 void gfc_commit_symbol (gfc_symbol *);
2029 void gfc_free_namespace (gfc_namespace *);
2031 void gfc_symbol_init_2 (void);
2032 void gfc_symbol_done_2 (void);
2034 void gfc_traverse_symtree (gfc_symtree *, void (*)(gfc_symtree *));
2035 void gfc_traverse_ns (gfc_namespace *, void (*)(gfc_symbol *));
2036 void gfc_traverse_user_op (gfc_namespace *, void (*)(gfc_user_op *));
2037 void gfc_save_all (gfc_namespace *);
2039 void gfc_symbol_state (void);
2041 gfc_gsymbol *gfc_get_gsymbol (const char *);
2042 gfc_gsymbol *gfc_find_gsymbol (gfc_gsymbol *, const char *);
2045 extern int gfc_init_expr;
2047 /* Given a symbol that we have decided is intrinsic, mark it as such
2048 by placing it into a special module that is otherwise impossible to
2051 #define gfc_intrinsic_symbol(SYM) SYM->module = gfc_get_string ("(intrinsic)")
2053 void gfc_intrinsic_init_1 (void);
2054 void gfc_intrinsic_done_1 (void);
2056 char gfc_type_letter (bt);
2057 gfc_symbol * gfc_get_intrinsic_sub_symbol (const char *);
2058 try gfc_convert_type (gfc_expr *, gfc_typespec *, int);
2059 try gfc_convert_type_warn (gfc_expr *, gfc_typespec *, int, int);
2060 int gfc_generic_intrinsic (const char *);
2061 int gfc_specific_intrinsic (const char *);
2062 int gfc_intrinsic_name (const char *, int);
2063 int gfc_intrinsic_actual_ok (const char *, const bool);
2064 gfc_intrinsic_sym *gfc_find_function (const char *);
2065 gfc_intrinsic_sym *gfc_find_subroutine (const char *);
2067 match gfc_intrinsic_func_interface (gfc_expr *, int);
2068 match gfc_intrinsic_sub_interface (gfc_code *, int);
2070 /* match.c -- FIXME */
2071 void gfc_free_iterator (gfc_iterator *, int);
2072 void gfc_free_forall_iterator (gfc_forall_iterator *);
2073 void gfc_free_alloc_list (gfc_alloc *);
2074 void gfc_free_namelist (gfc_namelist *);
2075 void gfc_free_equiv (gfc_equiv *);
2076 void gfc_free_data (gfc_data *);
2077 void gfc_free_case_list (gfc_case *);
2079 /* matchexp.c -- FIXME too? */
2080 gfc_expr *gfc_get_parentheses (gfc_expr *);
2083 void gfc_free_omp_clauses (gfc_omp_clauses *);
2084 void gfc_resolve_omp_directive (gfc_code *, gfc_namespace *);
2085 void gfc_resolve_do_iterator (gfc_code *, gfc_symbol *);
2086 void gfc_resolve_omp_parallel_blocks (gfc_code *, gfc_namespace *);
2087 void gfc_resolve_omp_do_blocks (gfc_code *, gfc_namespace *);
2090 void gfc_free_actual_arglist (gfc_actual_arglist *);
2091 gfc_actual_arglist *gfc_copy_actual_arglist (gfc_actual_arglist *);
2092 const char *gfc_extract_int (gfc_expr *, int *);
2093 gfc_expr *gfc_expr_to_initialize (gfc_expr *);
2095 gfc_expr *gfc_build_conversion (gfc_expr *);
2096 void gfc_free_ref_list (gfc_ref *);
2097 void gfc_type_convert_binary (gfc_expr *);
2098 int gfc_is_constant_expr (gfc_expr *);
2099 try gfc_simplify_expr (gfc_expr *, int);
2100 int gfc_has_vector_index (gfc_expr *);
2102 gfc_expr *gfc_get_expr (void);
2103 void gfc_free_expr (gfc_expr *);
2104 void gfc_replace_expr (gfc_expr *, gfc_expr *);
2105 gfc_expr *gfc_int_expr (int);
2106 gfc_expr *gfc_logical_expr (int, locus *);
2107 mpz_t *gfc_copy_shape (mpz_t *, int);
2108 mpz_t *gfc_copy_shape_excluding (mpz_t *, int, gfc_expr *);
2109 gfc_expr *gfc_copy_expr (gfc_expr *);
2111 try gfc_specification_expr (gfc_expr *);
2113 int gfc_numeric_ts (gfc_typespec *);
2114 int gfc_kind_max (gfc_expr *, gfc_expr *);
2116 try gfc_check_conformance (const char *, gfc_expr *, gfc_expr *);
2117 try gfc_check_assign (gfc_expr *, gfc_expr *, int);
2118 try gfc_check_pointer_assign (gfc_expr *, gfc_expr *);
2119 try gfc_check_assign_symbol (gfc_symbol *, gfc_expr *);
2121 gfc_expr *gfc_default_initializer (gfc_typespec *);
2122 gfc_expr *gfc_get_variable_expr (gfc_symtree *);
2124 void gfc_expr_set_symbols_referenced (gfc_expr *);
2127 extern gfc_code new_st;
2129 void gfc_clear_new_st (void);
2130 gfc_code *gfc_get_code (void);
2131 gfc_code *gfc_append_code (gfc_code *, gfc_code *);
2132 void gfc_free_statement (gfc_code *);
2133 void gfc_free_statements (gfc_code *);
2136 try gfc_resolve_expr (gfc_expr *);
2137 void gfc_resolve (gfc_namespace *);
2138 void gfc_resolve_blocks (gfc_code *, gfc_namespace *);
2139 int gfc_impure_variable (gfc_symbol *);
2140 int gfc_pure (gfc_symbol *);
2141 int gfc_elemental (gfc_symbol *);
2142 try gfc_resolve_iterator (gfc_iterator *, bool);
2143 try gfc_resolve_index (gfc_expr *, int);
2144 try gfc_resolve_dim_arg (gfc_expr *);
2145 int gfc_is_formal_arg (void);
2148 void gfc_free_array_spec (gfc_array_spec *);
2149 gfc_array_ref *gfc_copy_array_ref (gfc_array_ref *);
2151 try gfc_set_array_spec (gfc_symbol *, gfc_array_spec *, locus *);
2152 gfc_array_spec *gfc_copy_array_spec (gfc_array_spec *);
2153 try gfc_resolve_array_spec (gfc_array_spec *, int);
2155 int gfc_compare_array_spec (gfc_array_spec *, gfc_array_spec *);
2157 gfc_expr *gfc_start_constructor (bt, int, locus *);
2158 void gfc_append_constructor (gfc_expr *, gfc_expr *);
2159 void gfc_free_constructor (gfc_constructor *);
2160 void gfc_simplify_iterator_var (gfc_expr *);
2161 try gfc_expand_constructor (gfc_expr *);
2162 int gfc_constant_ac (gfc_expr *);
2163 int gfc_expanded_ac (gfc_expr *);
2164 void gfc_resolve_character_array_constructor (gfc_expr *);
2165 try gfc_resolve_array_constructor (gfc_expr *);
2166 try gfc_check_constructor_type (gfc_expr *);
2167 try gfc_check_iter_variable (gfc_expr *);
2168 try gfc_check_constructor (gfc_expr *, try (*)(gfc_expr *));
2169 gfc_constructor *gfc_copy_constructor (gfc_constructor *);
2170 gfc_expr *gfc_get_array_element (gfc_expr *, int);
2171 try gfc_array_size (gfc_expr *, mpz_t *);
2172 try gfc_array_dimen_size (gfc_expr *, int, mpz_t *);
2173 try gfc_array_ref_shape (gfc_array_ref *, mpz_t *);
2174 gfc_array_ref *gfc_find_array_ref (gfc_expr *);
2175 void gfc_insert_constructor (gfc_expr *, gfc_constructor *);
2176 gfc_constructor *gfc_get_constructor (void);
2177 tree gfc_conv_array_initializer (tree type, gfc_expr *);
2178 try spec_size (gfc_array_spec *, mpz_t *);
2179 try spec_dimen_size (gfc_array_spec *, int, mpz_t *);
2180 int gfc_is_compile_time_shape (gfc_array_spec *);
2182 /* interface.c -- FIXME: some of these should be in symbol.c */
2183 void gfc_free_interface (gfc_interface *);
2184 int gfc_compare_derived_types (gfc_symbol *, gfc_symbol *);
2185 int gfc_compare_types (gfc_typespec *, gfc_typespec *);
2186 void gfc_check_interfaces (gfc_namespace *);
2187 void gfc_procedure_use (gfc_symbol *, gfc_actual_arglist **, locus *);
2188 gfc_symbol *gfc_search_interface (gfc_interface *, int,
2189 gfc_actual_arglist **);
2190 try gfc_extend_expr (gfc_expr *);
2191 void gfc_free_formal_arglist (gfc_formal_arglist *);
2192 try gfc_extend_assign (gfc_code *, gfc_namespace *);
2193 try gfc_add_interface (gfc_symbol *);
2196 extern gfc_st_label format_asterisk;
2198 void gfc_free_open (gfc_open *);
2199 try gfc_resolve_open (gfc_open *);
2200 void gfc_free_close (gfc_close *);
2201 try gfc_resolve_close (gfc_close *);
2202 void gfc_free_filepos (gfc_filepos *);
2203 try gfc_resolve_filepos (gfc_filepos *);
2204 void gfc_free_inquire (gfc_inquire *);
2205 try gfc_resolve_inquire (gfc_inquire *);
2206 void gfc_free_dt (gfc_dt *);
2207 try gfc_resolve_dt (gfc_dt *);
2210 void gfc_module_init_2 (void);
2211 void gfc_module_done_2 (void);
2212 void gfc_dump_module (const char *, int);
2213 bool gfc_check_access (gfc_access, gfc_access);
2216 symbol_attribute gfc_variable_attr (gfc_expr *, gfc_typespec *);
2217 symbol_attribute gfc_expr_attr (gfc_expr *);
2218 match gfc_match_rvalue (gfc_expr **);
2221 void gfc_generate_code (gfc_namespace *);
2222 void gfc_generate_module_code (gfc_namespace *);
2225 typedef int (*compare_fn) (void *, void *);
2226 void gfc_insert_bbt (void *, void *, compare_fn);
2227 void gfc_delete_bbt (void *, void *, compare_fn);
2229 /* dump-parse-tree.c */
2230 void gfc_show_actual_arglist (gfc_actual_arglist *);
2231 void gfc_show_array_ref (gfc_array_ref *);
2232 void gfc_show_array_spec (gfc_array_spec *);
2233 void gfc_show_attr (symbol_attribute *);
2234 void gfc_show_code (int, gfc_code *);
2235 void gfc_show_components (gfc_symbol *);
2236 void gfc_show_constructor (gfc_constructor *);
2237 void gfc_show_equiv (gfc_equiv *);
2238 void gfc_show_expr (gfc_expr *);
2239 void gfc_show_namelist (gfc_namelist *);
2240 void gfc_show_namespace (gfc_namespace *);
2241 void gfc_show_ref (gfc_ref *);
2242 void gfc_show_symbol (gfc_symbol *);
2243 void gfc_show_typespec (gfc_typespec *);
2246 try gfc_parse_file (void);
2247 void global_used (gfc_gsymbol *, locus *);
2250 int gfc_dep_compare_expr (gfc_expr *, gfc_expr *);
2252 #endif /* GCC_GFORTRAN_H */