gcc/ch/ch-tree.h

   1 /* Definitions for CHILL parsing and type checking.
   2    Copyright (C) 1992, 93, 1994 Free Software Foundation, Inc.
   3
   4 This file is part of GNU CC.
   5
   6 GNU CC is free software; you can redistribute it and/or modify
   7 it under the terms of the GNU General Public License as published by
   8 the Free Software Foundation; either version 2, or (at your option)
   9 any later version.
  10
  11 GNU CC is distributed in the hope that it will be useful,
  12 but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 GNU General Public License for more details.
  15
  16 You should have received a copy of the GNU General Public License
  17 along with GNU CC; see the file COPYING.  If not, write to
  18 the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
  19
  20 #ifndef _CH_TREE_H
  21 #define _CH_TREE_H
  22
  23 /* Usage of TREE_LANG_FLAG_?:
  24    1: TUPLE_NAMED_FIELD
  25    "  TYPE_FIELDS_READONLY (in ARRAY_TYPE, RECORD_TYPE or UNION_TYPE)
  26    "  C_DECLARED_LABEL_FLAG
  27    "  C_TYPE_VARIABLE_SIZE
  28    2: C_TYPE_FIELDS_VOLATILE (in RECORD_TYPE or UNION_TYPE)
  29    "  ELSE_LABEL_SPECIFIED (in CASE selector expression)
  30    3: UNSATISFIED_FLAG
  31    4: CH_USE_SEIZEFILE_RESTRICTED
  32    "  CH_ALREADY_GRANTED
  33    5: CH_DERIVED_FLAG   (in EXPR or DECL)
  34 */
  35
  36 /* Usage of TYPE_LANG_FLAG_?:
  37    0: CH_TYPE_NONVALUE_P
  38    1: C_TYPE_VARIABLE_SIZE
  39    2: CH_IS_ACCESS_MODE
  40    3: CH_IS_BUFFER_MODE
  41    4: CH_IS_EVENT_MODE
  42    5: CH_ENUM_IS_NUMBERED
  43    6: CH_IS_TEXT_MODE
  44 */
  45
  46 /* Language-dependent contents of an identifier.  */
  47
  48 struct lang_identifier
  49 {
  50   /* These match the fields in c-tree.h. */
  51   struct tree_identifier ignore;
  52   tree outer_value, local_value, implicit_decl;
  53   tree error_locus, limbo_value;
  54
  55   /* These are Chill-specific. */
  56   tree forbid;
  57   tree signal_dest;
  58   int  signal_data;
  59 };
  60
  61 /* Macros for access to language-specific slots in an identifier.  */
  62
  63 /* The outer_value is a chain of decls (normally a single decl),
  64    that have been granted into the scope surrounding all modules. */
  65 #define IDENTIFIER_OUTER_VALUE(NODE)    \
  66   (((struct lang_identifier *)(NODE))->outer_value)
  67 #define IDENTIFIER_LOCAL_VALUE(NODE)    \
  68   (((struct lang_identifier *)(NODE))->local_value)
  69 #define IDENTIFIER_IMPLICIT_DECL(NODE)  \
  70   (((struct lang_identifier *)(NODE))->implicit_decl)
  71 #define IDENTIFIER_ERROR_LOCUS(NODE)    \
  72   (((struct lang_identifier *)(NODE))->error_locus)
  73 #define IDENTIFIER_FORBID(NODE)         \
  74   (((struct lang_identifier *)(NODE))->forbid)
  75
  76 /* The nesting level increates by one for every nested 'group'.
  77    Predefined declarations have level -1; the global scope is level 0.
  78  */
  79 #define DECL_NESTING_LEVEL(DECL) \
  80    ((DECL)->decl.vindex ? TREE_INT_CST_LOW((DECL)->decl.vindex) : -1)
  81
  82 /* Nesting of things that can have an ON-unit attached. */
  83 extern int action_nesting_level;
  84
  85 /* The DECL_NAME of a FIELD_DECL that represents the ELSE part of a variant. */
  86 #define ELSE_VARIANT_NAME ridpointers[(int) RID_ELSE]
  87
  88 /* For a LABEL_DECL:  action_nesting_level of its target. */
  89 #define DECL_ACTION_NESTING_LEVEL(NODE) ((NODE)->decl.saved_insns.i)
  90
  91 #define DECL_OLD_PREFIX(DECL) ((DECL)->decl.initial)
  92 #define DECL_NEW_PREFIX(DECL) ((DECL)->decl.result)
  93 #define DECL_POSTFIX(DECL) ((DECL)->decl.arguments)
  94 extern tree ALL_POSTFIX;
  95 #define DECL_SEIZEFILE(DECL) ((DECL)->decl.size)
  96 #define DECL_POSTFIX_ALL(DECL) (DECL_POSTFIX(DECL) == ALL_POSTFIX)
  97 #define DECL_OLD_NAME(DECL) decl_old_name(DECL)
  98 /* For a siezefile name this means restricted usage of this file.
  99    In this case, the USE_SEIZE_FILE directive will not be copied
 100    into the grant file */
 101 #define CH_USE_SEIZEFILE_RESTRICTED(NODE) TREE_LANG_FLAG_4(NODE)
 102 extern tree decl_old_name PROTO ((tree));
 103
 104 /* for selective granting, mark as already granted */
 105 #define CH_ALREADY_GRANTED(NODE) TREE_LANG_FLAG_4(NODE)
 106
 107 /* to store the receiving process of that signal
 108    at definition time */
 109 #define IDENTIFIER_SIGNAL_DEST(NODE)    \
 110   (((struct lang_identifier *)(NODE))->signal_dest)
 111
 112 /* indicates a signal with no data */
 113 #define IDENTIFIER_SIGNAL_DATA(NODE)    \
 114   (((struct lang_identifier *)(NODE))->signal_data)
 115
 116 /* In identifiers, C uses the following fields in a special way:
 117    TREE_PUBLIC        to record that there was a previous local extern decl.
 118    TREE_USED          to record that such a decl was used.
 119    TREE_ADDRESSABLE   to record that the address of such a decl was used.  */
 120
 121 /* Nonzero means reject anything that Z.200 Recommendation forbids.  */
 122 extern int pedantic;
 123
 124 /* the prototypical CHILL INSTANCE type */
 125 extern tree instance_type_node;
 126
 127 /* Non-zero if type or expr depends on non-resolved identifier. */
 128 #define UNSATISFIED(expr) \
 129   (UNSATISFIED_FLAG (expr) || TREE_CODE (expr) == IDENTIFIER_NODE)
 130 #define UNSATISFIED_FLAG(expr) TREE_LANG_FLAG_3 (expr)
 131
 132 /* Non-zero in a TREE_LIST if part of a labelled structure tuple. */
 133 #define TUPLE_NAMED_FIELD(LIST) TREE_LANG_FLAG_1(LIST)
 134
 135 /* In an ARRAY_TYPE, RECORD_TYPE or UNION_TYPE, nonzero if any component
 136    is read-only.  */
 137 #define TYPE_FIELDS_READONLY(type) TREE_LANG_FLAG_1 (type)
 138
 139 /* True if TYPE has the "read-only property." */
 140 #define TYPE_READONLY_PROPERTY(TYPE) \
 141   (TYPE_READONLY (TYPE) || TYPE_FIELDS_READONLY (TYPE))
 142
 143 /* In a RECORD_TYPE or UNION_TYPE, nonzero if any component is volatile.  */
 144 #define C_TYPE_FIELDS_VOLATILE(type) TREE_LANG_FLAG_2 (type)
 145
 146 /* In a CASE selector expression, nonzero if any alternative specifies (ELSE) for
 147    that selector. */
 148 #define ELSE_LABEL_SPECIFIED(expr) TREE_LANG_FLAG_2 (expr)
 149
 150 /* CH_CHARS_TYPE_P(TYPE) is true iff TYPE is a character string type.
 151
 152    There is no essential difference between a string and a (one-dimensional)
 153    character array, at least for non-varying types.  I don't know where
 154    the Chill designers got the idea that it was useful to make a distinction.
 155    (I suspect packing might be involved, but on a byte-adressable machine
 156    we don't care.)  Since we want the same code to be generated for
 157    char arrays as for char strings, we use the same representation for
 158    both.  But we still need to distinguish them for the sake a Chill
 159    type checking.  We do that using TYPE_STRING_FLAG. */
 160
 161 #define MARK_AS_STRING_TYPE(TYPE) (TYPE_STRING_FLAG (TYPE) = 1)
 162
 163 #define CH_CHARS_TYPE_P(type) \
 164   (TREE_CODE (type) == ARRAY_TYPE && TREE_CODE(TREE_TYPE(type)) == CHAR_TYPE \
 165    && TYPE_STRING_FLAG (type))
 166
 167 /* True if TYPE is CHARS(1). */
 168 #define CH_CHARS_ONE_P(TYPE) (CH_CHARS_TYPE_P(TYPE) \
 169    && integer_zerop (TYPE_MAX_VALUE (TYPE_DOMAIN (TYPE))))
 170
 171 /* True if TYPE is a bitstring (BOOLS or BIT) type.
 172    The TYPE_STRING_FLAG is used to distinguish a bitstring from a powerset. */
 173
 174 #define CH_BOOLS_TYPE_P(type) \
 175   (TREE_CODE (type) == SET_TYPE && TYPE_STRING_FLAG (type))
 176
 177 /* True if TYPE is BOOLS(1). */
 178 #define CH_BOOLS_ONE_P(TYPE) (CH_BOOLS_TYPE_P(TYPE) \
 179    && integer_zerop (TYPE_MAX_VALUE (TYPE_DOMAIN (TYPE))))
 180
 181 /* Value is nonzero if TYPE is a CHILL string type.
 182    See CH_CHARS_TYPE_P and CH_BOOLS_TYPE_P above. */
 183
 184 #define CH_STRING_TYPE_P(type) \
 185  ((TREE_CODE (type) == ARRAY_TYPE || TREE_CODE (type) == SET_TYPE) \
 186   && TYPE_STRING_FLAG (type))
 187
 188 /* In a RECORD_TYPE, a sorted array of the fields of the type.  */
 189 struct lang_type_record
 190 {
 191   int  len;
 192   tree tasking_code_decl;
 193   tree elts[1];
 194 };
 195
 196 struct lang_type
 197 {
 198   union
 199     {
 200       struct lang_type_record rec;
 201     } foo;
 202 };
 203
 204 struct lang_decl
 205 {
 206   union
 207     {
 208       tree stuff;
 209     } foo;
 210 };
 211 /* A tasking type's corresponding tasking_code_variable has its
 212    decl pointer in here. */
 213 #define DECL_TASKING_CODE_DECL(DECL) (DECL_LANG_SPECIFIC(DECL))
 214
 215 /* A pointer to an as-yet undefined type.  */
 216 extern tree unknown_type_node;
 217
 218 /* The CHILL type INT (either integer_type_node or
 219    short_integer_type_node). */
 220 extern tree chill_integer_type_node;
 221 extern tree chill_unsigned_type_node;
 222
 223 /* Nonzero for FIELD_DECL node means that this FIELD_DECL is
 224    a member of a union construct.  */
 225 #define TREE_UNION_ELEM(NODE) ((NODE)->decl.regdecl_flag) /* overloaded! */
 226
 227 /* Mark which labels are explicitly declared.
 228    These may be shadowed, and may be referenced from nested functions.  */
 229 #define C_DECLARED_LABEL_FLAG(label) TREE_LANG_FLAG_1 (label)
 230
 231 /* Record whether a type was written with nonconstant size.
 232    Note that TYPE_SIZE may have simplified to a constant.  */
 233 #define C_TYPE_VARIABLE_SIZE(type) TYPE_LANG_FLAG_1 (type)
 234
 235 #define DECL_WEAK_NAME(DECL) DECL_LANG_FLAG_0(DECL)
 236
 237 /* These are for FUNCTION_DECLs.  */
 238 #define CH_DECL_GENERAL(DECL) DECL_LANG_FLAG_1(DECL)
 239 #define CH_DECL_SIMPLE(DECL) DECL_LANG_FLAG_2(DECL)
 240 #define CH_DECL_RECURSIVE(DECL) DECL_LANG_FLAG_3(DECL)
 241 #define CH_FUNCTION_SETS_RESULT(DECL) DECL_LANG_FLAG_6(DECL)
 242
 243 /* For a CONST_DECL, indicates that it was implicitly declared
 244    in a SET mode declaration, and it should not be explicitly granted. */
 245 #define CH_DECL_ENUM(DECL)  DECL_LANG_FLAG_3(DECL)
 246
 247 /* in a FIELD_DECL use DECL_LANG_FLAG_4 to mark FORBID in a grant-statement */
 248 #define CH_DECL_FORBID(DECL) DECL_LANG_FLAG_4(DECL)
 249
 250 /* in an ALIAS_DECL use DECL_LANG_FLAG_4 to mark decl was granted */
 251 #define CH_DECL_GRANTED(DECL) DECL_LANG_FLAG_4(DECL)
 252
 253 /* (in a non-FIELD_DECL) note that this decl was hidden by push_module(). */
 254 #define DECL_HIDDEN_BY_MODULE(decl) DECL_LANG_FLAG_4 (decl)
 255
 256 /* Record in each node resulting from a binary operator
 257    what operator was specified for it.  */
 258 #define C_EXP_ORIGINAL_CODE(exp) ((enum tree_code) TREE_COMPLEXITY (exp))
 259
 260 /* Store a value in that field.  */
 261 #define C_SET_EXP_ORIGINAL_CODE(exp, code) \
 262   (TREE_COMPLEXITY (exp) = (int)(code))
 263
 264 /* Record whether a typedef for type `int' was actually `signed int'.  */
 265 #define C_TYPEDEF_EXPLICITLY_SIGNED(exp) DECL_LANG_FLAG_1 ((exp))
 266
 267 /* For FUNCTION_TYPE, a hidden list of types of arguments.  The same as
 268    TYPE_ARG_TYPES for functions with prototypes, but created for functions
 269    without prototypes.  */
 270 #define TYPE_ACTUAL_ARG_TYPES(NODE) TYPE_NONCOPIED_PARTS (NODE)
 271
 272 /* For FUNCTION_TYPE or METHOD_TYPE, a list of the
 273    (names of) exceptions that this type can raise.  */
 274 #define TYPE_RAISES_EXCEPTIONS(NODE) ((NODE)->type.minval)
 275
 276 /* For UNION_TYPE, the list of tag fields that distinguishes the members.  */
 277 #define TYPE_TAGFIELDS(NODE) ((NODE)->type.minval)
 278
 279 /* For RECORD_TYPE, the tag values that select it.  */
 280 #define TYPE_TAG_VALUES(NODE) TYPE_BINFO(NODE)
 281
 282 /* For VAR_DECL, TYPE_DECL, FUNCTION_DECL, indicates that
 283    the DECL was read from a seizefile but not seized */
 284 #define CH_DECL_NOTDECLARED(DECL) DECL_LANG_FLAG_5(DECL)
 285
 286 /* For FUNCTION_DECL's, mark as PROCESSEs. */
 287 #define CH_DECL_PROCESS(DECL) DECL_LANG_FLAG_7(DECL)
 288
 289 /* For TYPE_DECL's, mark as SIGNALs. */
 290 #define CH_DECL_SIGNAL(DECL) DECL_LANG_FLAG_7(DECL)
 291 \f
 292 /* Macros using terminology of the CHILL Blue Book. */
 293
 294 /* A class is either Null, All, M-value, M-derived, or M-reference,
 295    where M is some mode (type). */
 296
 297 enum ch_class_kind {
 298   CH_ALL_CLASS, CH_NULL_CLASS,
 299   CH_VALUE_CLASS, CH_DERIVED_CLASS, CH_REFERENCE_CLASS
 300 };
 301
 302 typedef struct ch_class {
 303   enum ch_class_kind kind;
 304   tree mode;  /* The 'M' in M-value, M-derived, or M-reference. */
 305 } ch_class;
 306
 307 struct mode_chain;  /* Forward reference */
 308
 309 #define CH_IS_REFERENCE_MODE(MODE) (TREE_CODE (MODE) == POINTER_TYPE)
 310 #define CH_IS_BOUND_REFERENCE_MODE(MODE) \
 311   (TREE_CODE (MODE) == POINTER_TYPE && TREE_TYPE(MODE) != void_type_node)
 312 #define CH_IS_PROCEDURE_MODE(MODE) (TREE_CODE (MODE) == FUNCTION_TYPE)
 313 #define CH_IS_INSTANCE_MODE(MODE)  (CH_SIMILAR (MODE, instance_type_node))
 314 #define CH_IS_BUFFER_MODE(MODE)    (TYPE_LANG_FLAG_3(MODE))
 315 #define CH_IS_EVENT_MODE(MODE)     (TYPE_LANG_FLAG_4(MODE))
 316 /* This is TRUE if the set is numbered, which makes pred/succ
 317    unusable */
 318 #define CH_ENUM_IS_NUMBERED(MODE)  (TYPE_LANG_FLAG_5(MODE))
 319
 320 /* for ACCESS, and TEXT mode */
 321 #define CH_IS_ACCESS_MODE(MODE)        (TYPE_LANG_FLAG_2(MODE))
 322 #define CH_IS_TEXT_MODE(MODE)          (TYPE_LANG_FLAG_6(MODE))
 323 #define CH_IS_ASSOCIATION_MODE(MODE)   (CH_SIMILAR (MODE, association_type_node))
 324 #define CH_IS_USAGE_MODE(MODE)         (CH_SIMILAR (MODE, usage_type_node))
 325 #define CH_IS_WHERE_MODE(MODE)         (CH_SIMILAR (MODE, where_type_node))
 326
 327 /* for RECORD or ARRAY type */
 328 #define CH_TYPE_NONVALUE_P(MODE)       (TYPE_LANG_FLAG_0(MODE))
 329
 330 /* CH_NOVELTY is the novelty of a mode:  NULL_TREE means the novelty is nil;
 331    otherwise a TYPE_DECL matching the defining occurrence of a newmode. */
 332 #define CH_NOVELTY(MODE)           TYPE_CONTEXT(MODE)
 333
 334 /* Set the novelty of MODE to NOVELTY (which is assumed to be non-nil). */
 335 #define SET_CH_NOVELTY(MODE, NOVELTY) (CH_NOVELTY (MODE) = (NOVELTY))
 336 #define SET_CH_NOVELTY_NONNIL(MODE, NOVELTY) (CH_NOVELTY (MODE) = (NOVELTY))
 337
 338 /* CH_DERIVED_FLAG is true the class of EXPR is X-derived for some X. */
 339 #define CH_DERIVED_FLAG(EXPR) TREE_LANG_FLAG_5(EXPR)
 340
 341 #define CH_HAS_REFERENCING_PROPERTY(MODE) \
 342   (TREE_CODE (MODE) == POINTER_TYPE) /* incomplete FIXME! */
 343
 344 /* CH_COMPATIBLE(EXPR, MODE) is true if the class of EXPR is
 345    "compatible" with the type MODE. */
 346 #define CH_COMPATIBLE(EXPR, MODE)           chill_compatible(EXPR, MODE)
 347 #define CH_COMPATIBLE_CLASSES(EXPR1, EXPR2) chill_compatible_classes(EXPR1, EXPR2)
 348 #define CH_STATIC_MODE(MODE)                  1 /* for now */
 349 #define CH_SIMILAR(MODE1, MODE2)              chill_similar(MODE1, MODE2, 0)
 350 #define CH_ROOT_MODE(MODE) chill_root_mode(MODE)
 351 #define CH_RESULTING_CLASS(C1, C2) chill_resulting_class(C1, C2)
 352 #define CH_ROOT_RESULTING_CLASS(E1, E2) \
 353   CH_RESULTING_CLASS (chill_expr_class(E1), chill_expr_class(E2))
 354 #define CH_RESULTING_MODE(MODE1, MODE2) chill_resulting_mode(MODE1, MODE2)
 355 #define CH_V_EQUIVALENT(MODE1, MODE2) (CH_SIMILAR(MODE1, MODE2) \
 356    && CH_NOVELTY(MODE1) == CH_NOVELTY(MODE2))
 357 #define CH_EQUIVALENT(MODE1, MODE2) \
 358   (!integer_zerop (chill_equivalent (MODE1, MODE2, 0)))
 359 #define CH_RESTRICTABLE_TO(MODE1, MODE2)  \
 360     CH_EQUIVALENT(MODE1, MODE2) /* && some more stuff FIXME! */
 361
 362 /* pass an OFFSET_TYPE or REFERENCE_TYPE's underlying type to SCALAR_P */
 363 #define CH_READ_COMPATIBLE(modeM, modeN) chill_read_compatible(modeM, modeN)
 364
 365 #define SCALAR_P(TYPE) (TYPE != NULL_TREE \
 366                         && (TREE_CODE (TYPE) == INTEGER_TYPE \
 367                             || TREE_CODE (TYPE) == REAL_TYPE \
 368                             || TREE_CODE (TYPE) == ENUMERAL_TYPE \
 369                             || TREE_CODE (TYPE) == BOOLEAN_TYPE \
 370                             || TREE_CODE (TYPE) == CHAR_TYPE \
 371                             || TREE_CODE (TYPE) == POINTER_TYPE \
 372                             || TREE_CODE (TYPE) == INSTANCE_TYPE))
 373 #define CH_REFERABLE(EXPR) chill_referable(EXPR)
 374 #define CH_LOCATION_P(EXPR) chill_location (EXPR)
 375 \f
 376 extern int maybe_objc_comptypes ();
 377 extern tree maybe_building_objc_message_expr ();
 378 \f
 379 /* Standard named or nameless data types of the C compiler.  */
 380
 381 /* Nonzero means `$' can be in an identifier.  */
 382
 383 extern int dollars_in_ident;
 384
 385 /* Nonzero means allow type mismatches in conditional expressions;
 386    just make their values `void'.   */
 387
 388 extern int flag_cond_mismatch;
 389
 390 /* Nonzero means don't recognize the keyword `asm'.  */
 391
 392 extern int flag_no_asm;
 393
 394 /* Nonzero means ignore `#ident' directives.  */
 395
 396 extern int flag_no_ident;
 397
 398 /* Nonzero means warn about implicit declarations.  */
 399
 400 extern int warn_implicit;
 401
 402 /* Nonzero means give string constants the type `const char *'
 403    to get extra warnings from them.  These warnings will be too numerous
 404    to be useful, except in thoroughly ANSIfied programs.  */
 405
 406 extern int warn_write_strings;
 407
 408 /* Nonzero means warn about sizeof (function) or addition/subtraction
 409    of function pointers.  */
 410
 411 extern int warn_pointer_arith;
 412
 413 /* Nonzero means warn for all old-style non-prototype function decls.  */
 414
 415 extern int warn_strict_prototypes;
 416
 417 /* Nonzero means warn about multiple (redundant) decls for the same single
 418    variable or function.  */
 419
 420 extern int warn_redundant_decls;
 421
 422 /* Nonzero means warn about extern declarations of objects not at
 423    file-scope level and about *all* declarations of functions (whether
 424    extern or static) not at file-scope level.  Note that we exclude
 425    implicit function declarations.  To get warnings about those, use
 426    -Wimplicit.  */
 427
 428 extern int warn_nested_externs;
 429
 430 /* Nonzero means warn about pointer casts that can drop a type qualifier
 431    from the pointer target type.  */
 432
 433 extern int warn_cast_qual;
 434
 435 /* Warn about traditional constructs whose meanings changed in ANSI C.  */
 436
 437 extern int warn_traditional;
 438
 439 /* Warn about *printf or *scanf format/argument anomalies. */
 440
 441 extern int warn_format;
 442
 443 /* Warn about a subscript that has type char.  */
 444
 445 extern int warn_char_subscripts;
 446
 447 /* Warn if a type conversion is done that might have confusing results.  */
 448
 449 extern int warn_conversion;
 450
 451 /* Warn if switch labels aren't complete, or are duplicated */
 452
 453 extern int warn_switch;
 454
 455 /* Nonzero means do some things the same way PCC does.  */
 456
 457 extern int flag_traditional;
 458
 459 /* Nonzero means warn about suggesting putting in ()'s.  */
 460
 461 extern int warn_parentheses;
 462
 463 /* Nonzero means this is a function to call to perform comptypes
 464    on two record types.  */
 465
 466 extern int (*comptypes_record_hook) ();
 467
 468 /* Nonzero means we are reading code that came from a system header file.  */
 469 extern int system_header_p;
 470
 471 /* One means range checking is on; <= 0 off; -1 permanently off. */
 472 extern int range_checking;
 473
 474 /* 0 means empty checking is off, else it is on */
 475 extern int empty_checking;
 476
 477 /* 1 means -fruntime-checking specified (default), o means -fno-runtime-checking */
 478 extern int runtime_checking_flag;
 479
 480 /* Type node for boolean types.  */
 481
 482 extern tree boolean_type_node;
 483 extern tree signed_boolean_type_node;
 484
 485 extern tree string_one_type_node;
 486 extern tree bitstring_one_type_node, bit_zero_node, bit_one_node;
 487
 488 extern tree float_type_node, double_type_node;
 489 extern tree void_type_node, ptr_type_node, const_ptr_type_node;
 490
 491 /* a VOID_TYPE node, packaged in a TREE_LIST.  */
 492
 493 extern tree void_list_node;
 494
 495 /* Chill language-specific tree codes.  */
 496 #define DEFTREECODE(SYM, NAME, TYPE, LENGTH) SYM,
 497 enum chill_tree_code {
 498   __DUMMY = LAST_AND_UNUSED_TREE_CODE,
 499 #include "ch-tree.def"
 500   LAST_CHILL_TREE_CODE
 501 };
 502 #undef DEFTREECODE
 503
 504 enum chill_built_in_function
 505 {
 506   DUMMY_FIRST_CHILL_BUILT_IN = END_BUILTINS,
 507
 508   BUILT_IN_CH_ABS,
 509   BUILT_IN_ABSTIME,
 510   BUILT_IN_ADDR,
 511   BUILT_IN_ALLOCATE,
 512   BUILT_IN_ALLOCATE_GLOBAL_MEMORY,
 513   BUILT_IN_ALLOCATE_MEMORY,
 514   BUILT_IN_ARCCOS,
 515   BUILT_IN_ARCSIN,
 516   BUILT_IN_ARCTAN,
 517   BUILT_IN_ASSOCIATE,
 518   BUILT_IN_CARD,
 519   BUILT_IN_CONNECT,
 520   BUILT_IN_COPY_NUMBER,
 521   BUILT_IN_CH_COS,
 522   BUILT_IN_CREATE,
 523   BUILT_IN_DAYS,
 524   BUILT_IN_CH_DELETE,
 525   BUILT_IN_DESCR,
 526   BUILT_IN_DISCONNECT,
 527   BUILT_IN_DISSOCIATE,
 528   BUILT_IN_EOLN,
 529   BUILT_IN_EXP,
 530   BUILT_IN_EXPIRED,
 531   BUILT_IN_EXISTING,
 532   BUILT_IN_GEN_CODE,
 533   BUILT_IN_GEN_INST,
 534   BUILT_IN_GEN_PTYPE,
 535   BUILT_IN_GETASSOCIATION,
 536   BUILT_IN_GETSTACK,
 537   BUILT_IN_GETTEXTACCESS,
 538   BUILT_IN_GETTEXTINDEX,
 539   BUILT_IN_GETTEXTRECORD,
 540   BUILT_IN_GETUSAGE,
 541   BUILT_IN_HOURS,
 542   BUILT_IN_INDEXABLE,
 543   BUILT_IN_INTTIME,
 544   BUILT_IN_ISASSOCIATED,
 545   BUILT_IN_LENGTH,
 546   BUILT_IN_LOG,
 547   BUILT_IN_LOWER,
 548   BUILT_IN_LN,
 549   BUILT_IN_MAX,
 550   BUILT_IN_MILLISECS,
 551   BUILT_IN_MIN,
 552   BUILT_IN_MINUTES,
 553   BUILT_IN_MODIFY,
 554   BUILT_IN_NUM,
 555   BUILT_IN_OUTOFFILE,
 556   BUILT_IN_PRED,
 557   BUILT_IN_PROC_TYPE,
 558   BUILT_IN_QUEUE_LENGTH,
 559   BUILT_IN_READABLE,
 560   BUILT_IN_READRECORD,
 561   BUILT_IN_READTEXT,
 562   BUILT_IN_RETURN_MEMORY,
 563   BUILT_IN_SECS,
 564   BUILT_IN_SETTEXTACCESS,
 565   BUILT_IN_SETTEXTINDEX,
 566   BUILT_IN_SETTEXTRECORD,
 567   BUILT_IN_SEQUENCIBLE,
 568   BUILT_IN_SIZE,
 569   BUILT_IN_SQRT,
 570   BUILT_IN_SUCC,
 571   BUILT_IN_CH_SIN,
 572   BUILT_IN_TAN,
 573   BUILT_IN_TRUNC,
 574   BUILT_IN_TERMINATE,
 575   BUILT_IN_UPPER,
 576   BUILT_IN_VARIABLE,
 577   BUILT_IN_WAIT,
 578   BUILT_IN_WRITEABLE,
 579   BUILT_IN_WRITERECORD,
 580   BUILT_IN_WRITETEXT,
 581 };
 582 \f
 583 /* name of additional (compiler generated) arguments for
 584    functions which may propagate exceptions. */
 585 #define CALLER_FILE "__CALLER_FILE__"
 586 #define CALLER_LINE "__CALLER_LINE__"
 587
 588 /* field-name strings for the fields of the structure which
 589    represents a CHILL VARYING array.  The angle brackets assure
 590    that no user-defined structure can match this one.
 591    This field holds, at runtime, the current length of the
 592    array, in UNITS, not including the length itself. It's an
 593    integer_type_node */
 594 #define VAR_LENGTH "__var_length"
 595
 596 /* This field is statically allocated to the user-defined
 597    size, but contains valid array entries starting from the
 598    first allocated space, proceeding for VAR_LENGTH bytes.
 599    There are no holes in the data;  the user isn't allowed
 600    to store beyond the first available entry. */
 601
 602 #define VAR_DATA "__var_data"
 603
 604 /* This field is the name of the array, encapsulated in the CHILL
 605    structure used to represent an array type parameter. */
 606 /*#define ARRAY_DATA "__array_data"*/
 607
 608 /* The CHILL INSTANCE type is composed of two CHILL integer
 609    fields, the process_type (set by the user with the
 610    process_type compiler directive, and the proc_copy field,
 611    which is set by the start_process call's first parameter. */
 612 #define INS_PTYPE "__proc_type"
 613 #define INS_COPY  "__proc_copy"
 614
 615 /* This is the actual array type inside the VARYING struct */
 616 #define CH_VARYING_ARRAY_TYPE(TYPE) TREE_TYPE (TREE_CHAIN (TYPE_FIELDS (TYPE)))
 617
 618 /* Identifiers which hold the VAR_LENGTH and VAR_DATA strings.  */
 619 extern tree var_length_id;
 620 extern tree var_data_id;
 621
 622 /* A RANGE_EXPR representing an ELSE in a case label. */
 623 extern tree case_else_node;
 624
 625 #if 0   /* changed to function */
 626 /* return non-zero if type is a compiler-generated VARYING array record */
 627 #define CH_VARYING_TYPE_P(type) (TREE_CODE (type) == RECORD_TYPE && \
 628                            DECL_NAME (TYPE_FIELDS (type)) == \
 629                                       get_identifier (VAR_LENGTH) && \
 630                            DECL_NAME (TREE_CHAIN (TYPE_FIELDS (type))) == \
 631                                       get_identifier (VAR_DATA) && \
 632                    TREE_CHAIN (CH_VARYING_ARRAY_TYPE (type)) == NULL_TREE)
 633
 634 #endif
 635
 636 /* in c-aux-info.c */
 637 extern void gen_aux_info_record                 PROTO((tree, int, int, int));
 638
 639 /* in c-common.c */
 640 extern tree combine_strings                     PROTO((tree));
 641 extern void constant_expression_warning         PROTO((tree));
 642 extern void decl_attributes                     PROTO((tree, tree));
 643 extern void declare_function_name               PROTO((void));
 644 #ifdef BUFSIZ
 645 extern char *get_directive_line                 PROTO((FILE *));
 646 #endif
 647 extern tree shorten_compare                     PROTO((tree *, tree *, tree *, enum tree_code *));
 648
 649 /* in c-decl.c */
 650 extern tree short_integer_type_node, integer_type_node;
 651 extern tree long_integer_type_node, long_long_integer_type_node;
 652 extern tree short_unsigned_type_node, unsigned_type_node;
 653 extern tree long_unsigned_type_node, long_long_unsigned_type_node;
 654 extern tree ptrdiff_type_node;
 655 extern tree unsigned_char_type_node, signed_char_type_node, char_type_node;
 656 extern tree wchar_type_node, signed_wchar_type_node, unsigned_wchar_type_node;
 657 extern tree float_type_node, double_type_node, long_double_type_node;
 658 extern tree void_type_node, ptr_type_node, const_ptr_type_node;
 659 extern tree default_function_type;
 660 extern tree double_ftype_double, double_ftype_double_double;
 661 extern tree int_ftype_int, long_ftype_long;
 662 extern tree void_ftype_ptr_ptr_int, int_ftype_ptr_ptr_int;
 663 extern tree void_ftype_ptr_int_int, string_ftype_ptr_ptr;
 664 extern tree int_ftype_string_string, int_ftype_cptr_cptr_sizet;
 665 /* Nodes for boolean constants TRUE and FALSE */
 666 extern tree boolean_true_node, boolean_false_node;
 667
 668 extern tree global_function_decl;
 669
 670 /* in except.c */
 671 extern void except_init_pass_2                  PROTO((void));
 672
 673 /* in ch-loop.c */
 674 extern int flag_local_loop_counter;
 675 extern void push_loop_block                     PROTO((void));
 676 extern void pop_loop_block                      PROTO((void));
 677 extern void build_loop_start                    PROTO((tree));
 678 extern void top_loop_end_check                  PROTO((tree));
 679 extern void build_loop_end                      PROTO((void));
 680 extern void build_loop_iterator                 PROTO((tree, tree, tree, tree, int, int, int));
 681 extern void begin_loop_scope                    PROTO((void));
 682 extern void end_loop_scope                      PROTO((tree));
 683 extern void nonvalue_begin_loop_scope           PROTO((void));
 684 extern void nonvalue_end_loop_scope             PROTO((void));
 685
 686 extern tree build_enumerator                    PROTO((tree, tree));
 687 extern tree builtin_function                    PROTO((char *, tree, enum built_in_function function_, char *));
 688 extern tree c_build_type_variant                PROTO((tree, int, int));
 689 extern int  c_decode_option                     PROTO((int, char **));
 690 extern void c_mark_varargs                      PROTO((void));
 691 extern void clear_parm_order                    PROTO((void));
 692 extern tree combine_parm_decls                  PROTO((tree, tree, int));
 693 extern int  complete_array_type                 PROTO((tree, tree, int));
 694 extern void declare_parm_level                  PROTO((int));
 695 extern tree define_label                        PROTO((char *, int, tree));
 696 extern void delete_block                        PROTO((tree));
 697 extern void finish_decl                         PROTO((tree));
 698 extern tree finish_enum                         PROTO((tree, tree));
 699 extern void finish_function                     PROTO((int));
 700 extern tree finish_struct                       PROTO((tree, tree));
 701 extern tree get_parm_decls                      PROTO((void));
 702 extern tree get_parm_info                       PROTO((int));
 703 extern tree getdecls                            PROTO((void));
 704 extern tree gettags                             PROTO((void));
 705 extern int  global_bindings_p                   PROTO((void));
 706 extern tree grokfield                           PROTO((char *, int, tree, tree, tree));
 707 extern tree groktypename                        PROTO((tree));
 708 extern tree groktypename_in_parm_context        PROTO((tree));
 709 extern tree implicitly_declare                  PROTO((tree));
 710 extern void init_decl_processing                PROTO((void));
 711 extern void insert_block                        PROTO((tree));
 712 extern void keep_next_level                     PROTO((void));
 713 extern int  kept_level_p                        PROTO((void));
 714 extern tree lookup_label                        PROTO((tree));
 715 extern tree lookup_name                         PROTO((tree));
 716 extern tree maybe_build_cleanup                 PROTO((tree));
 717 extern void parmlist_tags_warning               PROTO((void));
 718 extern void pending_xref_error                  PROTO((void));
 719 extern void pop_chill_function_context          PROTO((void));
 720 extern tree poplevel                            PROTO((int, int, int));
 721 #ifdef BUFSIZ
 722 extern void print_lang_decl                     PROTO((FILE *,tree, int));
 723 extern void print_lang_identifier               PROTO((FILE *,tree, int));
 724 extern void print_lang_type                     PROTO((FILE *,tree, int));
 725 #endif
 726 extern void push_chill_function_context         PROTO((void));
 727 extern void push_parm_decl                      PROTO((tree));
 728 extern tree pushdecl                            PROTO((tree));
 729 extern tree pushdecl_top_level                  PROTO((tree));
 730 extern void pushlevel                           PROTO((int));
 731 extern void set_block                           PROTO((tree));
 732 extern tree shadow_label                        PROTO((tree));
 733 extern void shadow_record_fields                PROTO((tree));
 734 extern void shadow_tag                          PROTO((tree));
 735 extern void shadow_tag_warned                   PROTO((tree, int));
 736 extern tree start_enum                          PROTO((tree));
 737 extern int  start_function                      PROTO((tree, tree, int));
 738 extern tree start_decl                          PROTO((tree, tree, int));
 739 extern tree start_struct                        PROTO((enum tree_code, tree));
 740 extern void store_parm_decls                    PROTO((void));
 741 extern tree xref_tag                            PROTO((enum tree_code, tree));
 742
 743 /* in c-typeck.c */
 744 extern tree build_array_ref                     PROTO((tree, tree));
 745 extern tree build_c_cast                        PROTO((tree, tree));
 746 extern tree build_chill_modify_expr             PROTO((tree, tree));
 747 extern tree build_chill_component_ref           PROTO((tree, tree));
 748 extern tree build_component_ref                 PROTO((tree, tree));
 749 extern tree build_compound_expr                 PROTO((tree));
 750 extern tree build_conditional_expr              PROTO((tree, tree, tree));
 751 extern tree build_function_call                 PROTO((tree, tree));
 752 extern tree build_indirect_ref                  PROTO((tree, char *));
 753 extern tree build_modify_expr                   PROTO((tree, enum tree_code, tree));
 754 extern tree build_unary_op                      PROTO((enum tree_code, tree, int));
 755 extern tree c_alignof                           PROTO((tree));
 756 extern tree c_alignof_expr                      PROTO((tree));
 757 extern void c_expand_asm_operands               PROTO((tree, tree, tree, tree, int, char *, int));
 758 extern tree c_sizeof                            PROTO((tree));
 759 extern void c_expand_return                     PROTO((tree));
 760 extern tree c_expand_start_case                 PROTO((tree));
 761 extern tree common_type                         PROTO((tree, tree));
 762 extern tree copy_novelty                        PROTO((tree, tree));
 763 extern tree default_conversion                  PROTO((tree));
 764 extern void finish_init                         PROTO((void));
 765 extern tree parser_build_binary_op              PROTO((enum tree_code, tree, tree));
 766 extern tree pop_init_level                      PROTO((int));
 767 extern void process_init_default                PROTO((tree));
 768 extern void process_init_element                PROTO((tree));
 769 extern void push_init_level                     PROTO((int));
 770 extern void really_start_incremental_init       PROTO((tree));
 771 extern void set_init_index                      PROTO((tree, tree));
 772 extern void set_init_label                      PROTO((tree));
 773 extern void start_init                          PROTO((tree, tree, int));
 774 extern void store_init_value                    PROTO((tree, tree));
 775 extern tree valid_array_index_p                 PROTO((tree, tree, char *, int));
 776
 777 /* in ch/actions.c */
 778 extern int grant_only_flag;
 779 extern void allocate_lang_decl                  PROTO((tree));
 780 extern tree build_chill_abs                     PROTO((tree));
 781 extern tree build_chill_array_ref_1             PROTO((tree, tree));
 782 extern tree build_chill_array_ref               PROTO((tree, tree));
 783 extern tree build_chill_bin_type                PROTO((tree));
 784 extern tree build_chill_binary_op               PROTO((enum chill_tree_code, tree, tree));
 785 extern tree build_chill_card                    PROTO((tree));
 786 extern tree build_chill_case_expr               PROTO((tree, tree, tree));
 787 extern tree build_cause_exception               PROTO((tree, int));
 788 extern tree build_chill_exception_decl          PROTO((char *));
 789 extern tree build_chill_function_call           PROTO((tree, tree));
 790 extern tree build_chill_length                  PROTO((tree));
 791 extern tree build_chill_indirect_ref            PROTO((tree, tree, int));
 792 extern tree build_chill_lower                   PROTO((tree));
 793 extern tree build_chill_max                     PROTO((tree));
 794 extern tree build_chill_min                     PROTO((tree));
 795 extern tree build_chill_num                     PROTO((tree));
 796 extern tree build_chill_repetition_op           PROTO((tree, tree));
 797 extern tree build_chill_sizeof                  PROTO((tree));
 798 extern tree build_chill_slice                   PROTO((tree, tree, tree));
 799 extern tree build_chill_slice_with_range        PROTO((tree, tree, tree));
 800 extern tree build_chill_slice_with_length       PROTO((tree, tree, tree));
 801 extern tree build_chill_struct_type             PROTO((tree));
 802 extern tree build_chill_unary_op                PROTO((enum chill_tree_code, tree));
 803 extern tree build_chill_upper                   PROTO((tree));
 804 extern tree build_exception_variant             PROTO((tree, tree));
 805 extern tree build_generalized_call              PROTO((tree, tree));
 806 extern tree build_lang_decl                     PROTO((enum chill_tree_code, tree, tree));
 807 extern tree build_rts_call                      PROTO((char *, tree, tree));
 808 extern tree build_varying_struct                PROTO((tree));
 809 extern void chill_check_decl                    PROTO((tree));
 810 extern tree chill_convert_for_assignment        PROTO((tree, tree, char*));
 811 extern void chill_expand_return                 PROTO((tree, int));
 812 extern void chill_expand_result                 PROTO((tree, int));
 813 extern void chill_handle_case_default           PROTO((void));
 814 extern void chill_handle_case_label             PROTO((tree, tree));
 815 extern int  chill_varying_string_type_p         PROTO((tree));
 816 extern int  chill_varying_type_p                PROTO((tree));
 817 extern int  ch_singleton_set                    PROTO((tree));
 818 extern tree check_expression                    PROTO((tree, tree, tree));
 819 extern void check_missing_cases                 PROTO((tree));
 820 extern tree check_non_null                      PROTO((tree));
 821 extern tree check_range                         PROTO((tree, tree, tree,tree));
 822 extern void cond_type_range_exception           PROTO((tree));
 823 extern void expand_cause_exception              PROTO((tree));
 824 extern tree finish_chill_binary_op              PROTO((tree));
 825 extern tree finish_chill_unary_op               PROTO((tree));
 826 extern tree high_domain_value                   PROTO((tree));
 827 extern tree low_domain_value                    PROTO((tree));
 828 extern tree maybe_array_ref                     PROTO((tree, tree));
 829 extern void maybe_chill_check_decl              PROTO((tree));
 830 extern tree powersetlen                         PROTO((tree));
 831 extern tree test_range                          PROTO((tree, tree, tree));
 832 /* in ch/convert.c */
 833 extern tree build_array_type_for_scalar         PROTO((tree));
 834 extern tree convert                             PROTO((tree, tree));
 835 extern tree convert_from_reference              PROTO((tree));
 836 extern tree convert_to_class                    PROTO((ch_class, tree));
 837 extern char* display_int_cst                    PROTO((tree));
 838
 839 /* in ch/decl.c */
 840 extern tree build_enumerator                    PROTO((tree, tree));
 841 extern tree chill_munge_params                  PROTO((tree, tree, tree));
 842 extern tree build_chill_function_type           PROTO((tree, tree, tree, tree));
 843 extern tree decl_temp1                          PROTO((tree, tree, int, tree, int, int));
 844 extern void do_based_decls                      PROTO((tree, tree, tree));
 845 extern void do_chill_outparms                   PROTO((void));
 846 extern tree do_decl                             PROTO((tree, tree, int, int, tree, int));
 847 extern void do_decls                            PROTO((tree, tree, int, int, tree, int));
 848 extern void expand_chill_outparms               PROTO((void));
 849 extern void find_granted_decls                  PROTO((void));
 850 extern void finish_chill_function               PROTO(());
 851 extern tree finish_enum                         PROTO((tree, tree));
 852 extern void fixup_chill_parms                   PROTO((tree));
 853 extern void finish_outer_function               PROTO((void));
 854 extern unsigned get_type_precision              PROTO((tree, tree));
 855 extern tree grok_chill_fixedfields              PROTO((tree, tree, tree));
 856 extern tree grok_chill_variantdefs              PROTO((tree, tree, tree));
 857 extern void layout_enum                         PROTO((tree));
 858 /* extern tree lookup_remembered_decl PROTO((HOST_WIDE_INT, tree)); */
 859 extern void lookup_and_expand_goto              PROTO((tree));
 860 extern tree lookup_tag_fields                   PROTO((tree, tree));
 861 extern void lookup_and_handle_exit              PROTO((tree));
 862 extern tree massage_param_node                  PROTO((tree, tree));
 863 extern void pop_module                          PROTO((void));
 864 extern void print_mode                          PROTO((tree));
 865 extern tree push_extern_function                PROTO((tree, tree, tree, tree, int));
 866 extern void push_extern_process                 PROTO((tree, tree, tree, int));
 867 extern void push_extern_signal                  PROTO((tree, tree, tree));
 868 extern void push_granted                        PROTO((tree, tree));
 869 extern tree push_modedef                        PROTO((tree, tree, int));
 870 extern tree push_module                         PROTO((tree, int));
 871 extern void push_parms                          PROTO((tree, tree, tree));
 872 extern void push_syndecl                        PROTO((tree, tree, tree));
 873 extern int result_never_set;
 874 extern void save_expr_under_name                PROTO((tree, tree));
 875 extern tree set_module_name                     PROTO((tree));
 876 extern int  start_chill_function                PROTO((tree, tree, tree, tree, tree));
 877 extern void start_outer_function                PROTO((void));
 878 extern void switch_to_pass_2                    PROTO((void));
 879
 880 /* in ch/except.c */
 881 extern void chill_check_no_handlers             PROTO((void));
 882 extern void chill_finish_on                     PROTO((void));
 883 extern void chill_handle_on_labels              PROTO((tree));
 884 extern void chill_reraise_exceptions            PROTO((tree));
 885 extern void chill_start_default_handler         PROTO((void));
 886 extern void chill_start_on                      PROTO((void));
 887 extern void expand_goto_except_cleanup          PROTO((int));
 888 extern int is_handled                           PROTO((tree));
 889
 890 /* in ch/expr.c */
 891 extern tree build_chill_addr_expr               PROTO((tree, char *));
 892 extern tree build_chill_arrow_expr              PROTO((tree, int));
 893 extern tree build_component_ref                 PROTO((tree, tree));
 894 extern tree build_chill_compound_expr           PROTO((tree));
 895 extern tree build_chill_descr                   PROTO((tree));
 896 extern void build_chill_descr_type              PROTO((void));
 897 extern void build_chill_inttime_type            PROTO((void));
 898 extern tree build_compare_expr                  PROTO((enum tree_code,
 899                                                        tree, tree));
 900 extern tree build_compare_discrete_expr         PROTO((enum tree_code,
 901                                                        tree, tree));
 902 extern tree check_case_selector                 PROTO((tree));
 903 extern tree check_case_selector_list            PROTO((tree));
 904 extern tree check_have_mode                     PROTO((tree, char*));
 905 extern void init_chill_expand                   PROTO((void));
 906 extern void chill_expand_assignment             PROTO((tree, enum chill_tree_code, tree));
 907 extern void expand_assignment_action            PROTO((tree, enum chill_tree_code, tree));
 908 extern int compare_int_csts                     PROTO((enum chill_tree_code,
 909                                                        tree, tree));
 910 extern void expand_varying_length_assignment    PROTO((tree, tree));
 911 extern tree force_addr_of                       PROTO((tree));
 912 extern tree resolve_component_ref               PROTO((tree));
 913 extern tree truthvalue_conversion               PROTO((tree));
 914 extern tree varying_to_slice                    PROTO((tree));
 915
 916 /* in ch/grant.c */
 917 extern void chill_finish_compile                PROTO((void));
 918 extern void chill_seize                         PROTO((tree, tree, tree));
 919 extern void start_outer_function                PROTO((void));
 920 extern void finish_chill_seize                  PROTO((tree));
 921 extern void chill_grant                         PROTO((tree,tree, tree, tree));
 922 extern void set_default_grant_file              PROTO((void));
 923 extern void set_identifier_size                 PROTO((int));
 924 extern void write_grant_file                    PROTO((void));
 925 extern void write_spec_module                   PROTO((tree, tree));
 926
 927 /* in ch/lang.c */
 928 extern tree string_index_type_dummy;
 929 extern tree integer_minus_one_node;
 930 extern int  flag_old_strings;
 931 extern void GNU_xref_begin                      PROTO((void));
 932 extern void GNU_xref_end                        PROTO((void));
 933 extern tree build_chill_array_type              PROTO((tree, tree, int, tree));
 934 extern tree build_chill_struct_type             PROTO((tree));
 935 extern tree build_chill_pointer_type            PROTO((tree));
 936 extern tree build_chill_range_type              PROTO((tree, tree, tree));
 937 extern tree build_chill_reference_type          PROTO((tree));
 938 extern tree build_simple_array_type             PROTO((tree, tree, tree));
 939 extern tree const_expr                          PROTO((tree));
 940 extern tree get_identifier3                     PROTO((char*, char*, char*));
 941 extern tree layout_chill_array_type             PROTO((tree));
 942 extern tree layout_chill_range_type             PROTO((tree, int));
 943 extern tree layout_chill_pointer_type           PROTO((tree));
 944 extern tree layout_chill_struct_type            PROTO((tree));
 945 extern tree layout_chill_variants               PROTO((tree));
 946 extern tree layout_powerset_type                PROTO((tree));
 947 extern tree lookup_interface                    PROTO((tree));
 948 extern tree maybe_building_objc_message_expr    PROTO((void));
 949 extern void maybe_objc_check_decl               PROTO((tree));
 950 extern int  maybe_objc_comptypes                PROTO((tree, tree));
 951 extern int  recognize_objc_keyword              PROTO((void));
 952
 953 /* in ch/lex.l */
 954 extern tree use_seizefile_name;
 955 extern tree current_seizefile_name;
 956 extern tree build_chill_string                  PROTO((int, char *));
 957 extern int  check_newline                       PROTO((void));
 958 extern tree get_chill_filename                  PROTO((void));
 959 extern tree get_chill_linenumber                PROTO((void));
 960 extern void register_seize_path                 PROTO((char *));
 961 extern void reinit_parse_for_function           PROTO((void));
 962 extern void mark_use_seizefile_written          PROTO((tree));
 963
 964 /* in ch/loop.c */
 965 extern void begin_chill_loop                    PROTO((tree, tree));
 966 extern tree build_chill_iterator                PROTO((tree, tree, tree, int, int, int));
 967 extern void end_chill_loop                      PROTO((void));
 968 extern tree get_unique_identifier               PROTO((char *));
 969
 970 /* in ch/inout.c */
 971 extern tree access_recordmode                   PROTO((tree));
 972 extern void invalidate_access_recordmode        PROTO((tree));
 973 extern tree access_indexmode                    PROTO((tree));
 974 extern tree access_dynamic                      PROTO((tree));
 975 extern tree association_init_value;
 976 extern tree association_type_node;
 977 extern tree build_access_mode                   PROTO((tree, tree, int));
 978 extern tree build_chill_associate               PROTO((tree, tree, tree));
 979 extern tree build_chill_connect                 PROTO((tree, tree, tree, tree));
 980 extern tree build_chill_create                  PROTO((tree));
 981 extern tree build_chill_delete                  PROTO((tree));
 982 extern tree build_chill_disconnect              PROTO((tree));
 983 extern tree build_chill_dissociate              PROTO((tree));
 984 extern tree build_chill_eoln                    PROTO((tree));
 985 extern tree build_chill_existing                PROTO((tree));
 986 extern tree build_chill_gettextaccess           PROTO((tree));
 987 extern tree build_chill_getassociation          PROTO((tree));
 988 extern tree build_chill_gettextindex            PROTO((tree));
 989 extern tree build_chill_gettextrecord           PROTO((tree));
 990 extern tree build_chill_getusage                PROTO((tree));
 991 extern tree build_chill_indexable               PROTO((tree));
 992 extern tree build_chill_isassociated            PROTO((tree));
 993 extern tree build_chill_modify                  PROTO((tree, tree));
 994 extern tree build_chill_outoffile               PROTO((tree));
 995 extern tree build_chill_readable                PROTO((tree));
 996 extern tree build_chill_readrecord              PROTO((tree, tree));
 997 extern tree build_chill_readtext                PROTO((tree, tree));
 998 extern tree build_chill_sequencible             PROTO((tree));
 999 extern tree build_chill_settextaccess           PROTO((tree, tree));
1000 extern tree build_chill_settextindex            PROTO((tree, tree));
1001 extern tree build_chill_settextrecord           PROTO((tree, tree));
1002 extern tree build_chill_variable                PROTO((tree));
1003 extern tree build_chill_writeable               PROTO((tree));
1004 extern tree build_chill_writerecord             PROTO((tree, tree));
1005 extern tree build_chill_writetext               PROTO((tree, tree));
1006 extern void build_enum_tables                   PROTO((void));
1007 extern tree build_text_mode                     PROTO((tree, tree, int));
1008 extern tree check_text_length                   PROTO((tree));
1009 extern void init_access_location                PROTO((tree, tree));
1010 extern void init_text_location                  PROTO((tree, tree));
1011 extern void inout_init                          PROTO((void));
1012 extern tree text_dynamic                        PROTO((tree));
1013 extern tree text_indexmode                      PROTO((tree));
1014 extern tree text_length                         PROTO((tree));
1015 extern tree usage_type_node;
1016 extern tree where_type_node;
1017
1018 /* in ch/parse.c */
1019 extern tree get_type_of                         PROTO((tree));
1020 extern void set_yydebug                         PROTO((int));
1021 extern void yyerror                             PROTO((char *));
1022 extern int  pass;
1023 extern int ignoring;
1024 extern int seen_action;
1025 extern int build_constructor;
1026 extern void possibly_define_exit_label          PROTO((tree));
1027 extern void to_global_binding_level             PROTO((void));
1028
1029 /* in ch/satisfy.c */
1030 extern tree satisfy_decl                        PROTO((tree, int));
1031
1032 /* in ch/tasking.c */
1033 extern void add_taskstuff_to_list               PROTO((tree, char *, tree, tree, tree));
1034 extern void process_buffer_decls                PROTO((tree, tree, int));
1035 extern tree buffer_element_mode                 PROTO((tree));
1036 extern void invalidate_buffer_element_mode      PROTO((tree));
1037 extern tree build_buffer_descriptor             PROTO((tree, tree, tree));
1038 extern tree build_buffer_type                   PROTO((tree, tree));
1039 extern void build_delay_action                  PROTO((tree, tree));
1040 extern tree build_delay_case_start              PROTO((tree, tree));
1041 extern void build_delay_case_end                PROTO((tree));
1042 extern void build_delay_case_label              PROTO((tree, int));
1043 extern tree build_event_type                    PROTO((tree));
1044 extern void build_receive_case_end              PROTO((tree, tree));
1045 extern int  build_receive_case_if_generated     PROTO((void));
1046 extern tree build_receive_case_label            PROTO((tree, tree));
1047 extern tree build_receive_case_start            PROTO((tree));
1048 extern void expand_continue_event               PROTO((tree));
1049 extern void expand_send_buffer                  PROTO((tree, tree, tree, tree, tree));
1050 extern void expand_send_signal                  PROTO((tree, tree, tree, tree, tree));
1051 extern void build_start_process                 PROTO((tree, tree, tree, tree));
1052 extern tree build_copy_number                   PROTO((tree));
1053 extern tree build_gen_code                      PROTO((tree));
1054 extern tree build_gen_inst                      PROTO((tree, tree));
1055 extern tree build_gen_ptype                     PROTO((tree));
1056 extern void build_instance_type                 PROTO((void));
1057 extern tree build_process_header                PROTO((tree, tree));
1058 extern void build_process_wrapper               PROTO((tree, tree));
1059 extern tree build_proc_type                     PROTO((tree));
1060 extern tree build_queue_length                  PROTO((tree));
1061 extern tree build_signal_descriptor             PROTO((tree, tree));
1062 extern tree build_signal_struct_type            PROTO((tree, tree, tree));
1063 extern tree build_tasking_struct                PROTO((void));
1064 extern tree chill_taskingcode_type_node;
1065 extern tree check_queue_size                    PROTO((tree));
1066 extern tree generate_tasking_code_variable      PROTO((tree, tree *, int));
1067 extern tree get_signal_type_name                PROTO((tree));
1068 extern tree get_struct_type_name                PROTO((tree));
1069 extern tree get_tasking_code_name               PROTO((tree));
1070 extern tree make_process_struct                 PROTO((tree, tree));
1071 extern tree make_signal_struct                  PROTO((tree));
1072 extern tree max_queue_size                      PROTO((tree));
1073 extern void tasking_init                        PROTO((void));
1074 extern void tasking_registry                    PROTO((void));
1075 extern void tasking_setup                       PROTO((void));
1076
1077 /* in ch/timing.c */
1078 extern tree abs_timing_type_node;
1079 extern tree after_stack;
1080 extern void build_after_end                     PROTO((void));
1081 extern void build_after_start                   PROTO((tree, int));
1082 extern void build_after_timeout_start           PROTO((void));
1083 extern void build_at_action                     PROTO((tree));
1084 extern void build_cycle_end                     PROTO((tree));
1085 extern tree build_cycle_start                   PROTO((tree));
1086 extern tree build_timeout_preface               PROTO((void));
1087 extern void build_timesupervised_call           PROTO((tree, tree));
1088 extern tree duration_timing_type_node;
1089 extern void timing_init                         PROTO((void));
1090
1091 /* in ch/tree.c */
1092 extern tree build_alias_decl                    PROTO((tree, tree, tree));
1093 extern tree build_bitstring_type                PROTO((tree));
1094 extern tree build_powerset_type                 PROTO((tree));
1095 extern tree build_string_type                   PROTO((tree, tree));
1096 extern tree decl_check_rename                   PROTO((tree, tree));
1097 extern tree discrete_count                      PROTO((tree));
1098 extern int  list_length                         PROTO((tree));
1099 extern tree munge_exit_label                    PROTO((tree));
1100 extern tree save_if_needed                      PROTO((tree));
1101
1102 /* in ch/typeck.c */
1103 extern tree build_array_from_set                PROTO((tree));
1104 extern tree build_chill_array_ref               PROTO((tree, tree));
1105 extern tree build_chill_bitref                  PROTO((tree, tree));
1106 extern tree build_chill_cast                    PROTO((tree, tree));
1107 extern tree chill_equivalent                    PROTO((tree, tree, struct mode_chain*));
1108 extern tree build_init_struct                   PROTO((void));
1109 extern tree build_readonly_type                 PROTO((tree));
1110 extern int  chill_compatible                    PROTO((tree, tree));
1111 extern int  chill_compatible_classes            PROTO((tree, tree));
1112 extern ch_class chill_expr_class                PROTO((tree));
1113 extern tree chill_give_type_to_expr             PROTO((tree, tree));
1114 extern tree chill_expand_tuple                  PROTO((tree, tree));
1115 extern ch_class chill_expr_class                PROTO((tree));
1116 extern int  chill_location                      PROTO((tree));
1117 extern tree chill_max_vary_array_index          PROTO((tree));
1118 extern int  chill_read_compatible               PROTO((tree, tree));
1119 extern int  chill_referable                     PROTO((tree));
1120 extern tree chill_root_mode                     PROTO((tree));
1121 extern ch_class chill_resulting_class           PROTO((ch_class, ch_class));
1122 extern tree chill_resulting_mode                PROTO((tree, tree));
1123 extern int  chill_similar                       PROTO((tree, tree, struct mode_chain*));
1124 extern int  discrete_type_p                     PROTO((tree));
1125 extern tree initializer_constant_valid_p        PROTO((tree, tree));
1126 extern tree convert_to_discrete                 PROTO((tree));
1127 extern tree smash_dummy_type                    PROTO((tree));
1128 extern tree string_assignment_condition         PROTO((tree, tree));
1129 extern tree type_for_mode                       PROTO((enum machine_mode, int));
1130 extern tree type_for_size                       PROTO((unsigned, int));
1131 extern int  valid_array_index                   PROTO((tree, tree));
1132 extern void validate_varying_array_ref          PROTO((tree, tree));
1133
1134 /* in function.c */
1135 extern void expand_function_end                 PROTO((char *, int, int));
1136 extern void expand_function_start               PROTO((tree, int));
1137 extern void init_function_start                 PROTO((tree, char *, int));
1138 extern void pop_function_context                PROTO((void));
1139 extern void push_function_context               PROTO((void));
1140
1141 /* in integrate.c */
1142 extern void output_inline_function              PROTO((tree));
1143
1144 /* in stmt.c */
1145 extern void remember_end_note                   PROTO((tree));
1146
1147 /* in toplev.c */
1148 extern void announce_function                   PROTO((tree));
1149 extern int  floor_log2_wide                     PROTO((unsigned HOST_WIDE_INT));
1150 extern void pedwarn                             PROTO((char *, ...));
1151 extern void rest_of_compilation                 PROTO((tree));
1152 extern void warning_with_decl                   PROTO((tree, char*, ...));
1153
1154 /* in varasm.c */
1155 extern void make_decl_rtl                       PROTO((tree, char *, int));
1156 extern void make_function_rtl                   PROTO((tree));
1157
1158 /* in ???? */
1159 extern void init_iterators                      PROTO((void));
1160 extern int  mark_addressable                    PROTO((tree));
1161 extern tree chill_result_decl;
1162 #ifdef RTX_CODE
1163 extern rtx label_rtx                            PROTO((tree));
1164 #endif
1165 extern void permanent_allocation                PROTO((int));
1166
1167 #ifndef SET_WORD_SIZE
1168 #define SET_WORD_SIZE BITS_PER_WORD
1169 #endif
1170
1171 struct module
1172 {
1173   struct module *next_module;  /* Next module, in order of their beginning. */
1174   struct module *prev_module;  /* The surrounding module, if any. */
1175   tree name;
1176   tree prefix_name; /* Usually same as name, expect for nested modules.
1177                        Used to generate DECL_ASSEMBLER_NAMEs. */
1178   /* procedure_seen indicates a procedure or process was declared.
1179      After this, no SEIZE, DCL, SYN, NEWMODE, SYNMODE statement is allowed */
1180   int procedure_seen;
1181   int is_spec_module;
1182
1183   /* The value of current_nesting_level inside the module. */
1184   int nesting_level;
1185
1186   /* A chain contain one ALIAS_DECL for each 'GRANT foo->bar'.
1187      The DECL_NAME is get_identifier("bar"), and the DECL_INITIAL
1188      is get_identifier("bar").  Only used in pass 1. */
1189   tree granted_decls;
1190 };
1191
1192 extern struct module *current_module;
1193
1194 /* fold a tree to constant as much as possible */
1195 extern tree deep_fold PROTO((tree));
1196 #endif