gcc/ch/ch-tree.h

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