cpplib.h 33.7 KB
Newer Older
Per Bothner committed
1
/* Definitions for CPP library.
2
   Copyright (C) 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003,
3
   2004, 2005, 2007, 2008, 2009
4
   Free Software Foundation, Inc.
Per Bothner committed
5 6 7 8
   Written by Per Bothner, 1994-95.

This program is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by the
9
Free Software Foundation; either version 3, or (at your option) any
Per Bothner committed
10 11 12 13 14 15 16 17
later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
18 19
along with this program; see the file COPYING3.  If not see
<http://www.gnu.org/licenses/>.
Per Bothner committed
20 21 22 23

 In other words, you are welcome to use, share and improve this program.
 You are forbidden to forbid anyone else to use, share and improve
 what you give them.   Help stamp out software-hoarding!  */
24 25
#ifndef LIBCPP_CPPLIB_H
#define LIBCPP_CPPLIB_H
Per Bothner committed
26 27

#include <sys/types.h>
28
#include "symtab.h"
Neil Booth committed
29
#include "line-map.h"
Per Bothner committed
30 31 32 33

typedef struct cpp_reader cpp_reader;
typedef struct cpp_buffer cpp_buffer;
typedef struct cpp_options cpp_options;
34
typedef struct cpp_token cpp_token;
35
typedef struct cpp_string cpp_string;
36
typedef struct cpp_hashnode cpp_hashnode;
Neil Booth committed
37
typedef struct cpp_macro cpp_macro;
38
typedef struct cpp_callbacks cpp_callbacks;
39
typedef struct cpp_dir cpp_dir;
Neil Booth committed
40 41

struct answer;
42
struct _cpp_file;
Zack Weinberg committed
43

44 45 46
/* The first three groups, apart from '=', can appear in preprocessor
   expressions (+= and -= are used to indicate unary + and - resp.).
   This allows a lookup table to be implemented in _cpp_parse_expr.
Zack Weinberg committed
47 48 49

   The first group, to CPP_LAST_EQ, can be immediately followed by an
   '='.  The lexer needs operators ending in '=', like ">>=", to be in
50 51 52 53
   the same order as their counterparts without the '=', like ">>".

   See the cpp_operator table optab in expr.c if you change the order or
   add or remove anything in the first group.  */
Zack Weinberg committed
54

55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121
#define TTYPE_TABLE							\
  OP(EQ,		"=")						\
  OP(NOT,		"!")						\
  OP(GREATER,		">")	/* compare */				\
  OP(LESS,		"<")						\
  OP(PLUS,		"+")	/* math */				\
  OP(MINUS,		"-")						\
  OP(MULT,		"*")						\
  OP(DIV,		"/")						\
  OP(MOD,		"%")						\
  OP(AND,		"&")	/* bit ops */				\
  OP(OR,		"|")						\
  OP(XOR,		"^")						\
  OP(RSHIFT,		">>")						\
  OP(LSHIFT,		"<<")						\
									\
  OP(COMPL,		"~")						\
  OP(AND_AND,		"&&")	/* logical */				\
  OP(OR_OR,		"||")						\
  OP(QUERY,		"?")						\
  OP(COLON,		":")						\
  OP(COMMA,		",")	/* grouping */				\
  OP(OPEN_PAREN,	"(")						\
  OP(CLOSE_PAREN,	")")						\
  TK(EOF,		NONE)						\
  OP(EQ_EQ,		"==")	/* compare */				\
  OP(NOT_EQ,		"!=")						\
  OP(GREATER_EQ,	">=")						\
  OP(LESS_EQ,		"<=")						\
									\
  /* These two are unary + / - in preprocessor expressions.  */		\
  OP(PLUS_EQ,		"+=")	/* math */				\
  OP(MINUS_EQ,		"-=")						\
									\
  OP(MULT_EQ,		"*=")						\
  OP(DIV_EQ,		"/=")						\
  OP(MOD_EQ,		"%=")						\
  OP(AND_EQ,		"&=")	/* bit ops */				\
  OP(OR_EQ,		"|=")						\
  OP(XOR_EQ,		"^=")						\
  OP(RSHIFT_EQ,		">>=")						\
  OP(LSHIFT_EQ,		"<<=")						\
  /* Digraphs together, beginning with CPP_FIRST_DIGRAPH.  */		\
  OP(HASH,		"#")	/* digraphs */				\
  OP(PASTE,		"##")						\
  OP(OPEN_SQUARE,	"[")						\
  OP(CLOSE_SQUARE,	"]")						\
  OP(OPEN_BRACE,	"{")						\
  OP(CLOSE_BRACE,	"}")						\
  /* The remainder of the punctuation.	Order is not significant.  */	\
  OP(SEMICOLON,		";")	/* structure */				\
  OP(ELLIPSIS,		"...")						\
  OP(PLUS_PLUS,		"++")	/* increment */				\
  OP(MINUS_MINUS,	"--")						\
  OP(DEREF,		"->")	/* accessors */				\
  OP(DOT,		".")						\
  OP(SCOPE,		"::")						\
  OP(DEREF_STAR,	"->*")						\
  OP(DOT_STAR,		".*")						\
  OP(ATSIGN,		"@")  /* used in Objective-C */			\
									\
  TK(NAME,		IDENT)	 /* word */				\
  TK(AT_NAME,		IDENT)	 /* @word - Objective-C */		\
  TK(NUMBER,		LITERAL) /* 34_be+ta  */			\
									\
  TK(CHAR,		LITERAL) /* 'char' */				\
  TK(WCHAR,		LITERAL) /* L'char' */				\
122 123
  TK(CHAR16,		LITERAL) /* u'char' */				\
  TK(CHAR32,		LITERAL) /* U'char' */				\
124 125 126 127
  TK(OTHER,		LITERAL) /* stray punctuation */		\
									\
  TK(STRING,		LITERAL) /* "string" */				\
  TK(WSTRING,		LITERAL) /* L"string" */			\
128 129
  TK(STRING16,		LITERAL) /* u"string" */			\
  TK(STRING32,		LITERAL) /* U"string" */			\
130
  TK(UTF8STRING,	LITERAL) /* u8"string" */			\
131 132 133 134 135 136
  TK(OBJC_STRING,	LITERAL) /* @"string" - Objective-C */		\
  TK(HEADER_NAME,	LITERAL) /* <stdio.h> in #include */		\
									\
  TK(COMMENT,		LITERAL) /* Only if output comments.  */	\
				 /* SPELL_LITERAL happens to DTRT.  */	\
  TK(MACRO_ARG,		NONE)	 /* Macro argument.  */			\
137 138
  TK(PRAGMA,		NONE)	 /* Only for deferred pragmas.  */	\
  TK(PRAGMA_EOL,	NONE)	 /* End-of-line for deferred pragmas.  */ \
139 140 141 142
  TK(PADDING,		NONE)	 /* Whitespace for -E.	*/

#define OP(e, s) CPP_ ## e,
#define TK(e, s) CPP_ ## e,
143
enum cpp_ttype
144
{
145
  TTYPE_TABLE
146 147 148
  N_TTYPES,

  /* Positions in the table.  */
149
  CPP_LAST_EQ        = CPP_LSHIFT,
150
  CPP_FIRST_DIGRAPH  = CPP_HASH,
151
  CPP_LAST_PUNCTUATOR= CPP_ATSIGN,
152
  CPP_LAST_CPP_OP    = CPP_LESS_EQ
153
};
154 155
#undef OP
#undef TK
156

157
/* C language kind, used when calling cpp_create_reader.  */
158
enum c_lang {CLK_GNUC89 = 0, CLK_GNUC99, CLK_STDC89, CLK_STDC94, CLK_STDC99,
159
	     CLK_GNUCXX, CLK_CXX98, CLK_GNUCXX0X, CLK_CXX0X, CLK_ASM};
160

161
/* Payload of a NUMBER, STRING, CHAR or COMMENT token.  */
162
struct GTY(()) cpp_string {
163
  unsigned int len;
164
  const unsigned char *text;
165 166
};

Zack Weinberg committed
167
/* Flags for the cpp_token structure.  */
Zack Weinberg committed
168
#define PREV_WHITE	(1 << 0) /* If whitespace before this token.  */
Neil Booth committed
169 170 171
#define DIGRAPH		(1 << 1) /* If it was a digraph.  */
#define STRINGIFY_ARG	(1 << 2) /* If macro argument to be stringified.  */
#define PASTE_LEFT	(1 << 3) /* If on LHS of a ## operator.  */
172
#define NAMED_OP	(1 << 4) /* C++ named operators.  */
Neil Booth committed
173
#define NO_EXPAND	(1 << 5) /* Do not macro-expand this token.  */
174
#define BOL		(1 << 6) /* Token at beginning of line.  */
175 176
#define PURE_ZERO	(1 << 7) /* Single 0 digit, used by the C++ frontend,
				    set in c-lex.c.  */
177 178 179 180
#define SP_DIGRAPH	(1 << 8) /* # or ## token was a digraph.  */
#define SP_PREV_WHITE	(1 << 9) /* If whitespace before a ##
				    operator, or before this token
				    after a # operator.  */
181

Geoffrey Keating committed
182 183 184 185 186 187 188
/* Specify which field, if any, of the cpp_token union is used.  */

enum cpp_token_fld_kind {
  CPP_TOKEN_FLD_NODE,
  CPP_TOKEN_FLD_SOURCE,
  CPP_TOKEN_FLD_STR,
  CPP_TOKEN_FLD_ARG_NO,
189
  CPP_TOKEN_FLD_TOKEN_NO,
190
  CPP_TOKEN_FLD_PRAGMA,
Geoffrey Keating committed
191 192 193
  CPP_TOKEN_FLD_NONE
};

194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209
/* A macro argument in the cpp_token union.  */
struct GTY(()) cpp_macro_arg {
  /* Argument number.  */
  unsigned int arg_no;
};

/* An identifier in the cpp_token union.  */
struct GTY(()) cpp_identifier {
  /* The canonical (UTF-8) spelling of the identifier.  */
  cpp_hashnode *
    GTY ((nested_ptr (union tree_node,
		"%h ? CPP_HASHNODE (GCC_IDENT_TO_HT_IDENT (%h)) : NULL",
			"%h ? HT_IDENT_TO_GCC_IDENT (HT_NODE (%h)) : NULL")))
       node;
};

210
/* A preprocessing token.  This has been carefully packed and should
Neil Booth committed
211
   occupy 16 bytes on 32-bit hosts and 24 bytes on 64-bit hosts.  */
212
struct GTY(()) cpp_token {
213
  source_location src_loc;	/* Location of first char of token.  */
Zack Weinberg committed
214
  ENUM_BITFIELD(cpp_ttype) type : CHAR_BIT;  /* token type */
215
  unsigned short flags;		/* flags - see above */
Zack Weinberg committed
216

Geoffrey Keating committed
217
  union cpp_token_u
218
  {
Geoffrey Keating committed
219
    /* An identifier.  */
220
    struct cpp_identifier GTY ((tag ("CPP_TOKEN_FLD_NODE"))) node;
Geoffrey Keating committed
221 222 223 224 225 226 227 228
	 
    /* Inherit padding from this token.  */
    cpp_token * GTY ((tag ("CPP_TOKEN_FLD_SOURCE"))) source;

    /* A string, or number.  */
    struct cpp_string GTY ((tag ("CPP_TOKEN_FLD_STR"))) str;

    /* Argument no. for a CPP_MACRO_ARG.  */
229 230 231 232 233
    struct cpp_macro_arg GTY ((tag ("CPP_TOKEN_FLD_ARG_NO"))) macro_arg;

    /* Original token no. for a CPP_PASTE (from a sequence of
       consecutive paste tokens in a macro expansion).  */
    unsigned int GTY ((tag ("CPP_TOKEN_FLD_TOKEN_NO"))) token_no;
234 235 236

    /* Caller-supplied identifier for a CPP_PRAGMA.  */
    unsigned int GTY ((tag ("CPP_TOKEN_FLD_PRAGMA"))) pragma;
Geoffrey Keating committed
237
  } GTY ((desc ("cpp_token_val_index (&%1)"))) val;
Per Bothner committed
238 239
};

Geoffrey Keating committed
240 241 242
/* Say which field is in use.  */
extern enum cpp_token_fld_kind cpp_token_val_index (cpp_token *tok);

243
/* A type wide enough to hold any multibyte source character.
244
   cpplib's character constant interpreter requires an unsigned type.
245 246 247 248 249 250 251
   Also, a typedef for the signed equivalent.
   The width of this type is capped at 32 bits; there do exist targets
   where wchar_t is 64 bits, but only in a non-default mode, and there
   would be no meaningful interpretation for a wchar_t value greater
   than 2^32 anyway -- the widest wide-character encoding around is
   ISO 10646, which stops at 2^31.  */
#if CHAR_BIT * SIZEOF_INT >= 32
252
# define CPPCHAR_SIGNED_T int
253 254
#elif CHAR_BIT * SIZEOF_LONG >= 32
# define CPPCHAR_SIGNED_T long
255
#else
256
# error "Cannot find a least-32-bit signed integer type"
257 258 259
#endif
typedef unsigned CPPCHAR_SIGNED_T cppchar_t;
typedef CPPCHAR_SIGNED_T cppchar_signed_t;
260

261 262 263
/* Style of header dependencies to generate.  */
enum cpp_deps_style { DEPS_NONE = 0, DEPS_USER, DEPS_SYSTEM };

Geoffrey Keating committed
264 265 266 267 268 269 270 271 272 273 274 275 276
/* The possible normalization levels, from most restrictive to least.  */
enum cpp_normalize_level {
  /* In NFKC.  */
  normalized_KC = 0,
  /* In NFC.  */
  normalized_C,
  /* In NFC, except for subsequences where being in NFC would make
     the identifier invalid.  */
  normalized_identifier_C,
  /* Not normalized at all.  */
  normalized_none
};

277 278 279
/* This structure is nested inside struct cpp_reader, and
   carries all the options visible to the command line.  */
struct cpp_options
280
{
281 282 283
  /* Characters between tab stops.  */
  unsigned int tabstop;

284 285 286
  /* The language we're preprocessing.  */
  enum c_lang lang;

Per Bothner committed
287
  /* Nonzero means use extra default include directories for C++.  */
288
  unsigned char cplusplus;
Per Bothner committed
289

290
  /* Nonzero means handle cplusplus style comments.  */
291
  unsigned char cplusplus_comments;
Per Bothner committed
292

293 294 295
  /* Nonzero means define __OBJC__, treat @ as a special token, use
     the OBJC[PLUS]_INCLUDE_PATH environment variable, and allow
     "#import".  */
296
  unsigned char objc;
Per Bothner committed
297

298
  /* Nonzero means don't copy comments into the output file.  */
299
  unsigned char discard_comments;
Per Bothner committed
300

301 302 303 304
  /* Nonzero means don't copy comments into the output file during
     macro expansion.  */
  unsigned char discard_comments_in_macro_exp;

Zack Weinberg committed
305
  /* Nonzero means process the ISO trigraph sequences.  */
306
  unsigned char trigraphs;
Per Bothner committed
307

308 309 310
  /* Nonzero means process the ISO digraph sequences.  */
  unsigned char digraphs;

311 312 313
  /* Nonzero means to allow hexadecimal floats and LL suffixes.  */
  unsigned char extended_numbers;

314 315 316
  /* Nonzero means process u/U prefix literals (UTF-16/32).  */
  unsigned char uliterals;

Per Bothner committed
317
  /* Nonzero means print names of header files (-H).  */
318
  unsigned char print_include_names;
Per Bothner committed
319

320 321 322
  /* Nonzero means complain about deprecated features.  */
  unsigned char warn_deprecated;

Per Bothner committed
323
  /* Nonzero means warn if slash-star appears in a comment.  */
324
  unsigned char warn_comments;
Per Bothner committed
325

326 327 328 329
  /* Nonzero means warn if a user-supplied include directory does not
     exist.  */
  unsigned char warn_missing_include_dirs;

Per Bothner committed
330
  /* Nonzero means warn if there are any trigraphs.  */
331
  unsigned char warn_trigraphs;
Per Bothner committed
332

333 334 335
  /* Nonzero means warn about multicharacter charconsts.  */
  unsigned char warn_multichar;

336 337
  /* Nonzero means warn about various incompatibilities with
     traditional C.  */
338
  unsigned char warn_traditional;
Per Bothner committed
339

340 341 342
  /* Nonzero means warn about long long numeric constants.  */
  unsigned char warn_long_long;

343 344 345
  /* Nonzero means warn about text after an #endif (or #else).  */
  unsigned char warn_endif_labels;

346 347 348 349
  /* Nonzero means warn about implicit sign changes owing to integer
     promotions.  */
  unsigned char warn_num_sign_change;

350 351 352 353
  /* Zero means don't warn about __VA_ARGS__ usage in c89 pedantic mode.
     Presumably the usage is protected by the appropriate #ifdef.  */
  unsigned char warn_variadic_macros;

354 355 356 357
  /* Nonzero means warn about builtin macros that are redefined or
     explicitly undefined.  */
  unsigned char warn_builtin_macro_redefined;

Jeff Law committed
358 359
  /* Nonzero means we should look for header.gcc files that remap file
     names.  */
360
  unsigned char remap;
Jeff Law committed
361

Kazu Hirata committed
362
  /* Zero means dollar signs are punctuation.  */
363
  unsigned char dollars_in_ident;
Per Bothner committed
364

365 366 367
  /* Nonzero means UCNs are accepted in identifiers.  */
  unsigned char extended_identifiers;

368 369 370 371
  /* True if we should warn about dollars in identifiers or numbers
     for this translation unit.  */
  unsigned char warn_dollars;

372
  /* Nonzero means warn if undefined identifiers are evaluated in an #if.  */
373
  unsigned char warn_undef;
374

375 376 377
  /* Nonzero means warn of unused macros from the main file.  */
  unsigned char warn_unused_macros;

378
  /* Nonzero for the 1999 C Standard, including corrigenda and amendments.  */
379
  unsigned char c99;
380

381 382 383
  /* Nonzero if we are conforming to a specific C or C++ standard.  */
  unsigned char std;

Per Bothner committed
384
  /* Nonzero means give all the error messages the ANSI standard requires.  */
385
  unsigned char pedantic;
Per Bothner committed
386

387 388
  /* Nonzero means we're looking at already preprocessed code, so don't
     bother trying to do macro expansion and whatnot.  */
389
  unsigned char preprocessed;
390

391 392
  /* Print column number in error messages.  */
  unsigned char show_column;
393

Neil Booth committed
394
  /* Nonzero means handle C++ alternate operator names.  */
395
  unsigned char operator_names;
396

397 398 399
  /* Nonzero means warn about use of C++ alternate operator names.  */
  unsigned char warn_cxx_operator_names;

400 401 402
  /* True for traditional preprocessing.  */
  unsigned char traditional;

403 404 405 406 407 408
  /* Holds the name of the target (execution) character set.  */
  const char *narrow_charset;

  /* Holds the name of the target wide character set.  */
  const char *wide_charset;

409 410 411
  /* Holds the name of the input character set.  */
  const char *input_charset;

Geoffrey Keating committed
412 413 414 415
  /* The minimum permitted level of normalization before a warning
     is generated.  */
  enum cpp_normalize_level warn_normalize;

416 417 418 419 420 421
  /* True to warn about precompiled header files we couldn't use.  */
  bool warn_invalid_pch;

  /* True if dependencies should be restored from a precompiled header.  */
  bool restore_pch_deps;

422 423 424 425
  /* Dependency generation.  */
  struct
  {
    /* Style of header dependencies to generate.  */
426
    enum cpp_deps_style style;
427 428 429 430 431 432 433

    /* Assume missing files are generated files.  */
    bool missing_files;

    /* Generate phony targets for each dependency apart from the first
       one.  */
    bool phony_targets;
434 435 436

    /* If true, no dependency is generated on the main file.  */
    bool ignore_main_file;
437 438 439 440

    /* If true, intend to use the preprocessor output (e.g., for compilation)
       in addition to the dependency info.  */
    bool need_preprocessor_output;
441 442
  } deps;

443 444 445 446 447 448
  /* Target-specific features set by the front end or client.  */

  /* Precision for target CPP arithmetic, target characters, target
     ints and target wide characters, respectively.  */
  size_t precision, char_precision, int_precision, wchar_precision;

449 450
  /* True means chars (wide chars) are unsigned.  */
  bool unsigned_char, unsigned_wchar;
451

452 453 454
  /* True if the most significant byte in a word has the lowest
     address in memory.  */
  bool bytes_big_endian;
455

456 457
  /* Nonzero means __STDC__ should have the value 0 in system headers.  */
  unsigned char stdc_0_in_system_headers;
458

459 460
  /* True disables tokenization outside of preprocessing directives. */
  bool directives_only;
461
};
Per Bothner committed
462

463 464 465 466 467 468
/* Callback for header lookup for HEADER, which is the name of a
   source file.  It is used as a method of last resort to find headers
   that are not otherwise found during the normal include processing.
   The return value is the malloced name of a header to try and open,
   if any, or NULL otherwise.  This callback is called only if the
   header is otherwise unfound.  */
469
typedef const char *(*missing_header_cb)(cpp_reader *, const char *header, cpp_dir **);
470

471
/* Call backs to cpplib client.  */
472 473
struct cpp_callbacks
{
474
  /* Called when a new line of preprocessed output is started.  */
475
  void (*line_change) (cpp_reader *, const cpp_token *, int);
476 477 478 479 480

  /* Called when switching to/from a new file.
     The line_map is for the new file.  It is NULL if there is no new file.
     (In C this happens when done with <built-in>+<command line> and also
     when done with a main file.)  This can be used for resource cleanup.  */
481
  void (*file_change) (cpp_reader *, const struct line_map *);
482

483
  void (*dir_change) (cpp_reader *, const char *);
484
  void (*include) (cpp_reader *, unsigned int, const unsigned char *,
485
		   const char *, int, const cpp_token **);
486 487 488 489 490 491
  void (*define) (cpp_reader *, unsigned int, cpp_hashnode *);
  void (*undef) (cpp_reader *, unsigned int, cpp_hashnode *);
  void (*ident) (cpp_reader *, unsigned int, const cpp_string *);
  void (*def_pragma) (cpp_reader *, unsigned int);
  int (*valid_pch) (cpp_reader *, const char *, int);
  void (*read_pch) (cpp_reader *, const char *, int, const char *);
492
  missing_header_cb missing_header;
493

494 495 496 497
  /* Context-sensitive macro support.  Returns macro (if any) that should
     be expanded.  */
  cpp_hashnode * (*macro_to_expand) (cpp_reader *, const cpp_token *);

498 499 500 501 502
  /* Called to emit a diagnostic.  This callback receives the
     translated message.  */
  bool (*error) (cpp_reader *, int, source_location, unsigned int,
		 const char *, va_list *)
       ATTRIBUTE_FPTR_PRINTF(5,0);
503 504 505 506 507 508 509 510

  /* Callbacks for when a macro is expanded, or tested (whether
     defined or not at the time) in #ifdef, #ifndef or "defined".  */
  void (*used_define) (cpp_reader *, unsigned int, cpp_hashnode *);
  void (*used_undef) (cpp_reader *, unsigned int, cpp_hashnode *);
  /* Called before #define and #undef or other macro definition
     changes are processed.  */
  void (*before_define) (cpp_reader *);
511 512
};

513 514 515 516 517 518
#ifdef VMS
#define INO_T_CPP ino_t ino[3]
#else
#define INO_T_CPP ino_t ino
#endif

519
/* Chain of directories to look for include files in.  */
520
struct cpp_dir
521 522
{
  /* NULL-terminated singly-linked list.  */
523
  struct cpp_dir *next;
524

525
  /* NAME of the directory, NUL-terminated.  */
526 527 528 529 530 531 532
  char *name;
  unsigned int len;

  /* One if a system header, two if a system header that has extern
     "C" guards for C++.  */
  unsigned char sysp;

533 534 535 536 537 538 539
  /* Is this a user-supplied directory? */
  bool user_supplied_p;

  /* The canonicalized NAME as determined by lrealpath.  This field 
     is only used by hosts that lack reliable inode numbers.  */
  char *canonical_name;

540 541 542
  /* Mapping of file names for this directory for MS-DOS and related
     platforms.  A NULL-terminated array of (from, to) pairs.  */
  const char **name_map;
543

544 545 546 547 548 549
  /* Routine to construct pathname, given the search path name and the
     HEADER we are trying to find, return a constructed pathname to
     try and open.  If this is NULL, the constructed pathname is as
     constructed by append_file_to_dir.  */
  char *(*construct) (const char *header, cpp_dir *dir);

550 551
  /* The C front end uses these to recognize duplicated
     directories in the search path.  */
552
  INO_T_CPP;
553 554 555
  dev_t dev;
};

Neil Booth committed
556 557 558 559
/* The structure of a node in the hash table.  The hash table has
   entries for all identifiers: either macros defined by #define
   commands (type NT_MACRO), assertions created with #assert
   (NT_ASSERTION), or neither of the above (NT_VOID).  Builtin macros
560
   like __LINE__ are flagged NODE_BUILTIN.  Poisoned identifiers are
Neil Booth committed
561 562 563 564
   flagged NODE_POISONED.  NODE_OPERATOR (C++ only) indicates an
   identifier that behaves like an operator such as "xor".
   NODE_DIAGNOSTIC is for speed in lex_token: it indicates a
   diagnostic may be required for this node.  Currently this only
565 566
   applies to __VA_ARGS__, poisoned identifiers, and -Wc++-compat
   warnings about NODE_OPERATOR.  */
Neil Booth committed
567 568 569 570 571 572

/* Hash node flags.  */
#define NODE_OPERATOR	(1 << 0)	/* C++ named operator.  */
#define NODE_POISONED	(1 << 1)	/* Poisoned identifier.  */
#define NODE_BUILTIN	(1 << 2)	/* Builtin macro.  */
#define NODE_DIAGNOSTIC (1 << 3)	/* Possible diagnostic when lexed.  */
573
#define NODE_WARN	(1 << 4)	/* Warn if redefined or undefined.  */
Neil Booth committed
574
#define NODE_DISABLED	(1 << 5)	/* A disabled macro.  */
575
#define NODE_MACRO_ARG	(1 << 6)	/* Used during #define processing.  */
576
#define NODE_USED	(1 << 7)	/* Dumped with -dU.  */
577
#define NODE_CONDITIONAL (1 << 8)	/* Conditional macro */
578
#define NODE_WARN_OPERATOR (1 << 9)	/* Warn about C++ named operator.  */
Neil Booth committed
579 580

/* Different flavors of hash node.  */
581 582
enum node_type
{
Neil Booth committed
583 584 585 586 587
  NT_VOID = 0,	   /* No definition yet.  */
  NT_MACRO,	   /* A macro of some form.  */
  NT_ASSERTION	   /* Predicate for #assert.  */
};

Neil Booth committed
588 589
/* Different flavors of builtin macro.  _Pragma is an operator, but we
   handle it with the builtin code for efficiency reasons.  */
590
enum cpp_builtin_type
Neil Booth committed
591 592 593 594 595 596 597
{
  BT_SPECLINE = 0,		/* `__LINE__' */
  BT_DATE,			/* `__DATE__' */
  BT_FILE,			/* `__FILE__' */
  BT_BASE_FILE,			/* `__BASE_FILE__' */
  BT_INCLUDE_LEVEL,		/* `__INCLUDE_LEVEL__' */
  BT_TIME,			/* `__TIME__' */
Neil Booth committed
598
  BT_STDC,			/* `__STDC__' */
599
  BT_PRAGMA,			/* `_Pragma' operator */
600 601
  BT_TIMESTAMP,			/* `__TIMESTAMP__' */
  BT_COUNTER			/* `__COUNTER__' */
602 603
};

604 605 606 607
#define CPP_HASHNODE(HNODE)	((cpp_hashnode *) (HNODE))
#define HT_NODE(NODE)		((ht_identifier *) (NODE))
#define NODE_LEN(NODE)		HT_LEN (&(NODE)->ident)
#define NODE_NAME(NODE)		HT_STR (&(NODE)->ident)
608

Geoffrey Keating committed
609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625
/* Specify which field, if any, of the union is used.  */

enum {
  NTV_MACRO,
  NTV_ANSWER,
  NTV_BUILTIN,
  NTV_ARGUMENT,
  NTV_NONE
};

#define CPP_HASHNODE_VALUE_IDX(HNODE)				\
  ((HNODE.flags & NODE_MACRO_ARG) ? NTV_ARGUMENT		\
   : HNODE.type == NT_MACRO ? ((HNODE.flags & NODE_BUILTIN) 	\
			       ? NTV_BUILTIN : NTV_MACRO)	\
   : HNODE.type == NT_ASSERTION ? NTV_ANSWER			\
   : NTV_NONE)

626 627 628
/* The common part of an identifier node shared amongst all 3 C front
   ends.  Also used to store CPP identifiers, which are a superset of
   identifiers in the grammatical sense.  */
629

630
union GTY(()) _cpp_hashnode_value {
631 632 633 634 635
  /* If a macro.  */
  cpp_macro * GTY((tag ("NTV_MACRO"))) macro;
  /* Answers to an assertion.  */
  struct answer * GTY ((tag ("NTV_ANSWER"))) answers;
  /* Code for a builtin macro.  */
636
  enum cpp_builtin_type GTY ((tag ("NTV_BUILTIN"))) builtin;
637 638 639 640
  /* Macro argument index.  */
  unsigned short GTY ((tag ("NTV_ARGUMENT"))) arg_index;
};

641
struct GTY(()) cpp_hashnode {
642
  struct ht_identifier ident;
643
  unsigned int is_directive : 1;
644
  unsigned int directive_index : 7;	/* If is_directive,
645
					   then index into directive table.
646
					   Otherwise, a NODE_OPERATOR.  */
647
  unsigned char rid_code;		/* Rid code - for front ends.  */
648 649
  ENUM_BITFIELD(node_type) type : 6;	/* CPP node type.  */
  unsigned int flags : 10;		/* CPP flags.  */
650

651
  union _cpp_hashnode_value GTY ((desc ("CPP_HASHNODE_VALUE_IDX (%1)"))) value;
652 653
};

654 655 656 657 658 659
/* Call this first to get a handle to pass to other functions.

   If you want cpplib to manage its own hashtable, pass in a NULL
   pointer.  Otherwise you should pass in an initialized hash table
   that cpplib will share; this technique is used by the C front
   ends.  */
660 661
extern cpp_reader *cpp_create_reader (enum c_lang, struct ht *,
				      struct line_maps *);
662

663 664 665 666
/* Reset the cpp_reader's line_map.  This is only used after reading a
   PCH file.  */
extern void cpp_set_line_map (cpp_reader *, struct line_maps *);

667 668
/* Call this to change the selected language standard (e.g. because of
   command line options).  */
669
extern void cpp_set_lang (cpp_reader *, enum c_lang);
670

671
/* Set the include paths.  */
672
extern void cpp_set_include_chains (cpp_reader *, cpp_dir *, cpp_dir *, int);
673

674 675 676
/* Call these to get pointers to the options, callback, and deps
   structures for a given reader.  These pointers are good until you
   call cpp_finish on that reader.  You can either edit the callbacks
677 678
   through the pointer returned from cpp_get_callbacks, or set them
   with cpp_set_callbacks.  */
679 680 681
extern cpp_options *cpp_get_options (cpp_reader *);
extern cpp_callbacks *cpp_get_callbacks (cpp_reader *);
extern void cpp_set_callbacks (cpp_reader *, cpp_callbacks *);
682
extern struct deps *cpp_get_deps (cpp_reader *);
683

684 685 686 687
/* This function reads the file, but does not start preprocessing.  It
   returns the name of the original file; this is the same as the
   input file, except for preprocessed input.  This will generate at
   least one file change callback, and possibly a line change callback
688
   too.  If there was an error opening the file, it returns NULL.  */
689
extern const char *cpp_read_main_file (cpp_reader *, const char *);
690

691 692 693 694
/* Set up built-ins with special behavior.  Use cpp_init_builtins()
   instead unless your know what you are doing.  */
extern void cpp_init_special_builtins (cpp_reader *);

Neil Booth committed
695
/* Set up built-ins like __FILE__.  */
696
extern void cpp_init_builtins (cpp_reader *, int);
697

698
/* This is called after options have been parsed, and partially
699
   processed.  */
700 701
extern void cpp_post_options (cpp_reader *);

702 703 704
/* Set up translation to the target character set.  */
extern void cpp_init_iconv (cpp_reader *);

705 706
/* Call this to finish preprocessing.  If you requested dependency
   generation, pass an open stream to write the information to,
707 708
   otherwise NULL.  It is your responsibility to close the stream.  */
extern void cpp_finish (cpp_reader *, FILE *deps_stream);
709

710
/* Call this to release the handle at the end of preprocessing.  Any
711
   use of the handle after this function returns is invalid.  */
712
extern void cpp_destroy (cpp_reader *);
713

714 715 716
extern unsigned int cpp_token_len (const cpp_token *);
extern unsigned char *cpp_token_as_text (cpp_reader *, const cpp_token *);
extern unsigned char *cpp_spell_token (cpp_reader *, const cpp_token *,
717
				       unsigned char *, bool);
718
extern void cpp_register_pragma (cpp_reader *, const char *, const char *,
719
				 void (*) (cpp_reader *), bool);
720 721
extern void cpp_register_deferred_pragma (cpp_reader *, const char *,
					  const char *, unsigned, bool, bool);
722 723 724
extern int cpp_avoid_paste (cpp_reader *, const cpp_token *,
			    const cpp_token *);
extern const cpp_token *cpp_get_token (cpp_reader *);
725 726
extern const cpp_token *cpp_get_token_with_location (cpp_reader *,
						     source_location *);
727 728 729
extern const unsigned char *cpp_macro_definition (cpp_reader *,
						  const cpp_hashnode *);
extern void _cpp_backup_tokens (cpp_reader *, unsigned int);
730
extern const cpp_token *cpp_peek_token (cpp_reader *, int);
Zack Weinberg committed
731

732
/* Evaluate a CPP_*CHAR* token.  */
733 734
extern cppchar_t cpp_interpret_charconst (cpp_reader *, const cpp_token *,
					  unsigned int *, int *);
735
/* Evaluate a vector of CPP_*STRING* tokens.  */
736 737
extern bool cpp_interpret_string (cpp_reader *,
				  const cpp_string *, size_t,
738
				  cpp_string *, enum cpp_ttype);
739 740
extern bool cpp_interpret_string_notranslate (cpp_reader *,
					      const cpp_string *, size_t,
741
					      cpp_string *, enum cpp_ttype);
742

743 744 745
/* Convert a host character constant to the execution character set.  */
extern cppchar_t cpp_host_to_exec_charset (cpp_reader *, cppchar_t);

Neil Booth committed
746
/* Used to register macros and assertions, perhaps from the command line.
747
   The text is the same as the command line argument.  */
748
extern void cpp_define (cpp_reader *, const char *);
749 750
extern void cpp_define_formatted (cpp_reader *pfile, 
				  const char *fmt, ...) ATTRIBUTE_PRINTF_2;
751 752 753
extern void cpp_assert (cpp_reader *, const char *);
extern void cpp_undef (cpp_reader *, const char *);
extern void cpp_unassert (cpp_reader *, const char *);
Per Bothner committed
754

755 756 757
extern cpp_macro *cpp_push_definition (cpp_reader *, const char *);
extern void cpp_pop_definition (cpp_reader *, const char *, cpp_macro *);

Geoffrey Keating committed
758 759 760
/* Undefine all macros and assertions.  */
extern void cpp_undef_all (cpp_reader *);

761
extern cpp_buffer *cpp_push_buffer (cpp_reader *, const unsigned char *,
762
				    size_t, int);
763
extern int cpp_defined (cpp_reader *, const unsigned char *, int);
Zack Weinberg committed
764

765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789
/* A preprocessing number.  Code assumes that any unused high bits of
   the double integer are set to zero.  */
typedef unsigned HOST_WIDE_INT cpp_num_part;
typedef struct cpp_num cpp_num;
struct cpp_num
{
  cpp_num_part high;
  cpp_num_part low;
  bool unsignedp;  /* True if value should be treated as unsigned.  */
  bool overflow;   /* True if the most recent calculation overflowed.  */
};

/* cpplib provides two interfaces for interpretation of preprocessing
   numbers.

   cpp_classify_number categorizes numeric constants according to
   their field (integer, floating point, or invalid), radix (decimal,
   octal, hexadecimal), and type suffixes.  */

#define CPP_N_CATEGORY  0x000F
#define CPP_N_INVALID	0x0000
#define CPP_N_INTEGER	0x0001
#define CPP_N_FLOATING	0x0002

#define CPP_N_WIDTH	0x00F0
790 791 792 793
#define CPP_N_SMALL	0x0010	/* int, float, shrot _Fract/Accum  */
#define CPP_N_MEDIUM	0x0020	/* long, double, long _Fract/_Accum.  */
#define CPP_N_LARGE	0x0040	/* long long, long double,
				   long long _Fract/Accum.  */
794

795 796 797 798
#define CPP_N_WIDTH_MD	0xF0000	/* machine defined.  */
#define CPP_N_MD_W	0x10000
#define CPP_N_MD_Q	0x20000

799 800 801 802
#define CPP_N_RADIX	0x0F00
#define CPP_N_DECIMAL	0x0100
#define CPP_N_HEX	0x0200
#define CPP_N_OCTAL	0x0400
803
#define CPP_N_BINARY	0x0800
804 805 806

#define CPP_N_UNSIGNED	0x1000	/* Properties.  */
#define CPP_N_IMAGINARY	0x2000
807
#define CPP_N_DFLOAT	0x4000
808
#define CPP_N_DEFAULT	0x8000
809

810 811 812
#define CPP_N_FRACT	0x100000 /* Fract types.  */
#define CPP_N_ACCUM	0x200000 /* Accum types.  */

813 814
/* Classify a CPP_NUMBER token.  The return value is a combination of
   the flags from the above sets.  */
815
extern unsigned cpp_classify_number (cpp_reader *, const cpp_token *);
816 817

/* Evaluate a token classified as category CPP_N_INTEGER.  */
818 819
extern cpp_num cpp_interpret_integer (cpp_reader *, const cpp_token *,
				      unsigned int type);
820

821 822
/* Sign extend a number, with PRECISION significant bits and all
   others assumed clear, to fill out a cpp_num structure.  */
823
cpp_num cpp_num_sign_extend (cpp_num, size_t);
824

825
/* Diagnostic levels.  To get a diagnostic without associating a
826 827 828 829
   position in the translation unit with it, use cpp_error_with_line
   with a line number of zero.  */

/* Warning, an error with -Werror.  */
830 831 832
#define CPP_DL_WARNING		0x00
/* Same as CPP_DL_WARNING, except it is not suppressed in system headers.  */
#define CPP_DL_WARNING_SYSHDR	0x01
833
/* Warning, an error with -pedantic-errors or -Werror.  */
834
#define CPP_DL_PEDWARN		0x02
835
/* An error.  */
836
#define CPP_DL_ERROR		0x03
837
/* An internal consistency check failed.  Prints "internal error: ",
838 839
   otherwise the same as CPP_DL_ERROR.  */
#define CPP_DL_ICE		0x04
840 841
/* An informative note following a warning.  */
#define CPP_DL_NOTE		0x05
842 843
/* A fatal error.  */
#define CPP_DL_FATAL		0x06
844 845

/* Output a diagnostic of some kind.  */
846
extern bool cpp_error (cpp_reader *, int, const char *msgid, ...)
847 848
  ATTRIBUTE_PRINTF_3;

849
/* Output a diagnostic with "MSGID: " preceding the
850
   error string of errno.  No location is printed.  */
851
extern bool cpp_errno (cpp_reader *, int, const char *msgid);
852 853 854 855

/* Same as cpp_error, except additionally specifies a position as a
   (translation unit) physical line and physical column.  If the line is
   zero, then no location is printed.  */
856
extern bool cpp_error_with_line (cpp_reader *, int, source_location, unsigned,
Per Bothner committed
857
				 const char *msgid, ...) ATTRIBUTE_PRINTF_5;
858

859
/* In lex.c */
860 861
extern int cpp_ideq (const cpp_token *, const char *);
extern void cpp_output_line (cpp_reader *, FILE *);
862 863
extern unsigned char *cpp_output_line_to_string (cpp_reader *,
						 const unsigned char *);
864
extern void cpp_output_token (const cpp_token *, FILE *);
865
extern const char *cpp_type2name (enum cpp_ttype, unsigned char flags);
866 867 868 869 870
/* Returns the value of an escape sequence, truncated to the correct
   target precision.  PSTR points to the input pointer, which is just
   after the backslash.  LIMIT is how much text we have.  WIDE is true
   if the escape sequence is part of a wide character constant or
   string literal.  Handles all relevant diagnostics.  */
871 872
extern cppchar_t cpp_parse_escape (cpp_reader *, const unsigned char ** pstr,
				   const unsigned char *limit, int wide);
873

874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903
/* Structure used to hold a comment block at a given location in the
   source code.  */

typedef struct
{
  /* Text of the comment including the terminators.  */
  char *comment;

  /* source location for the given comment.  */
  source_location sloc;
} cpp_comment;

/* Structure holding all comments for a given cpp_reader.  */

typedef struct
{
  /* table of comment entries.  */
  cpp_comment *entries;

  /* number of actual entries entered in the table.  */
  int count;

  /* number of entries allocated currently.  */
  int allocated;
} cpp_comment_table;

/* Returns the table of comments encountered by the preprocessor. This
   table is only populated when pfile->state.save_comments is true. */
extern cpp_comment_table *cpp_get_comments (cpp_reader *);

904
/* In hash.c */
905 906 907

/* Lookup an identifier in the hashtable.  Puts the identifier in the
   table if it is not already there.  */
908 909
extern cpp_hashnode *cpp_lookup (cpp_reader *, const unsigned char *,
				 unsigned int);
910

911 912
typedef int (*cpp_cb) (cpp_reader *, cpp_hashnode *, void *);
extern void cpp_forall_identifiers (cpp_reader *, cpp_cb, void *);
913

914
/* In macro.c */
915 916 917 918
extern void cpp_scan_nooutput (cpp_reader *);
extern int  cpp_sys_macro_p (cpp_reader *);
extern unsigned char *cpp_quote_string (unsigned char *, const unsigned char *,
					unsigned int);
919

920
/* In files.c */
921
extern bool cpp_included (cpp_reader *, const char *);
922
extern bool cpp_included_before (cpp_reader *, const char *, source_location);
923 924 925
extern void cpp_make_system_header (cpp_reader *, int, int);
extern bool cpp_push_include (cpp_reader *, const char *);
extern void cpp_change_file (cpp_reader *, enum lc_reason, const char *);
926
extern const char *cpp_get_path (struct _cpp_file *);
927
extern cpp_dir *cpp_get_dir (struct _cpp_file *);
928 929 930
extern cpp_buffer *cpp_get_buffer (cpp_reader *);
extern struct _cpp_file *cpp_get_file (cpp_buffer *);
extern cpp_buffer *cpp_get_prev (cpp_buffer *);
931
extern void cpp_clear_file_cache (cpp_reader *);
932

933
/* In pch.c */
934
struct save_macro_data;
935 936 937 938 939 940 941
extern int cpp_save_state (cpp_reader *, FILE *);
extern int cpp_write_pch_deps (cpp_reader *, FILE *);
extern int cpp_write_pch_state (cpp_reader *, FILE *);
extern int cpp_valid_state (cpp_reader *, const char *, int);
extern void cpp_prepare_state (cpp_reader *, struct save_macro_data **);
extern int cpp_read_state (cpp_reader *, const char *, FILE *,
			   struct save_macro_data *);
942

943
#endif /* ! LIBCPP_CPPLIB_H */