gcc/ch/ch-tree.h

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