]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/fortran/gfortran.h
arith.c, [...]: Fix comment formatting.
[thirdparty/gcc.git] / gcc / fortran / gfortran.h
CommitLineData
6de9cd9a 1/* gfortran header file
9fc4d79b
TS
2 Copyright (C) 2000, 2001, 2002, 2003, 2004 Free Software Foundation,
3 Inc.
6de9cd9a
DN
4 Contributed by Andy Vaught
5
9fc4d79b 6This file is part of GCC.
6de9cd9a 7
9fc4d79b
TS
8GCC is free software; you can redistribute it and/or modify it under
9the terms of the GNU General Public License as published by the Free
10Software Foundation; either version 2, or (at your option) any later
11version.
6de9cd9a 12
9fc4d79b
TS
13GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14WARRANTY; without even the implied warranty of MERCHANTABILITY or
15FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16for more details.
6de9cd9a
DN
17
18You should have received a copy of the GNU General Public License
9fc4d79b
TS
19along with GCC; see the file COPYING. If not, write to the Free
20Software Foundation, 59 Temple Place - Suite 330, Boston, MA
2102111-1307, USA. */
6de9cd9a
DN
22
23#ifndef GCC_GFORTRAN_H
24#define GCC_GFORTRAN_H
25
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. */
31
32/* We need system.h for HOST_WIDE_INT. Including hwint.h by itself doesn't
33 seem to be sufficient on some systems. */
34#include "system.h"
35#include "coretypes.h"
c8cc8542 36#include "input.h"
6de9cd9a
DN
37
38/* The following ifdefs are recommended by the autoconf documentation
39 for any code using alloca. */
40
41/* AIX requires this to be the first thing in the file. */
42#ifdef __GNUC__
43#else /* not __GNUC__ */
44#ifdef HAVE_ALLOCA_H
45#include <alloca.h>
46#else /* do not HAVE_ALLOCA_H */
47#ifdef _AIX
48#pragma alloca
49#else
50#ifndef alloca /* predefined by HP cc +Olibcalls */
51char *alloca ();
52#endif /* not predefined */
53#endif /* not _AIX */
54#endif /* do not HAVE_ALLOCA_H */
55#endif /* not __GNUC__ */
56
57
58#include <stdio.h> /* need FILE * here */
59
60/* Major control parameters. */
61
6de9cd9a 62#define GFC_MAX_SYMBOL_LEN 63
6de9cd9a
DN
63#define GFC_MAX_LINE 132 /* Characters beyond this are not seen. */
64#define GFC_MAX_DIMENSIONS 7 /* Maximum dimensions in an array. */
65#define GFC_LETTERS 26 /* Number of letters in the alphabet. */
66#define MAX_ERROR_MESSAGE 1000 /* Maximum length of an error message. */
67
68#define free(x) Use_gfc_free_instead_of_free()
69#define gfc_is_whitespace(c) ((c==' ') || (c=='\t'))
70
71#ifndef NULL
72#define NULL ((void *) 0)
73#endif
74
75/* Stringization. */
76#define stringize(x) expand_macro(x)
77#define expand_macro(x) # x
78
79/* For a the runtime library, a standard prefix is a requirement to
80 avoid cluttering the namespace with things nobody asked for. It's
81 ugly to look at and a pain to type when you add the prefix by hand,
82 so we hide it behind a macro. */
83#define PREFIX(x) "_gfortran_" x
5b200ac2 84#define PREFIX_LEN 10
6de9cd9a
DN
85
86/* Macro to initialize an mstring structure. */
87#define minit(s, t) { s, NULL, t }
88
89/* Structure for storing strings to be matched by gfc_match_string. */
90typedef struct
91{
92 const char *string;
93 const char *mp;
94 int tag;
95}
96mstring;
97
98
99/* Flags to specify which standardi/extension contains a feature. */
b7892582
JB
100#define GFC_STD_GNU (1<<5) /* GNU Fortran extension. */
101#define GFC_STD_F2003 (1<<4) /* New in F2003. */
f7b529fa
KH
102/* Note that no features were obsoleted nor deleted in F2003. */
103#define GFC_STD_F95 (1<<3) /* New in F95. */
b7892582
JB
104#define GFC_STD_F95_DEL (1<<2) /* Deleted in F95. */
105#define GFC_STD_F95_OBS (1<<1) /* Obsoleted in F95. */
f7b529fa 106#define GFC_STD_F77 (1<<0) /* Up to and including F77. */
6de9cd9a
DN
107
108/*************************** Enums *****************************/
109
110/* The author remains confused to this day about the convention of
111 returning '0' for 'SUCCESS'... or was it the other way around? The
112 following enum makes things much more readable. We also start
113 values off at one instead of zero. */
114
115typedef enum
116{ SUCCESS = 1, FAILURE }
117try;
118
119/* Matchers return one of these three values. The difference between
120 MATCH_NO and MATCH_ERROR is that MATCH_ERROR means that a match was
121 successful, but that something non-syntactic is wrong and an error
122 has already been issued. */
123
124typedef enum
125{ MATCH_NO = 1, MATCH_YES, MATCH_ERROR }
126match;
127
128typedef enum
129{ FORM_FREE, FORM_FIXED, FORM_UNKNOWN }
130gfc_source_form;
131
132typedef enum
133{ BT_UNKNOWN = 1, BT_INTEGER, BT_REAL, BT_COMPLEX,
134 BT_LOGICAL, BT_CHARACTER, BT_DERIVED, BT_PROCEDURE
135}
136bt;
137
138/* Expression node types. */
139typedef enum
140{ EXPR_OP = 1, EXPR_FUNCTION, EXPR_CONSTANT, EXPR_VARIABLE,
141 EXPR_SUBSTRING, EXPR_STRUCTURE, EXPR_ARRAY, EXPR_NULL
142}
143expr_t;
144
145/* Array types. */
146typedef enum
147{ AS_EXPLICIT = 1, AS_ASSUMED_SHAPE, AS_DEFERRED,
148 AS_ASSUMED_SIZE, AS_UNKNOWN
149}
150array_type;
151
152typedef enum
153{ AR_FULL = 1, AR_ELEMENT, AR_SECTION, AR_UNKNOWN }
154ar_type;
155
156/* Statement label types. */
157typedef enum
158{ ST_LABEL_UNKNOWN = 1, ST_LABEL_TARGET,
159 ST_LABEL_BAD_TARGET, ST_LABEL_FORMAT
160}
161gfc_sl_type;
162
163/* Intrinsic operators. */
164typedef enum
165{ GFC_INTRINSIC_BEGIN = 0,
166 INTRINSIC_NONE = -1, INTRINSIC_UPLUS = GFC_INTRINSIC_BEGIN,
167 INTRINSIC_UMINUS, INTRINSIC_PLUS, INTRINSIC_MINUS, INTRINSIC_TIMES,
168 INTRINSIC_DIVIDE, INTRINSIC_POWER, INTRINSIC_CONCAT,
169 INTRINSIC_AND, INTRINSIC_OR, INTRINSIC_EQV, INTRINSIC_NEQV,
170 INTRINSIC_EQ, INTRINSIC_NE, INTRINSIC_GT, INTRINSIC_GE,
171 INTRINSIC_LT, INTRINSIC_LE, INTRINSIC_NOT, INTRINSIC_USER,
172 INTRINSIC_ASSIGN,
173 GFC_INTRINSIC_END /* Sentinel */
174}
175gfc_intrinsic_op;
176
177
178/* Strings for all intrinsic operators. */
179extern mstring intrinsic_operators[];
180
181
182/* This macro is the number of intrinsic operators that exist.
183 Assumptions are made about the numbering of the interface_op enums. */
184#define GFC_INTRINSIC_OPS GFC_INTRINSIC_END
185
186/* Arithmetic results. */
187typedef enum
f8e566e5 188{ ARITH_OK = 1, ARITH_OVERFLOW, ARITH_UNDERFLOW, ARITH_NAN,
14df5747 189 ARITH_DIV0, ARITH_0TO0, ARITH_INCOMMENSURATE, ARITH_ASYMMETRIC
6de9cd9a
DN
190}
191arith;
192
193/* Statements. */
194typedef enum
195{
196 ST_ARITHMETIC_IF, ST_ALLOCATE, ST_ATTR_DECL, ST_BACKSPACE, ST_BLOCK_DATA,
197 ST_CALL, ST_CASE, ST_CLOSE, ST_COMMON, ST_CONTINUE, ST_CONTAINS, ST_CYCLE,
198 ST_DATA, ST_DATA_DECL, ST_DEALLOCATE, ST_DO, ST_ELSE, ST_ELSEIF,
199 ST_ELSEWHERE, ST_END_BLOCK_DATA, ST_ENDDO, ST_IMPLIED_ENDDO,
200 ST_END_FILE, ST_END_FORALL, ST_END_FUNCTION, ST_ENDIF, ST_END_INTERFACE,
201 ST_END_MODULE, ST_END_PROGRAM, ST_END_SELECT, ST_END_SUBROUTINE,
202 ST_END_WHERE, ST_END_TYPE, ST_ENTRY, ST_EQUIVALENCE, ST_EXIT, ST_FORALL,
203 ST_FORALL_BLOCK, ST_FORMAT, ST_FUNCTION, ST_GOTO, ST_IF_BLOCK, ST_IMPLICIT,
204 ST_IMPLICIT_NONE, ST_INQUIRE, ST_INTERFACE, ST_PARAMETER, ST_MODULE,
205 ST_MODULE_PROC, ST_NAMELIST, ST_NULLIFY, ST_OPEN, ST_PAUSE, ST_PRIVATE,
206 ST_PROGRAM, ST_PUBLIC, ST_READ, ST_RETURN, ST_REWIND, ST_STOP,
207 ST_SUBROUTINE,
208 ST_TYPE, ST_USE, ST_WHERE_BLOCK, ST_WHERE, ST_WRITE, ST_ASSIGNMENT,
209 ST_POINTER_ASSIGNMENT, ST_SELECT_CASE, ST_SEQUENCE, ST_SIMPLE_IF,
210 ST_STATEMENT_FUNCTION, ST_DERIVED_DECL, ST_LABEL_ASSIGNMENT, ST_NONE
211}
212gfc_statement;
213
214
215/* Types of interfaces that we can have. Assignment interfaces are
216 considered to be intrinsic operators. */
217typedef enum
218{
219 INTERFACE_NAMELESS = 1, INTERFACE_GENERIC,
220 INTERFACE_INTRINSIC_OP, INTERFACE_USER_OP
221}
222interface_type;
223
224/* Symbol flavors: these are all mutually exclusive.
225 10 elements = 4 bits. */
226typedef enum
227{
228 FL_UNKNOWN = 0, FL_PROGRAM, FL_BLOCK_DATA, FL_MODULE, FL_VARIABLE,
229 FL_PARAMETER, FL_LABEL, FL_PROCEDURE, FL_DERIVED, FL_NAMELIST
230}
231sym_flavor;
232
233/* Procedure types. 7 elements = 3 bits. */
234typedef enum
235{ PROC_UNKNOWN, PROC_MODULE, PROC_INTERNAL, PROC_DUMMY,
236 PROC_INTRINSIC, PROC_ST_FUNCTION, PROC_EXTERNAL
237}
238procedure_type;
239
240/* Intent types. */
241typedef enum
242{ INTENT_UNKNOWN = 0, INTENT_IN, INTENT_OUT, INTENT_INOUT
243}
244sym_intent;
245
246/* Access types. */
247typedef enum
bbef13dc 248{ ACCESS_UNKNOWN = 0, ACCESS_PUBLIC, ACCESS_PRIVATE,
6de9cd9a
DN
249}
250gfc_access;
251
252/* Flags to keep track of where an interface came from.
253 4 elements = 2 bits. */
254typedef enum
255{ IFSRC_UNKNOWN = 0, IFSRC_DECL, IFSRC_IFBODY, IFSRC_USAGE
256}
257ifsrc;
258
259/* Strings for all symbol attributes. We use these for dumping the
260 parse tree, in error messages, and also when reading and writing
261 modules. In symbol.c. */
262extern const mstring flavors[];
263extern const mstring procedures[];
264extern const mstring intents[];
265extern const mstring access_types[];
266extern const mstring ifsrc_types[];
267
268/* Enumeration of all the generic intrinsic functions. Used by the
269 backend for identification of a function. */
270
271enum gfc_generic_isym_id
272{
273 /* GFC_ISYM_NONE is used for intrinsics which will never be seen by
274 the backend (eg. KIND). */
275 GFC_ISYM_NONE = 0,
276 GFC_ISYM_ABS,
277 GFC_ISYM_ACHAR,
278 GFC_ISYM_ACOS,
279 GFC_ISYM_ADJUSTL,
280 GFC_ISYM_ADJUSTR,
281 GFC_ISYM_AIMAG,
282 GFC_ISYM_AINT,
283 GFC_ISYM_ALL,
284 GFC_ISYM_ALLOCATED,
285 GFC_ISYM_ANINT,
286 GFC_ISYM_ANY,
287 GFC_ISYM_ASIN,
288 GFC_ISYM_ASSOCIATED,
289 GFC_ISYM_ATAN,
290 GFC_ISYM_ATAN2,
e8525382
SK
291 GFC_ISYM_J0,
292 GFC_ISYM_J1,
293 GFC_ISYM_JN,
294 GFC_ISYM_Y0,
295 GFC_ISYM_Y1,
296 GFC_ISYM_YN,
6de9cd9a
DN
297 GFC_ISYM_BTEST,
298 GFC_ISYM_CEILING,
299 GFC_ISYM_CHAR,
300 GFC_ISYM_CMPLX,
b41b2534 301 GFC_ISYM_COMMAND_ARGUMENT_COUNT,
6de9cd9a
DN
302 GFC_ISYM_CONJG,
303 GFC_ISYM_COS,
304 GFC_ISYM_COSH,
305 GFC_ISYM_COUNT,
306 GFC_ISYM_CSHIFT,
307 GFC_ISYM_DBLE,
308 GFC_ISYM_DIM,
309 GFC_ISYM_DOT_PRODUCT,
310 GFC_ISYM_DPROD,
311 GFC_ISYM_EOSHIFT,
e8525382
SK
312 GFC_ISYM_ERF,
313 GFC_ISYM_ERFC,
2bd74949 314 GFC_ISYM_ETIME,
6de9cd9a
DN
315 GFC_ISYM_EXP,
316 GFC_ISYM_EXPONENT,
317 GFC_ISYM_FLOOR,
318 GFC_ISYM_FRACTION,
a8c60d7f 319 GFC_ISYM_GETCWD,
4c0c6b9f
SK
320 GFC_ISYM_GETGID,
321 GFC_ISYM_GETPID,
322 GFC_ISYM_GETUID,
6de9cd9a
DN
323 GFC_ISYM_IACHAR,
324 GFC_ISYM_IAND,
b41b2534 325 GFC_ISYM_IARGC,
6de9cd9a
DN
326 GFC_ISYM_IBCLR,
327 GFC_ISYM_IBITS,
328 GFC_ISYM_IBSET,
329 GFC_ISYM_ICHAR,
330 GFC_ISYM_IEOR,
331 GFC_ISYM_INDEX,
332 GFC_ISYM_INT,
333 GFC_ISYM_IOR,
2bd74949 334 GFC_ISYM_IRAND,
6de9cd9a
DN
335 GFC_ISYM_ISHFT,
336 GFC_ISYM_ISHFTC,
337 GFC_ISYM_LBOUND,
338 GFC_ISYM_LEN,
339 GFC_ISYM_LEN_TRIM,
340 GFC_ISYM_LGE,
341 GFC_ISYM_LGT,
342 GFC_ISYM_LLE,
343 GFC_ISYM_LLT,
344 GFC_ISYM_LOG,
345 GFC_ISYM_LOG10,
346 GFC_ISYM_LOGICAL,
347 GFC_ISYM_MATMUL,
348 GFC_ISYM_MAX,
349 GFC_ISYM_MAXLOC,
350 GFC_ISYM_MAXVAL,
351 GFC_ISYM_MERGE,
352 GFC_ISYM_MIN,
353 GFC_ISYM_MINLOC,
354 GFC_ISYM_MINVAL,
355 GFC_ISYM_MOD,
356 GFC_ISYM_MODULO,
357 GFC_ISYM_NEAREST,
358 GFC_ISYM_NINT,
359 GFC_ISYM_NOT,
360 GFC_ISYM_PACK,
361 GFC_ISYM_PRESENT,
362 GFC_ISYM_PRODUCT,
2bd74949 363 GFC_ISYM_RAND,
6de9cd9a
DN
364 GFC_ISYM_REAL,
365 GFC_ISYM_REPEAT,
366 GFC_ISYM_RESHAPE,
367 GFC_ISYM_RRSPACING,
368 GFC_ISYM_SCALE,
369 GFC_ISYM_SCAN,
2bd74949 370 GFC_ISYM_SECOND,
6de9cd9a
DN
371 GFC_ISYM_SET_EXPONENT,
372 GFC_ISYM_SHAPE,
373 GFC_ISYM_SI_KIND,
374 GFC_ISYM_SIGN,
375 GFC_ISYM_SIN,
376 GFC_ISYM_SINH,
377 GFC_ISYM_SIZE,
378 GFC_ISYM_SPACING,
379 GFC_ISYM_SPREAD,
380 GFC_ISYM_SQRT,
381 GFC_ISYM_SR_KIND,
382 GFC_ISYM_SUM,
5b1374e9 383 GFC_ISYM_SYSTEM,
6de9cd9a
DN
384 GFC_ISYM_TAN,
385 GFC_ISYM_TANH,
386 GFC_ISYM_TRANSFER,
387 GFC_ISYM_TRANSPOSE,
388 GFC_ISYM_TRIM,
389 GFC_ISYM_UBOUND,
390 GFC_ISYM_UNPACK,
391 GFC_ISYM_VERIFY,
392 GFC_ISYM_CONVERSION
393};
394typedef enum gfc_generic_isym_id gfc_generic_isym_id;
395
396/************************* Structures *****************************/
397
398/* Symbol attribute structure. */
399typedef struct
400{
401 /* Variable attributes. */
402 unsigned allocatable:1, dimension:1, external:1, intrinsic:1,
403 optional:1, pointer:1, save:1, target:1,
3d79abbd 404 dummy:1, result:1, assign:1;
6de9cd9a
DN
405
406 unsigned data:1, /* Symbol is named in a DATA statement. */
407 use_assoc:1; /* Symbol has been use-associated. */
408
9056bd70 409 unsigned in_namelist:1, in_common:1;
6de9cd9a
DN
410 unsigned function:1, subroutine:1, generic:1;
411 unsigned implicit_type:1; /* Type defined via implicit rules */
412
413 /* Function/subroutine attributes */
414 unsigned sequence:1, elemental:1, pure:1, recursive:1;
415 unsigned unmaskable:1, masked:1, contained:1;
416
3d79abbd
PB
417 /* Set if this procedure is an alternate entry point. These procedures
418 don't have any code associated, and the backend will turn them into
419 thunks to the master function. */
420 unsigned entry:1;
421 /* Set if this is the master function for a procedure with multiple
422 entry points. */
423 unsigned entry_master:1;
424
6de9cd9a
DN
425 /* Set if a function must always be referenced by an explicit interface. */
426 unsigned always_explicit:1;
427
428 /* Set if the symbol has been referenced in an expression. No further
429 modification of type or type parameters is permitted. */
430 unsigned referenced:1;
431
432 /* Mutually exclusive multibit attributes. */
433 gfc_access access:2;
434 sym_intent intent:2;
435 sym_flavor flavor:4;
436 ifsrc if_source:2;
437
438 procedure_type proc:3;
439
440}
441symbol_attribute;
442
443
d4fa05b9
TS
444/* The following three structures are used to identify a location in
445 the sources.
446
447 gfc_file is used to maintain a tree of the source files and how
448 they include each other
6de9cd9a 449
d4fa05b9
TS
450 gfc_linebuf holds a single line of source code and information
451 which file it resides in
6de9cd9a 452
d4fa05b9
TS
453 locus point to the sourceline and the character in the source
454 line.
455*/
6de9cd9a 456
d4fa05b9 457typedef struct gfc_file
6de9cd9a 458{
d4fa05b9
TS
459 struct gfc_file *included_by, *next, *up;
460 int inclusion_line, line;
461 char *filename;
462} gfc_file;
463
464typedef struct gfc_linebuf
465{
c8cc8542
PB
466#ifdef USE_MAPPED_LOCATION
467 source_location location;
468#else
d4fa05b9 469 int linenum;
c8cc8542 470#endif
d4fa05b9
TS
471 struct gfc_file *file;
472 struct gfc_linebuf *next;
473
4cdf7223 474 char line[1];
d4fa05b9 475} gfc_linebuf;
4cdf7223
PB
476
477#define gfc_linebuf_header_size (offsetof (gfc_linebuf, line))
478
d4fa05b9
TS
479typedef struct
480{
481 char *nextc;
482 gfc_linebuf *lb;
483} locus;
6de9cd9a
DN
484
485
486#include <limits.h>
487#ifndef PATH_MAX
488# include <sys/param.h>
489# define PATH_MAX MAXPATHLEN
490#endif
491
492
6de9cd9a
DN
493extern int gfc_suppress_error;
494
495
496/* Character length structures hold the expression that gives the
497 length of a character variable. We avoid putting these into
498 gfc_typespec because doing so prevents us from doing structure
499 copies and forces us to deallocate any typespecs we create, as well
500 as structures that contain typespecs. They also can have multiple
501 character typespecs pointing to them.
502
503 These structures form a singly linked list within the current
504 namespace and are deallocated with the namespace. It is possible to
505 end up with gfc_charlen structures that have nothing pointing to them. */
506
507typedef struct gfc_charlen
508{
509 struct gfc_expr *length;
510 struct gfc_charlen *next;
511 tree backend_decl;
512}
513gfc_charlen;
514
515#define gfc_get_charlen() gfc_getmem(sizeof(gfc_charlen))
516
517/* Type specification structure. FIXME: derived and cl could be union??? */
518typedef struct
519{
520 bt type;
521 int kind;
522 struct gfc_symbol *derived;
523 gfc_charlen *cl; /* For character types only. */
524}
525gfc_typespec;
526
527/* Array specification. */
528typedef struct
529{
530 int rank; /* A rank of zero means that a variable is a scalar. */
531 array_type type;
532 struct gfc_expr *lower[GFC_MAX_DIMENSIONS], *upper[GFC_MAX_DIMENSIONS];
533}
534gfc_array_spec;
535
536#define gfc_get_array_spec() gfc_getmem(sizeof(gfc_array_spec))
537
538
539/* Components of derived types. */
540typedef struct gfc_component
541{
542 char name[GFC_MAX_SYMBOL_LEN + 1];
543 gfc_typespec ts;
544
545 int pointer, dimension;
546 gfc_array_spec *as;
547
548 tree backend_decl;
549 locus loc;
550 struct gfc_expr *initializer;
551 struct gfc_component *next;
552}
553gfc_component;
554
555#define gfc_get_component() gfc_getmem(sizeof(gfc_component))
556
557/* Formal argument lists are lists of symbols. */
558typedef struct gfc_formal_arglist
559{
4f613946 560 /* Symbol representing the argument at this position in the arglist. */
6de9cd9a 561 struct gfc_symbol *sym;
4f613946 562 /* Points to the next formal argument. */
6de9cd9a
DN
563 struct gfc_formal_arglist *next;
564}
565gfc_formal_arglist;
566
567#define gfc_get_formal_arglist() gfc_getmem(sizeof(gfc_formal_arglist))
568
569
570/* The gfc_actual_arglist structure is for actual arguments. */
571typedef struct gfc_actual_arglist
572{
573 char name[GFC_MAX_SYMBOL_LEN + 1];
574 /* Alternate return label when the expr member is null. */
575 struct gfc_st_label *label;
576
1600fe22
TS
577 /* This is set to the type of an eventual omitted optional
578 argument. This is used to determine if a hidden string length
579 argument has to be added to a function call. */
580 bt missing_arg_type;
581
6de9cd9a
DN
582 struct gfc_expr *expr;
583 struct gfc_actual_arglist *next;
584}
585gfc_actual_arglist;
586
587#define gfc_get_actual_arglist() gfc_getmem(sizeof(gfc_actual_arglist))
588
589
590/* Because a symbol can belong to multiple namelists, they must be
591 linked externally to the symbol itself. */
592typedef struct gfc_namelist
593{
594 struct gfc_symbol *sym;
595 struct gfc_namelist *next;
596}
597gfc_namelist;
598
599#define gfc_get_namelist() gfc_getmem(sizeof(gfc_namelist))
600
601
602/* The gfc_st_label structure is a doubly linked list attached to a
603 namespace that records the usage of statement labels within that
604 space. */
605/* TODO: Make format/statement specifics a union. */
606typedef struct gfc_st_label
607{
608 int value;
609
610 gfc_sl_type defined, referenced;
611
612 struct gfc_expr *format;
613
614 tree backend_decl;
615
616 locus where;
617
618 struct gfc_st_label *prev, *next;
619}
620gfc_st_label;
621
622
623/* gfc_interface()-- Interfaces are lists of symbols strung together. */
624typedef struct gfc_interface
625{
626 struct gfc_symbol *sym;
627 locus where;
628 struct gfc_interface *next;
629}
630gfc_interface;
631
632#define gfc_get_interface() gfc_getmem(sizeof(gfc_interface))
633
634
635/* User operator nodes. These are like stripped down symbols. */
636typedef struct
637{
638 char name[GFC_MAX_SYMBOL_LEN + 1];
639
640 gfc_interface *operator;
641 struct gfc_namespace *ns;
642 gfc_access access;
643}
644gfc_user_op;
645
646/* Symbol nodes. These are important things. They are what the
647 standard refers to as "entities". The possibly multiple names that
648 refer to the same entity are accomplished by a binary tree of
649 symtree structures that is balanced by the red-black method-- more
650 than one symtree node can point to any given symbol. */
651
652typedef struct gfc_symbol
653{
654 char name[GFC_MAX_SYMBOL_LEN + 1]; /* Primary name, before renaming */
655 char module[GFC_MAX_SYMBOL_LEN + 1]; /* Module this symbol came from */
656 locus declared_at;
657
658 gfc_typespec ts;
659 symbol_attribute attr;
660
661 /* The interface member points to the formal argument list if the
662 symbol is a function or subroutine name. If the symbol is a
663 generic name, the generic member points to the list of
664 interfaces. */
665
666 gfc_interface *generic;
667 gfc_access component_access;
668
669 gfc_formal_arglist *formal;
670 struct gfc_namespace *formal_ns;
671
672 struct gfc_expr *value; /* Parameter/Initializer value */
673 gfc_array_spec *as;
674 struct gfc_symbol *result; /* function result symbol */
675 gfc_component *components; /* Derived type components */
676
9056bd70 677 struct gfc_symbol *common_next; /* Links for COMMON syms */
6de9cd9a
DN
678 /* Make sure setup code for dummy arguments is generated in the correct
679 order. */
680 int dummy_order;
681
682 gfc_namelist *namelist, *namelist_tail;
683
684 /* Change management fields. Symbols that might be modified by the
685 current statement have the mark member nonzero and are kept in a
686 singly linked list through the tlink field. Of these symbols,
687 symbols with old_symbol equal to NULL are symbols created within
688 the current statement. Otherwise, old_symbol points to a copy of
689 the old symbol. */
690
691 struct gfc_symbol *old_symbol, *tlink;
692 unsigned mark:1, new:1;
5291e69a
PB
693 /* Nonzero if all equivalences associated with this symbol have been
694 processed. */
695 unsigned equiv_built:1;
6de9cd9a
DN
696 int refs;
697 struct gfc_namespace *ns; /* namespace containing this symbol */
698
699 tree backend_decl;
6de9cd9a
DN
700}
701gfc_symbol;
702
703
9056bd70
TS
704/* This structure is used to keep track of symbols in common blocks. */
705
706typedef struct
707{
708 locus where;
709 int use_assoc, saved;
53814b8f 710 char name[GFC_MAX_SYMBOL_LEN + 1];
9056bd70
TS
711 gfc_symbol *head;
712}
713gfc_common_head;
714
715#define gfc_get_common_head() gfc_getmem(sizeof(gfc_common_head))
716
717
3d79abbd
PB
718/* A list of all the alternate entry points for a procedure. */
719
720typedef struct gfc_entry_list
721{
722 /* The symbol for this entry point. */
723 gfc_symbol *sym;
724 /* The zero-based id of this entry point. */
725 int id;
726 /* The LABEL_EXPR marking this entry point. */
727 tree label;
728 /* The nest item in the list. */
729 struct gfc_entry_list *next;
730}
731gfc_entry_list;
732
733#define gfc_get_entry_list() \
734 (gfc_entry_list *) gfc_getmem(sizeof(gfc_entry_list))
9056bd70 735
6de9cd9a
DN
736/* Within a namespace, symbols are pointed to by symtree nodes that
737 are linked together in a balanced binary tree. There can be
738 several symtrees pointing to the same symbol node via USE
739 statements. */
740
741#define BBT_HEADER(self) int priority; struct self *left, *right
742
743typedef struct gfc_symtree
744{
745 BBT_HEADER (gfc_symtree);
746 char name[GFC_MAX_SYMBOL_LEN + 1];
747 int ambiguous;
748 union
749 {
750 gfc_symbol *sym; /* Symbol associated with this node */
751 gfc_user_op *uop;
9056bd70 752 gfc_common_head *common;
6de9cd9a
DN
753 }
754 n;
755
756}
757gfc_symtree;
758
759
3d79abbd
PB
760/* A namespace describes the contents of procedure, module or
761 interface block. */
762/* ??? Anything else use these? */
763
6de9cd9a
DN
764typedef struct gfc_namespace
765{
4f613946
TS
766 /* Tree containing all the symbols in this namespace. */
767 gfc_symtree *sym_root;
768 /* Tree containing all the user-defined operators in the namespace. */
769 gfc_symtree *uop_root;
770 /* Tree containing all the common blocks. */
771 gfc_symtree *common_root;
6de9cd9a 772
4f613946 773 /* If set_flag[letter] is set, an implicit type has been set for letter. */
6de9cd9a 774 int set_flag[GFC_LETTERS];
4f613946
TS
775 /* Keeps track of the implicit types associated with the letters. */
776 gfc_typespec default_type[GFC_LETTERS];
6de9cd9a 777
4f613946 778 /* If this is a namespace of a procedure, this points to the procedure. */
6de9cd9a 779 struct gfc_symbol *proc_name;
4f613946
TS
780 /* If this is the namespace of a unit which contains executable
781 code, this points to it. */
6de9cd9a 782 struct gfc_code *code;
4f613946
TS
783
784 /* Points to the equivalences set up in this namespace. */
6de9cd9a 785 struct gfc_equiv *equiv;
4f613946
TS
786 gfc_interface *operator[GFC_INTRINSIC_OPS];
787
788 /* Points to the parent namespace, i.e. the namespace of a module or
789 procedure in which the procedure belonging to this namespace is
790 contained. The parent namespace points to this namespace either
791 directly via CONTAINED, or indirectly via the chain built by
792 SIBLING. */
793 struct gfc_namespace *parent;
794 /* CONTAINED points to the first contained namespace. Sibling
795 namespaces are chained via SIBLING. */
796 struct gfc_namespace *contained, *sibling;
797
798 gfc_common_head blank_common;
6de9cd9a
DN
799 gfc_access default_access, operator_access[GFC_INTRINSIC_OPS];
800
801 gfc_st_label *st_labels;
294fbfc8
TS
802 /* This list holds information about all the data initializers in
803 this namespace. */
6de9cd9a
DN
804 struct gfc_data *data;
805
806 gfc_charlen *cl_list;
807
808 int save_all, seen_save;
3d79abbd
PB
809
810 /* Normally we don't need to refcount namespaces. However when we read
811 a module containing a function with multiple entry points, this
812 will appear as several functions with the same formal namespace. */
813 int refs;
814
815 /* A list of all alternate entry points to this procedure (or NULL). */
816 gfc_entry_list *entries;
0de4325e
TS
817
818 /* Set to 1 if namespace is a BLOCK DATA program unit. */
819 int is_block_data;
6de9cd9a
DN
820}
821gfc_namespace;
822
823extern gfc_namespace *gfc_current_ns;
824
c9543002
TS
825/* Global symbols are symbols of global scope. Currently we only use
826 this to detect collisions already when parsing.
827 TODO: Extend to verify procedure calls. */
828
829typedef struct gfc_gsymbol
830{
831 BBT_HEADER(gfc_gsymbol);
832
833 char name[GFC_MAX_SYMBOL_LEN+1];
834 enum { GSYM_UNKNOWN=1, GSYM_PROGRAM, GSYM_FUNCTION, GSYM_SUBROUTINE,
835 GSYM_MODULE, GSYM_COMMON, GSYM_BLOCK_DATA } type;
836
837 int defined, used;
838 locus where;
839}
840gfc_gsymbol;
841
842extern gfc_gsymbol *gfc_gsym_root;
6de9cd9a
DN
843
844/* Information on interfaces being built. */
845typedef struct
846{
847 interface_type type;
848 gfc_symbol *sym;
849 gfc_namespace *ns;
850 gfc_user_op *uop;
851 gfc_intrinsic_op op;
852}
853gfc_interface_info;
854
855extern gfc_interface_info current_interface;
856
857
858/* Array reference. */
859typedef struct gfc_array_ref
860{
861 ar_type type;
862 int dimen; /* # of components in the reference */
863 locus where;
864 gfc_array_spec *as;
865
866 locus c_where[GFC_MAX_DIMENSIONS]; /* All expressions can be NULL */
867 struct gfc_expr *start[GFC_MAX_DIMENSIONS], *end[GFC_MAX_DIMENSIONS],
868 *stride[GFC_MAX_DIMENSIONS];
869
870 enum
871 { DIMEN_ELEMENT = 1, DIMEN_RANGE, DIMEN_VECTOR, DIMEN_UNKNOWN }
872 dimen_type[GFC_MAX_DIMENSIONS];
873
874 struct gfc_expr *offset;
875}
876gfc_array_ref;
877
878#define gfc_get_array_ref() gfc_getmem(sizeof(gfc_array_ref))
879
880
881/* Component reference nodes. A variable is stored as an expression
882 node that points to the base symbol. After that, a singly linked
883 list of component reference nodes gives the variable's complete
884 resolution. The array_ref component may be present and comes
885 before the component component. */
886
887typedef enum
888 { REF_ARRAY, REF_COMPONENT, REF_SUBSTRING }
889ref_type;
890
891typedef struct gfc_ref
892{
893 ref_type type;
894
895 union
896 {
897 struct gfc_array_ref ar;
898
899 struct
900 {
901 gfc_component *component;
902 gfc_symbol *sym;
903 }
904 c;
905
906 struct
907 {
908 struct gfc_expr *start, *end; /* Substring */
909 gfc_charlen *length;
910 }
911 ss;
912
913 }
914 u;
915
916 struct gfc_ref *next;
917}
918gfc_ref;
919
920#define gfc_get_ref() gfc_getmem(sizeof(gfc_ref))
921
922
923/* Structures representing intrinsic symbols and their arguments lists. */
924typedef struct gfc_intrinsic_arg
925{
926 char name[GFC_MAX_SYMBOL_LEN + 1];
927
928 gfc_typespec ts;
929 int optional;
930 gfc_actual_arglist *actual;
931
932 struct gfc_intrinsic_arg *next;
933
934}
935gfc_intrinsic_arg;
936
937
4f613946
TS
938/* Specifies the various kinds of check functions used to verify the
939 argument lists of intrinsic functions. fX with X an integer refer
940 to check functions of intrinsics with X arguments. f1m is used for
941 the MAX and MIN intrinsics which can have an arbitrary number of
942 arguments, f3ml is used for the MINLOC and MAXLOC intrinsics as
943 these have special semantics. */
944
6de9cd9a
DN
945typedef union
946{
4c0c6b9f 947 try (*f0)(void);
6de9cd9a
DN
948 try (*f1)(struct gfc_expr *);
949 try (*f1m)(gfc_actual_arglist *);
950 try (*f2)(struct gfc_expr *, struct gfc_expr *);
951 try (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
f3207b37 952 try (*f3ml)(gfc_actual_arglist *);
7551270e 953 try (*f3red)(gfc_actual_arglist *);
6de9cd9a
DN
954 try (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
955 struct gfc_expr *);
956 try (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
957 struct gfc_expr *, struct gfc_expr *);
958}
959gfc_check_f;
960
4f613946
TS
961/* Like gfc_check_f, these specify the type of the simplification
962 function associated with an intrinsic. The fX are just like in
963 gfc_check_f. cc is used for type conversion functions. */
6de9cd9a
DN
964
965typedef union
966{
4c0c6b9f 967 struct gfc_expr *(*f0)(void);
6de9cd9a
DN
968 struct gfc_expr *(*f1)(struct gfc_expr *);
969 struct gfc_expr *(*f2)(struct gfc_expr *, struct gfc_expr *);
970 struct gfc_expr *(*f3)(struct gfc_expr *, struct gfc_expr *,
971 struct gfc_expr *);
972 struct gfc_expr *(*f4)(struct gfc_expr *, struct gfc_expr *,
973 struct gfc_expr *, struct gfc_expr *);
974 struct gfc_expr *(*f5)(struct gfc_expr *, struct gfc_expr *,
975 struct gfc_expr *, struct gfc_expr *,
976 struct gfc_expr *);
977 struct gfc_expr *(*cc)(struct gfc_expr *, bt, int);
978}
979gfc_simplify_f;
980
4f613946 981/* Again like gfc_check_f, these specify the type of the resolution
13795658 982 function associated with an intrinsic. The fX are just like in
4f613946
TS
983 gfc_check_f. f1m is used for MIN and MAX, s1 is used for abort().
984 */
6de9cd9a
DN
985
986typedef union
987{
988 void (*f0)(struct gfc_expr *);
989 void (*f1)(struct gfc_expr *, struct gfc_expr *);
990 void (*f1m)(struct gfc_expr *, struct gfc_actual_arglist *);
991 void (*f2)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
992 void (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
993 struct gfc_expr *);
994 void (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
995 struct gfc_expr *, struct gfc_expr *);
996 void (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
997 struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
998 void (*s1)(struct gfc_code *);
999}
1000gfc_resolve_f;
1001
1002
1003typedef struct gfc_intrinsic_sym
1004{
1005 char name[GFC_MAX_SYMBOL_LEN + 1], lib_name[GFC_MAX_SYMBOL_LEN + 1];
1006 gfc_intrinsic_arg *formal;
1007 gfc_typespec ts;
b7892582 1008 int elemental, pure, generic, specific, actual_ok, standard;
6de9cd9a
DN
1009
1010 gfc_simplify_f simplify;
1011 gfc_check_f check;
1012 gfc_resolve_f resolve;
1013 struct gfc_intrinsic_sym *specific_head, *next;
1014 gfc_generic_isym_id generic_id;
1015
1016}
1017gfc_intrinsic_sym;
1018
1019
1020/* Expression nodes. The expression node types deserve explanations,
1021 since the last couple can be easily misconstrued:
1022
1023 EXPR_OP Operator node pointing to one or two other nodes
1024 EXPR_FUNCTION Function call, symbol points to function's name
1025 EXPR_CONSTANT A scalar constant: Logical, String, Real, Int or Complex
1026 EXPR_VARIABLE An Lvalue with a root symbol and possible reference list
1027 which expresses structure, array and substring refs.
1028 EXPR_NULL The NULL pointer value (which also has a basic type).
1029 EXPR_SUBSTRING A substring of a constant string
1030 EXPR_STRUCTURE A structure constructor
1031 EXPR_ARRAY An array constructor. */
1032
1033#include <gmp.h>
f8e566e5
SK
1034#include <mpfr.h>
1035#define GFC_RND_MODE GMP_RNDN
6de9cd9a
DN
1036
1037typedef struct gfc_expr
1038{
1039 expr_t expr_type;
1040
1041 gfc_typespec ts; /* These two refer to the overall expression */
1042
1043 int rank;
1044 mpz_t *shape; /* Can be NULL if shape is unknown at compile time */
1045
1046 gfc_intrinsic_op operator;
1047
1048 /* Nonnull for functions and structure constructors */
1049 gfc_symtree *symtree;
1050
1051 gfc_user_op *uop;
1052 gfc_ref *ref;
1053
1054 struct gfc_expr *op1, *op2;
1055 locus where;
1056
1057 union
1058 {
6de9cd9a 1059 int logical;
f8e566e5
SK
1060 mpz_t integer;
1061
1062 mpfr_t real;
6de9cd9a
DN
1063
1064 struct
1065 {
f8e566e5 1066 mpfr_t r, i;
6de9cd9a
DN
1067 }
1068 complex;
1069
1070 struct
1071 {
1072 gfc_actual_arglist *actual;
1073 char *name; /* Points to the ultimate name of the function */
1074 gfc_intrinsic_sym *isym;
1075 gfc_symbol *esym;
1076 }
1077 function;
1078
1079 struct
1080 {
1081 int length;
1082 char *string;
1083 }
1084 character;
1085
1086 struct gfc_constructor *constructor;
1087 }
1088 value;
1089
1090}
1091gfc_expr;
1092
1093
94538bd1 1094#define gfc_get_shape(rank) ((mpz_t *) gfc_getmem((rank)*sizeof(mpz_t)))
6de9cd9a
DN
1095
1096/* Structures for information associated with different kinds of
1097 numbers. The first set of integer parameters define all there is
1098 to know about a particular kind. The rest of the elements are
1099 computed from the first elements. */
1100
1101typedef struct
1102{
e2cad04b 1103 /* Values really representable by the target. */
14df5747 1104 mpz_t huge, pedantic_min_int, min_int, max_int;
e2cad04b
RH
1105
1106 int kind, radix, digits, bit_size, range;
1107
1108 /* True if the C type of the given name maps to this precision.
1109 Note that more than one bit can be set. */
1110 unsigned int c_char : 1;
1111 unsigned int c_short : 1;
1112 unsigned int c_int : 1;
1113 unsigned int c_long : 1;
1114 unsigned int c_long_long : 1;
6de9cd9a
DN
1115}
1116gfc_integer_info;
1117
1118extern gfc_integer_info gfc_integer_kinds[];
1119
1120
1121typedef struct
1122{
1123 int kind, bit_size;
1124
e2cad04b
RH
1125 /* True if the C++ type bool, C99 type _Bool, maps to this precision. */
1126 unsigned int c_bool : 1;
6de9cd9a
DN
1127}
1128gfc_logical_info;
1129
1130extern gfc_logical_info gfc_logical_kinds[];
1131
1132
1133typedef struct
1134{
e2cad04b 1135 mpfr_t epsilon, huge, tiny;
6de9cd9a 1136 int kind, radix, digits, min_exponent, max_exponent;
6de9cd9a 1137 int range, precision;
e2cad04b
RH
1138
1139 /* The precision of the type as reported by GET_MODE_PRECISION. */
1140 int mode_precision;
1141
1142 /* True if the C type of the given name maps to this precision.
1143 Note that more than one bit can be set. */
1144 unsigned int c_float : 1;
1145 unsigned int c_double : 1;
1146 unsigned int c_long_double : 1;
6de9cd9a
DN
1147}
1148gfc_real_info;
1149
1150extern gfc_real_info gfc_real_kinds[];
1151
1152
1153/* Equivalence structures. Equivalent lvalues are linked along the
1154 *eq pointer, equivalence sets are strung along the *next node. */
1155typedef struct gfc_equiv
1156{
1157 struct gfc_equiv *next, *eq;
1158 gfc_expr *expr;
1159 int used;
1160}
1161gfc_equiv;
1162
1163#define gfc_get_equiv() gfc_getmem(sizeof(gfc_equiv))
1164
1165
1166/* gfc_case stores the selector list of a case statement. The *low
1167 and *high pointers can point to the same expression in the case of
1168 a single value. If *high is NULL, the selection is from *low
1169 upwards, if *low is NULL the selection is *high downwards.
1170
1171 This structure has separate fields to allow singe and double linked
1172 lists of CASEs the same time. The singe linked list along the NEXT
1173 field is a list of cases for a single CASE label. The double linked
1174 list along the LEFT/RIGHT fields is used to detect overlap and to
1175 build a table of the cases for SELECT constructs with a CHARACTER
1176 case expression. */
1177
1178typedef struct gfc_case
1179{
1180 /* Where we saw this case. */
1181 locus where;
1182 int n;
1183
1184 /* Case range values. If (low == high), it's a single value. If one of
1185 the labels is NULL, it's an unbounded case. If both are NULL, this
1186 represents the default case. */
1187 gfc_expr *low, *high;
1188
1189 /* Next case label in the list of cases for a single CASE label. */
1190 struct gfc_case *next;
1191
1192 /* Used for detecting overlap, and for code generation. */
1193 struct gfc_case *left, *right;
1194
1195 /* True if this case label can never be matched. */
1196 int unreachable;
1197}
1198gfc_case;
1199
1200#define gfc_get_case() gfc_getmem(sizeof(gfc_case))
1201
1202
1203typedef struct
1204{
1205 gfc_expr *var, *start, *end, *step;
1206}
1207gfc_iterator;
1208
1209#define gfc_get_iterator() gfc_getmem(sizeof(gfc_iterator))
1210
1211
f7b529fa 1212/* Allocation structure for ALLOCATE, DEALLOCATE and NULLIFY statements. */
6de9cd9a
DN
1213
1214typedef struct gfc_alloc
1215{
1216 gfc_expr *expr;
1217 struct gfc_alloc *next;
1218}
1219gfc_alloc;
1220
1221#define gfc_get_alloc() gfc_getmem(sizeof(gfc_alloc))
1222
1223
1224typedef struct
1225{
1226 gfc_expr *unit, *file, *status, *access, *form, *recl,
1227 *blank, *position, *action, *delim, *pad, *iostat;
1228 gfc_st_label *err;
1229}
1230gfc_open;
1231
1232
1233typedef struct
1234{
1235 gfc_expr *unit, *status, *iostat;
1236 gfc_st_label *err;
1237}
1238gfc_close;
1239
1240
1241typedef struct
1242{
1243 gfc_expr *unit, *iostat;
1244 gfc_st_label *err;
1245}
1246gfc_filepos;
1247
1248
1249typedef struct
1250{
1251 gfc_expr *unit, *file, *iostat, *exist, *opened, *number, *named,
1252 *name, *access, *sequential, *direct, *form, *formatted,
1253 *unformatted, *recl, *nextrec, *blank, *position, *action, *read,
1254 *write, *readwrite, *delim, *pad, *iolength;
1255
1256 gfc_st_label *err;
1257
1258}
1259gfc_inquire;
1260
1261
1262typedef struct
1263{
1264 gfc_expr *io_unit, *format_expr, *rec, *advance, *iostat, *size;
1265
1266 gfc_symbol *namelist;
1267 /* A format_label of `format_asterisk' indicates the "*" format */
1268 gfc_st_label *format_label;
1269 gfc_st_label *err, *end, *eor;
1270
1271 locus eor_where, end_where;
1272}
1273gfc_dt;
1274
1275
1276typedef struct gfc_forall_iterator
1277{
1278 gfc_expr *var, *start, *end, *stride;
1279 struct gfc_forall_iterator *next;
1280}
1281gfc_forall_iterator;
1282
1283
1284/* Executable statements that fill gfc_code structures. */
1285typedef enum
1286{
1287 EXEC_NOP = 1, EXEC_ASSIGN, EXEC_LABEL_ASSIGN, EXEC_POINTER_ASSIGN,
3d79abbd
PB
1288 EXEC_GOTO, EXEC_CALL, EXEC_RETURN, EXEC_ENTRY,
1289 EXEC_PAUSE, EXEC_STOP, EXEC_CONTINUE,
6de9cd9a
DN
1290 EXEC_IF, EXEC_ARITHMETIC_IF, EXEC_DO, EXEC_DO_WHILE, EXEC_SELECT,
1291 EXEC_FORALL, EXEC_WHERE, EXEC_CYCLE, EXEC_EXIT,
1292 EXEC_ALLOCATE, EXEC_DEALLOCATE,
1293 EXEC_OPEN, EXEC_CLOSE,
1294 EXEC_READ, EXEC_WRITE, EXEC_IOLENGTH, EXEC_TRANSFER, EXEC_DT_END,
1295 EXEC_BACKSPACE, EXEC_ENDFILE, EXEC_INQUIRE, EXEC_REWIND
1296}
1297gfc_exec_op;
1298
1299typedef struct gfc_code
1300{
1301 gfc_exec_op op;
1302
1303 struct gfc_code *block, *next;
1304 locus loc;
1305
1306 gfc_st_label *here, *label, *label2, *label3;
1307 gfc_symtree *symtree;
1308 gfc_expr *expr, *expr2;
1309 /* A name isn't sufficient to identify a subroutine, we need the actual
1310 symbol for the interface definition.
1311 const char *sub_name; */
1312 gfc_symbol *resolved_sym;
1313
1314 union
1315 {
1316 gfc_actual_arglist *actual;
1317 gfc_case *case_list;
1318 gfc_iterator *iterator;
1319 gfc_alloc *alloc_list;
1320 gfc_open *open;
1321 gfc_close *close;
1322 gfc_filepos *filepos;
1323 gfc_inquire *inquire;
1324 gfc_dt *dt;
1325 gfc_forall_iterator *forall_iterator;
1326 struct gfc_code *whichloop;
1327 int stop_code;
3d79abbd 1328 gfc_entry_list *entry;
6de9cd9a
DN
1329 }
1330 ext; /* Points to additional structures required by statement */
1331
1332 /* Backend_decl is used for cycle and break labels in do loops, and
1333 * probably for other constructs as well, once we translate them. */
1334 tree backend_decl;
1335}
1336gfc_code;
1337
1338
1339/* Storage for DATA statements. */
1340typedef struct gfc_data_variable
1341{
1342 gfc_expr *expr;
1343 gfc_iterator iter;
1344 struct gfc_data_variable *list, *next;
1345}
1346gfc_data_variable;
1347
1348
1349typedef struct gfc_data_value
1350{
b8502435 1351 unsigned int repeat;
6de9cd9a 1352 gfc_expr *expr;
6de9cd9a
DN
1353 struct gfc_data_value *next;
1354}
1355gfc_data_value;
1356
1357
1358typedef struct gfc_data
1359{
1360 gfc_data_variable *var;
1361 gfc_data_value *value;
1362 locus where;
1363
1364 struct gfc_data *next;
1365}
1366gfc_data;
1367
1368#define gfc_get_data_variable() gfc_getmem(sizeof(gfc_data_variable))
1369#define gfc_get_data_value() gfc_getmem(sizeof(gfc_data_value))
1370#define gfc_get_data() gfc_getmem(sizeof(gfc_data))
1371
1372
1373/* Structure for holding compile options */
1374typedef struct
1375{
1376 const char *source;
1377 char *module_dir;
1378 gfc_source_form source_form;
1379 int fixed_line_length;
1380 int max_identifier_length;
1381 int verbose;
1382
1383 int warn_aliasing;
1384 int warn_conversion;
1385 int warn_implicit_interface;
1386 int warn_line_truncation;
2d8b59df 1387 int warn_underflow;
6de9cd9a
DN
1388 int warn_surprising;
1389 int warn_unused_labels;
1390
1391 int flag_dollar_ok;
1392 int flag_underscoring;
1393 int flag_second_underscore;
1394 int flag_implicit_none;
1395 int flag_max_stack_var_size;
1396 int flag_module_access_private;
1397 int flag_no_backend;
1398 int flag_pack_derived;
1399 int flag_repack_arrays;
1400
1401 int q_kind;
1402 int r8;
1403 int i8;
1404 int d8;
1405 int warn_std;
1406 int allow_std;
b7892582 1407 int warn_nonstd_intrinsics;
6de9cd9a
DN
1408}
1409gfc_option_t;
1410
1411extern gfc_option_t gfc_option;
1412
1413
1414/* Constructor nodes for array and structure constructors. */
1415typedef struct gfc_constructor
1416{
1417 gfc_expr *expr;
1418 gfc_iterator *iterator;
1419 locus where;
1420 struct gfc_constructor *next;
1421 struct
1422 {
1423 mpz_t offset; /* Record the offset of array element which appears in
1424 data statement like "data a(5)/4/". */
1425 gfc_component *component; /* Record the component being initialized. */
1426 }
1427 n;
1428 mpz_t repeat; /* Record the repeat number of initial values in data
1429 statement like "data a/5*10/". */
1430}
1431gfc_constructor;
1432
1433
1434typedef struct iterator_stack
1435{
1436 gfc_symtree *variable;
1437 mpz_t value;
1438 struct iterator_stack *prev;
1439}
1440iterator_stack;
1441extern iterator_stack *iter_stack;
1442
1443/************************ Function prototypes *************************/
1444
1445/* data.c */
1446void gfc_formalize_init_value (gfc_symbol *);
1447void gfc_get_section_index (gfc_array_ref *, mpz_t *, mpz_t *);
1448void gfc_assign_data_value (gfc_expr *, gfc_expr *, mpz_t);
b8502435 1449void gfc_assign_data_value_range (gfc_expr *, gfc_expr *, mpz_t, mpz_t);
6de9cd9a
DN
1450void gfc_advance_section (mpz_t *, gfc_array_ref *, mpz_t *);
1451
1452/* scanner.c */
1453void gfc_scanner_done_1 (void);
1454void gfc_scanner_init_1 (void);
1455
1456void gfc_add_include_path (const char *);
1457void gfc_release_include_path (void);
1458FILE *gfc_open_included_file (const char *);
1459
6de9cd9a
DN
1460int gfc_at_end (void);
1461int gfc_at_eof (void);
1462int gfc_at_bol (void);
1463int gfc_at_eol (void);
1464void gfc_advance_line (void);
1465int gfc_check_include (void);
1466
1467void gfc_skip_comments (void);
1468int gfc_next_char_literal (int);
1469int gfc_next_char (void);
1470int gfc_peek_char (void);
1471void gfc_error_recovery (void);
1472void gfc_gobble_whitespace (void);
1473try gfc_new_file (const char *, gfc_source_form);
1474
d4fa05b9
TS
1475extern gfc_source_form gfc_current_form;
1476extern char *gfc_source_file;
63645982 1477extern locus gfc_current_locus;
6de9cd9a
DN
1478
1479/* misc.c */
1480void *gfc_getmem (size_t) ATTRIBUTE_MALLOC;
1481void gfc_free (void *);
1482int gfc_terminal_width(void);
1483void gfc_clear_ts (gfc_typespec *);
1484FILE *gfc_open_file (const char *);
1485const char *gfc_article (const char *);
1486const char *gfc_basic_typename (bt);
1487const char *gfc_typename (gfc_typespec *);
1488
1489#define gfc_op2string(OP) (OP == INTRINSIC_ASSIGN ? \
1490 "=" : gfc_code2string (intrinsic_operators, OP))
1491
1492const char *gfc_code2string (const mstring *, int);
1493int gfc_string2code (const mstring *, const char *);
1494const char *gfc_intent_string (sym_intent);
1495
1496void gfc_init_1 (void);
1497void gfc_init_2 (void);
1498void gfc_done_1 (void);
1499void gfc_done_2 (void);
1500
1501/* options.c */
1502unsigned int gfc_init_options (unsigned int, const char **);
1503int gfc_handle_option (size_t, const char *, int);
1504bool gfc_post_options (const char **);
1505
1506/* iresolve.c */
1507char * gfc_get_string (const char *, ...) ATTRIBUTE_PRINTF_1;
1508void gfc_iresolve_init_1 (void);
1509void gfc_iresolve_done_1 (void);
1510
1511/* error.c */
1512
1513typedef struct gfc_error_buf
1514{
1515 int flag;
1516 char message[MAX_ERROR_MESSAGE];
1517} gfc_error_buf;
1518
1519void gfc_error_init_1 (void);
1520void gfc_buffer_error (int);
1521
1522void gfc_warning (const char *, ...);
1523void gfc_warning_now (const char *, ...);
1524void gfc_clear_warning (void);
1525void gfc_warning_check (void);
1526
1527void gfc_error (const char *, ...);
1528void gfc_error_now (const char *, ...);
1529void gfc_fatal_error (const char *, ...) ATTRIBUTE_NORETURN;
1530void gfc_internal_error (const char *, ...) ATTRIBUTE_NORETURN;
1531void gfc_clear_error (void);
1532int gfc_error_check (void);
1533
1534try gfc_notify_std (int, const char *, ...);
1535
1536/* A general purpose syntax error. */
1537#define gfc_syntax_error(ST) \
1538 gfc_error ("Syntax error in %s statement at %C", gfc_ascii_statement (ST));
1539
1540void gfc_push_error (gfc_error_buf *);
1541void gfc_pop_error (gfc_error_buf *);
1542
1543void gfc_status (const char *, ...) ATTRIBUTE_PRINTF_1;
1544void gfc_status_char (char);
1545
1546void gfc_get_errors (int *, int *);
1547
1548/* arith.c */
1549void gfc_arith_init_1 (void);
1550void gfc_arith_done_1 (void);
1551
5e8e542f 1552/* trans-types.c */
e7a2d5fb 1553int gfc_validate_kind (bt, int, bool);
6de9cd9a 1554extern int gfc_index_integer_kind;
9d64df18
TS
1555extern int gfc_default_integer_kind;
1556extern int gfc_default_real_kind;
1557extern int gfc_default_double_kind;
1558extern int gfc_default_character_kind;
1559extern int gfc_default_logical_kind;
1560extern int gfc_default_complex_kind;
e8525382 1561extern int gfc_c_int_kind;
6de9cd9a
DN
1562
1563/* symbol.c */
1564void gfc_clear_new_implicit (void);
1107b970
PB
1565try gfc_add_new_implicit_range (int, int);
1566try gfc_merge_new_implicit (gfc_typespec *);
6de9cd9a 1567void gfc_set_implicit_none (void);
6de9cd9a
DN
1568
1569gfc_typespec *gfc_get_default_type (gfc_symbol *, gfc_namespace *);
1570try gfc_set_default_type (gfc_symbol *, int, gfc_namespace *);
1571
1572void gfc_set_component_attr (gfc_component *, symbol_attribute *);
1573void gfc_get_component_attr (symbol_attribute *, gfc_component *);
1574
1575void gfc_set_sym_referenced (gfc_symbol * sym);
1576
1577try gfc_add_allocatable (symbol_attribute *, locus *);
1578try gfc_add_dimension (symbol_attribute *, locus *);
1579try gfc_add_external (symbol_attribute *, locus *);
1580try gfc_add_intrinsic (symbol_attribute *, locus *);
1581try gfc_add_optional (symbol_attribute *, locus *);
1582try gfc_add_pointer (symbol_attribute *, locus *);
1583try gfc_add_result (symbol_attribute *, locus *);
1584try gfc_add_save (symbol_attribute *, locus *);
1585try gfc_add_saved_common (symbol_attribute *, locus *);
1586try gfc_add_target (symbol_attribute *, locus *);
1587try gfc_add_dummy (symbol_attribute *, locus *);
1588try gfc_add_generic (symbol_attribute *, locus *);
1589try gfc_add_common (symbol_attribute *, locus *);
1590try gfc_add_in_common (symbol_attribute *, locus *);
9056bd70 1591try gfc_add_data (symbol_attribute *, locus *);
6de9cd9a
DN
1592try gfc_add_in_namelist (symbol_attribute *, locus *);
1593try gfc_add_sequence (symbol_attribute *, locus *);
1594try gfc_add_elemental (symbol_attribute *, locus *);
1595try gfc_add_pure (symbol_attribute *, locus *);
1596try gfc_add_recursive (symbol_attribute *, locus *);
1597try gfc_add_function (symbol_attribute *, locus *);
1598try gfc_add_subroutine (symbol_attribute *, locus *);
1599
1600try gfc_add_access (symbol_attribute *, gfc_access, locus *);
1601try gfc_add_flavor (symbol_attribute *, sym_flavor, locus *);
1602try gfc_add_entry (symbol_attribute *, locus *);
1603try gfc_add_procedure (symbol_attribute *, procedure_type, locus *);
1604try gfc_add_intent (symbol_attribute *, sym_intent, locus *);
1605try gfc_add_explicit_interface (gfc_symbol *, ifsrc,
1606 gfc_formal_arglist *, locus *);
1607try gfc_add_type (gfc_symbol *, gfc_typespec *, locus *);
1608
1609void gfc_clear_attr (symbol_attribute *);
1610try gfc_missing_attr (symbol_attribute *, locus *);
1611try gfc_copy_attr (symbol_attribute *, symbol_attribute *, locus *);
1612
1613try gfc_add_component (gfc_symbol *, const char *, gfc_component **);
1614gfc_symbol *gfc_use_derived (gfc_symbol *);
1615gfc_symtree *gfc_use_derived_tree (gfc_symtree *);
1616gfc_component *gfc_find_component (gfc_symbol *, const char *);
1617
1618gfc_st_label *gfc_get_st_label (int);
1619void gfc_free_st_label (gfc_st_label *);
1620void gfc_define_st_label (gfc_st_label *, gfc_sl_type, locus *);
1621try gfc_reference_st_label (gfc_st_label *, gfc_sl_type);
1622
1623gfc_namespace *gfc_get_namespace (gfc_namespace *);
1624gfc_symtree *gfc_new_symtree (gfc_symtree **, const char *);
1625gfc_symtree *gfc_find_symtree (gfc_symtree *, const char *);
1626gfc_user_op *gfc_get_uop (const char *);
1627gfc_user_op *gfc_find_uop (const char *, gfc_namespace *);
1628void gfc_free_symbol (gfc_symbol *);
1629gfc_symbol *gfc_new_symbol (const char *, gfc_namespace *);
1630int gfc_find_symbol (const char *, gfc_namespace *, int, gfc_symbol **);
1631int gfc_find_sym_tree (const char *, gfc_namespace *, int, gfc_symtree **);
1632int gfc_get_symbol (const char *, gfc_namespace *, gfc_symbol **);
1633int gfc_get_sym_tree (const char *, gfc_namespace *, gfc_symtree **);
1634int gfc_get_ha_symbol (const char *, gfc_symbol **);
1635int gfc_get_ha_sym_tree (const char *, gfc_symtree **);
1636
1637int gfc_symbols_could_alias (gfc_symbol *, gfc_symbol *);
1638
1639void gfc_undo_symbols (void);
1640void gfc_commit_symbols (void);
1641void gfc_free_namespace (gfc_namespace *);
1642
1643void gfc_symbol_init_2 (void);
1644void gfc_symbol_done_2 (void);
1645
9056bd70 1646void gfc_traverse_symtree (gfc_symtree *, void (*)(gfc_symtree *));
6de9cd9a
DN
1647void gfc_traverse_ns (gfc_namespace *, void (*)(gfc_symbol *));
1648void gfc_traverse_user_op (gfc_namespace *, void (*)(gfc_user_op *));
1649void gfc_save_all (gfc_namespace *);
1650
1651void gfc_symbol_state (void);
1652
c9543002
TS
1653gfc_gsymbol *gfc_get_gsymbol (char *);
1654gfc_gsymbol *gfc_find_gsymbol (gfc_gsymbol *, char *);
1655
6de9cd9a
DN
1656/* intrinsic.c */
1657extern int gfc_init_expr;
1658
1659/* Given a symbol that we have decided is intrinsic, mark it as such
1660 by placing it into a special module that is otherwise impossible to
1661 read or write. */
1662
1663#define gfc_intrinsic_symbol(SYM) strcpy (SYM->module, "(intrinsic)")
1664
1665void gfc_intrinsic_init_1 (void);
1666void gfc_intrinsic_done_1 (void);
1667
1668char gfc_type_letter (bt);
1669gfc_symbol * gfc_get_intrinsic_sub_symbol (const char *);
1670try gfc_convert_type (gfc_expr *, gfc_typespec *, int);
1671try gfc_convert_type_warn (gfc_expr *, gfc_typespec *, int, int);
1672int gfc_generic_intrinsic (const char *);
1673int gfc_specific_intrinsic (const char *);
1674int gfc_intrinsic_name (const char *, int);
1675gfc_intrinsic_sym *gfc_find_function (const char *);
1676
1677match gfc_intrinsic_func_interface (gfc_expr *, int);
1678match gfc_intrinsic_sub_interface (gfc_code *, int);
1679
1680/* simplify.c */
1681void gfc_simplify_init_1 (void);
6de9cd9a
DN
1682
1683/* match.c -- FIXME */
1684void gfc_free_iterator (gfc_iterator *, int);
1685void gfc_free_forall_iterator (gfc_forall_iterator *);
1686void gfc_free_alloc_list (gfc_alloc *);
1687void gfc_free_namelist (gfc_namelist *);
1688void gfc_free_equiv (gfc_equiv *);
1689void gfc_free_data (gfc_data *);
1690void gfc_free_case_list (gfc_case *);
1691
1692/* expr.c */
1693void gfc_free_actual_arglist (gfc_actual_arglist *);
1694gfc_actual_arglist *gfc_copy_actual_arglist (gfc_actual_arglist *);
1695const char *gfc_extract_int (gfc_expr *, int *);
1696
1697gfc_expr *gfc_build_conversion (gfc_expr *);
1698void gfc_free_ref_list (gfc_ref *);
1699void gfc_type_convert_binary (gfc_expr *);
1700int gfc_is_constant_expr (gfc_expr *);
1701try gfc_simplify_expr (gfc_expr *, int);
1702
1703gfc_expr *gfc_get_expr (void);
1704void gfc_free_expr (gfc_expr *);
1705void gfc_replace_expr (gfc_expr *, gfc_expr *);
1706gfc_expr *gfc_int_expr (int);
1707gfc_expr *gfc_logical_expr (int, locus *);
1708mpz_t *gfc_copy_shape (mpz_t *, int);
94538bd1 1709mpz_t *gfc_copy_shape_excluding (mpz_t *, int, gfc_expr *);
6de9cd9a
DN
1710gfc_expr *gfc_copy_expr (gfc_expr *);
1711
1712try gfc_specification_expr (gfc_expr *);
1713
1714int gfc_numeric_ts (gfc_typespec *);
1715int gfc_kind_max (gfc_expr *, gfc_expr *);
1716
1717try gfc_check_conformance (const char *, gfc_expr *, gfc_expr *);
1718try gfc_check_assign (gfc_expr *, gfc_expr *, int);
1719try gfc_check_pointer_assign (gfc_expr *, gfc_expr *);
1720try gfc_check_assign_symbol (gfc_symbol *, gfc_expr *);
1721
54b4ba60 1722gfc_expr *gfc_default_initializer (gfc_typespec *);
294fbfc8
TS
1723gfc_expr *gfc_get_variable_expr (gfc_symtree *);
1724
54b4ba60 1725
6de9cd9a
DN
1726/* st.c */
1727extern gfc_code new_st;
1728
1729void gfc_clear_new_st (void);
1730gfc_code *gfc_get_code (void);
1731gfc_code *gfc_append_code (gfc_code *, gfc_code *);
1732void gfc_free_statement (gfc_code *);
1733void gfc_free_statements (gfc_code *);
1734
1735/* resolve.c */
1736try gfc_resolve_expr (gfc_expr *);
1737void gfc_resolve (gfc_namespace *);
1738int gfc_impure_variable (gfc_symbol *);
1739int gfc_pure (gfc_symbol *);
1740int gfc_elemental (gfc_symbol *);
1741try gfc_resolve_iterator (gfc_iterator *);
1742try gfc_resolve_index (gfc_expr *, int);
1743
1744/* array.c */
1745void gfc_free_array_spec (gfc_array_spec *);
1746gfc_array_ref *gfc_copy_array_ref (gfc_array_ref *);
1747
1748try gfc_set_array_spec (gfc_symbol *, gfc_array_spec *, locus *);
1749gfc_array_spec *gfc_copy_array_spec (gfc_array_spec *);
1750try gfc_resolve_array_spec (gfc_array_spec *, int);
1751
1752int gfc_compare_array_spec (gfc_array_spec *, gfc_array_spec *);
1753
1754gfc_expr *gfc_start_constructor (bt, int, locus *);
1755void gfc_append_constructor (gfc_expr *, gfc_expr *);
1756void gfc_free_constructor (gfc_constructor *);
1757void gfc_simplify_iterator_var (gfc_expr *);
1758try gfc_expand_constructor (gfc_expr *);
1759int gfc_constant_ac (gfc_expr *);
1760int gfc_expanded_ac (gfc_expr *);
1761try gfc_resolve_array_constructor (gfc_expr *);
1762try gfc_check_constructor_type (gfc_expr *);
1763try gfc_check_iter_variable (gfc_expr *);
1764try gfc_check_constructor (gfc_expr *, try (*)(gfc_expr *));
1765gfc_constructor *gfc_copy_constructor (gfc_constructor * src);
1766gfc_expr *gfc_get_array_element (gfc_expr *, int);
1767try gfc_array_size (gfc_expr *, mpz_t *);
1768try gfc_array_dimen_size (gfc_expr *, int, mpz_t *);
1769try gfc_array_ref_shape (gfc_array_ref *, mpz_t *);
1770gfc_array_ref *gfc_find_array_ref (gfc_expr *);
1771void gfc_insert_constructor (gfc_expr *, gfc_constructor *);
1772gfc_constructor *gfc_get_constructor (void);
1773tree gfc_conv_array_initializer (tree type, gfc_expr * expr);
1774try spec_size (gfc_array_spec *, mpz_t *);
4077d207 1775int gfc_is_compile_time_shape (gfc_array_spec *);
6de9cd9a
DN
1776
1777/* interface.c -- FIXME: some of these should be in symbol.c */
1778void gfc_free_interface (gfc_interface *);
1779int gfc_compare_types (gfc_typespec *, gfc_typespec *);
1780void gfc_check_interfaces (gfc_namespace *);
1781void gfc_procedure_use (gfc_symbol *, gfc_actual_arglist **, locus *);
1782gfc_symbol *gfc_search_interface (gfc_interface *, int,
1783 gfc_actual_arglist **);
1784try gfc_extend_expr (gfc_expr *);
1785void gfc_free_formal_arglist (gfc_formal_arglist *);
1786try gfc_extend_assign (gfc_code *, gfc_namespace *);
1787try gfc_add_interface (gfc_symbol * sym);
1788
1789/* io.c */
1790extern gfc_st_label format_asterisk;
1791
1792void gfc_free_open (gfc_open *);
1793try gfc_resolve_open (gfc_open *);
1794void gfc_free_close (gfc_close *);
1795try gfc_resolve_close (gfc_close *);
1796void gfc_free_filepos (gfc_filepos *);
1797try gfc_resolve_filepos (gfc_filepos *);
1798void gfc_free_inquire (gfc_inquire *);
1799try gfc_resolve_inquire (gfc_inquire *);
1800void gfc_free_dt (gfc_dt *);
1801try gfc_resolve_dt (gfc_dt *);
1802
1803/* module.c */
1804void gfc_module_init_2 (void);
1805void gfc_module_done_2 (void);
1806void gfc_dump_module (const char *, int);
1807
1808/* primary.c */
1809symbol_attribute gfc_variable_attr (gfc_expr *, gfc_typespec *);
1810symbol_attribute gfc_expr_attr (gfc_expr *);
1811
1812/* trans.c */
1813void gfc_generate_code (gfc_namespace *);
1814void gfc_generate_module_code (gfc_namespace *);
1815
1816/* bbt.c */
1817typedef int (*compare_fn) (void *, void *);
1818void gfc_insert_bbt (void *, void *, compare_fn);
1819void gfc_delete_bbt (void *, void *, compare_fn);
1820
1821/* dump-parse-tree.c */
1822void gfc_show_namespace (gfc_namespace *);
1823
1824/* parse.c */
1825try gfc_parse_file (void);
1826
53814b8f 1827#endif /* GCC_GFORTRAN_H */