cpplib.h 29.5 KB
Newer Older
Per Bothner committed
1
/* Definitions for CPP library.
2 3
   Copyright (C) 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003,
   2004, 2005
4
   Free Software Foundation, Inc.
Per Bothner committed
5 6 7 8 9 10 11 12 13 14 15 16 17 18
   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
Free Software Foundation; either version 2, or (at your option) any
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
along with this program; if not, write to the Free Software
19
Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
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 34 35 36 37

#ifdef __cplusplus
extern "C" {
#endif

typedef struct cpp_reader cpp_reader;
typedef struct cpp_buffer cpp_buffer;
typedef struct cpp_options cpp_options;
38
typedef struct cpp_token cpp_token;
39
typedef struct cpp_string cpp_string;
40
typedef struct cpp_hashnode cpp_hashnode;
Neil Booth committed
41
typedef struct cpp_macro cpp_macro;
42
typedef struct cpp_callbacks cpp_callbacks;
43
typedef struct cpp_dir cpp_dir;
Neil Booth committed
44 45

struct answer;
46
struct _cpp_file;
Zack Weinberg committed
47

48 49 50
/* 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
51 52 53 54 55

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

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 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141
#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(MIN,		"<?")	/* extension */				\
  OP(MAX,		">?")						\
									\
  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,		"<<=")						\
  OP(MIN_EQ,		"<?=")	/* extension */				\
  OP(MAX_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' */				\
  TK(OTHER,		LITERAL) /* stray punctuation */		\
									\
  TK(STRING,		LITERAL) /* "string" */				\
  TK(WSTRING,		LITERAL) /* L"string" */			\
  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.  */			\
  TK(PRAGMA,		NONE)	 /* Only if deferring pragmas */	\
  TK(PADDING,		NONE)	 /* Whitespace for -E.	*/

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

  /* Positions in the table.  */
  CPP_LAST_EQ        = CPP_MAX,
  CPP_FIRST_DIGRAPH  = CPP_HASH,
  CPP_LAST_PUNCTUATOR= CPP_DOT_STAR,
  CPP_LAST_CPP_OP    = CPP_LESS_EQ
152
};
153 154
#undef OP
#undef TK
155

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

160
/* Payload of a NUMBER, STRING, CHAR or COMMENT token.  */
Geoffrey Keating committed
161
struct cpp_string GTY(())
162 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

Geoffrey Keating committed
176 177 178 179 180 181 182 183 184 185
/* 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,
  CPP_TOKEN_FLD_NONE
};

186
/* A preprocessing token.  This has been carefully packed and should
Neil Booth committed
187
   occupy 16 bytes on 32-bit hosts and 24 bytes on 64-bit hosts.  */
Geoffrey Keating committed
188
struct cpp_token GTY(())
189
{
190
  source_location src_loc;	/* Location of first char of token.  */
Zack Weinberg committed
191 192 193
  ENUM_BITFIELD(cpp_ttype) type : CHAR_BIT;  /* token type */
  unsigned char flags;		/* flags - see above */

Geoffrey Keating committed
194
  union cpp_token_u
195
  {
Geoffrey Keating committed
196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212
    /* An 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"),
	    tag ("CPP_TOKEN_FLD_NODE")))
	 node;
	 
    /* 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.  */
    unsigned int GTY ((tag ("CPP_TOKEN_FLD_ARG_NO"))) arg_no;
  } GTY ((desc ("cpp_token_val_index (&%1)"))) val;
Per Bothner committed
213 214
};

Geoffrey Keating committed
215 216 217
/* Say which field is in use.  */
extern enum cpp_token_fld_kind cpp_token_val_index (cpp_token *tok);

218
/* A type wide enough to hold any multibyte source character.
219
   cpplib's character constant interpreter requires an unsigned type.
220 221 222 223 224 225 226
   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
227
# define CPPCHAR_SIGNED_T int
228 229
#elif CHAR_BIT * SIZEOF_LONG >= 32
# define CPPCHAR_SIGNED_T long
230
#else
231
# error "Cannot find a least-32-bit signed integer type"
232 233 234
#endif
typedef unsigned CPPCHAR_SIGNED_T cppchar_t;
typedef CPPCHAR_SIGNED_T cppchar_signed_t;
235

236 237 238
/* Style of header dependencies to generate.  */
enum cpp_deps_style { DEPS_NONE = 0, DEPS_USER, DEPS_SYSTEM };

Geoffrey Keating committed
239 240 241 242 243 244 245 246 247 248 249 250 251
/* 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
};

252 253 254
/* This structure is nested inside struct cpp_reader, and
   carries all the options visible to the command line.  */
struct cpp_options
255
{
256 257 258
  /* Characters between tab stops.  */
  unsigned int tabstop;

259 260 261
  /* The language we're preprocessing.  */
  enum c_lang lang;

Per Bothner committed
262
  /* Nonzero means use extra default include directories for C++.  */
263
  unsigned char cplusplus;
Per Bothner committed
264

265
  /* Nonzero means handle cplusplus style comments.  */
266
  unsigned char cplusplus_comments;
Per Bothner committed
267

268 269
  /* Nonzero means define __OBJC__, treat @ as a special token, and
     use the OBJC[PLUS]_INCLUDE_PATH environment variable.  */
270
  unsigned char objc;
Per Bothner committed
271

272
  /* Nonzero means don't copy comments into the output file.  */
273
  unsigned char discard_comments;
Per Bothner committed
274

275 276 277 278
  /* Nonzero means don't copy comments into the output file during
     macro expansion.  */
  unsigned char discard_comments_in_macro_exp;

Zack Weinberg committed
279
  /* Nonzero means process the ISO trigraph sequences.  */
280
  unsigned char trigraphs;
Per Bothner committed
281

282 283 284
  /* Nonzero means process the ISO digraph sequences.  */
  unsigned char digraphs;

285 286 287
  /* Nonzero means to allow hexadecimal floats and LL suffixes.  */
  unsigned char extended_numbers;

Per Bothner committed
288
  /* Nonzero means print names of header files (-H).  */
289
  unsigned char print_include_names;
Per Bothner committed
290

291 292
  /* Nonzero means cpp_pedwarn causes a hard error.  */
  unsigned char pedantic_errors;
Per Bothner committed
293

294
  /* Nonzero means don't print warning messages.  */
295
  unsigned char inhibit_warnings;
Per Bothner committed
296

297 298 299
  /* Nonzero means complain about deprecated features.  */
  unsigned char warn_deprecated;

300 301 302
  /* Nonzero means don't suppress warnings from system headers.  */
  unsigned char warn_system_headers;

303 304 305
  /* Nonzero means don't print error messages.  Has no option to
     select it, but can be set by a user of cpplib (e.g. fix-header).  */
  unsigned char inhibit_errors;
306

Per Bothner committed
307
  /* Nonzero means warn if slash-star appears in a comment.  */
308
  unsigned char warn_comments;
Per Bothner committed
309

310 311 312 313
  /* Nonzero means warn if a user-supplied include directory does not
     exist.  */
  unsigned char warn_missing_include_dirs;

Per Bothner committed
314
  /* Nonzero means warn if there are any trigraphs.  */
315
  unsigned char warn_trigraphs;
Per Bothner committed
316

317 318 319
  /* Nonzero means warn about multicharacter charconsts.  */
  unsigned char warn_multichar;

320 321
  /* Nonzero means warn about various incompatibilities with
     traditional C.  */
322
  unsigned char warn_traditional;
Per Bothner committed
323

324 325 326
  /* Nonzero means warn about long long numeric constants.  */
  unsigned char warn_long_long;

327 328 329
  /* Nonzero means warn about text after an #endif (or #else).  */
  unsigned char warn_endif_labels;

330 331 332 333
  /* Nonzero means warn about implicit sign changes owing to integer
     promotions.  */
  unsigned char warn_num_sign_change;

334 335 336 337
  /* 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;

Per Bothner committed
338
  /* Nonzero means turn warnings into errors.  */
339
  unsigned char warnings_are_errors;
Per Bothner committed
340

Jeff Law committed
341 342
  /* Nonzero means we should look for header.gcc files that remap file
     names.  */
343
  unsigned char remap;
Jeff Law committed
344

Kazu Hirata committed
345
  /* Zero means dollar signs are punctuation.  */
346
  unsigned char dollars_in_ident;
Per Bothner committed
347

348 349 350
  /* Nonzero means UCNs are accepted in identifiers.  */
  unsigned char extended_identifiers;

351 352 353 354
  /* True if we should warn about dollars in identifiers or numbers
     for this translation unit.  */
  unsigned char warn_dollars;

355
  /* Nonzero means warn if undefined identifiers are evaluated in an #if.  */
356
  unsigned char warn_undef;
357

358 359 360
  /* Nonzero means warn of unused macros from the main file.  */
  unsigned char warn_unused_macros;

361
  /* Nonzero for the 1999 C Standard, including corrigenda and amendments.  */
362
  unsigned char c99;
363

364 365 366
  /* Nonzero if we are conforming to a specific C or C++ standard.  */
  unsigned char std;

Per Bothner committed
367
  /* Nonzero means give all the error messages the ANSI standard requires.  */
368
  unsigned char pedantic;
Per Bothner committed
369

370 371
  /* Nonzero means we're looking at already preprocessed code, so don't
     bother trying to do macro expansion and whatnot.  */
372
  unsigned char preprocessed;
373

374 375
  /* Print column number in error messages.  */
  unsigned char show_column;
376

Neil Booth committed
377
  /* Nonzero means handle C++ alternate operator names.  */
378
  unsigned char operator_names;
379

380 381 382
  /* True for traditional preprocessing.  */
  unsigned char traditional;

383 384 385 386 387 388
  /* 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;

389 390 391
  /* Holds the name of the input character set.  */
  const char *input_charset;

Geoffrey Keating committed
392 393 394 395
  /* The minimum permitted level of normalization before a warning
     is generated.  */
  enum cpp_normalize_level warn_normalize;

396 397 398 399 400 401
  /* 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;

402 403 404 405
  /* Dependency generation.  */
  struct
  {
    /* Style of header dependencies to generate.  */
406
    enum cpp_deps_style style;
407 408 409 410 411 412 413

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

    /* Generate phony targets for each dependency apart from the first
       one.  */
    bool phony_targets;
414 415 416

    /* If true, no dependency is generated on the main file.  */
    bool ignore_main_file;
417 418
  } deps;

419 420 421 422 423 424
  /* 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;

425 426
  /* True means chars (wide chars) are unsigned.  */
  bool unsigned_char, unsigned_wchar;
427

428 429 430
  /* True if the most significant byte in a word has the lowest
     address in memory.  */
  bool bytes_big_endian;
431

432 433
  /* Nonzero means __STDC__ should have the value 0 in system headers.  */
  unsigned char stdc_0_in_system_headers;
434 435 436 437

  /* True means return pragmas as tokens rather than processing
     them directly. */
  bool defer_pragmas;
438
};
Per Bothner committed
439

440 441 442 443 444 445
/* 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.  */
446
typedef const char *(*missing_header_cb)(cpp_reader *, const char *header, cpp_dir **);
447

448
/* Call backs to cpplib client.  */
449 450
struct cpp_callbacks
{
451
  /* Called when a new line of preprocessed output is started.  */
452
  void (*line_change) (cpp_reader *, const cpp_token *, int);
453 454 455 456 457

  /* 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.  */
458
  void (*file_change) (cpp_reader *, const struct line_map *);
459

460
  void (*dir_change) (cpp_reader *, const char *);
461 462 463 464 465 466 467 468
  void (*include) (cpp_reader *, unsigned int, const unsigned char *,
		   const char *, int);
  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 *);
469
  missing_header_cb missing_header;
470 471
};

472
/* Chain of directories to look for include files in.  */
473
struct cpp_dir
474 475
{
  /* NULL-terminated singly-linked list.  */
476
  struct cpp_dir *next;
477

478
  /* NAME of the directory, NUL-terminated.  */
479 480 481 482 483 484 485
  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;

486 487 488
  /* 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;
489

490 491 492 493 494 495
  /* 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);

496 497 498 499
  /* The C front end uses these to recognize duplicated
     directories in the search path.  */
  ino_t ino;
  dev_t dev;
500 501 502

  /* Is this a user-supplied directory? */
  bool user_supplied_p;
503 504
};

Per Bothner committed
505
/* Name under which this program was invoked.  */
506
extern const char *progname;
Per Bothner committed
507

Neil Booth committed
508 509 510 511
/* 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
512
   like __LINE__ are flagged NODE_BUILTIN.  Poisoned identifiers are
Neil Booth committed
513 514 515 516 517 518 519 520 521 522 523
   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
   applies to __VA_ARGS__ and poisoned identifiers.  */

/* 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.  */
524
#define NODE_WARN	(1 << 4)	/* Warn if redefined or undefined.  */
Neil Booth committed
525
#define NODE_DISABLED	(1 << 5)	/* A disabled macro.  */
526
#define NODE_MACRO_ARG	(1 << 6)	/* Used during #define processing.  */
Neil Booth committed
527 528

/* Different flavors of hash node.  */
529 530
enum node_type
{
Neil Booth committed
531 532 533 534 535
  NT_VOID = 0,	   /* No definition yet.  */
  NT_MACRO,	   /* A macro of some form.  */
  NT_ASSERTION	   /* Predicate for #assert.  */
};

Neil Booth committed
536 537
/* Different flavors of builtin macro.  _Pragma is an operator, but we
   handle it with the builtin code for efficiency reasons.  */
Neil Booth committed
538 539 540 541 542 543 544 545
enum builtin_type
{
  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
546 547
  BT_STDC,			/* `__STDC__' */
  BT_PRAGMA			/* `_Pragma' operator */
548 549
};

550 551 552 553
#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)
554

Geoffrey Keating committed
555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571
/* 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)

572 573 574
/* 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.  */
575 576 577 578 579 580 581 582 583 584 585 586 587

union _cpp_hashnode_value GTY(())
{
  /* 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.  */
  enum builtin_type GTY ((tag ("NTV_BUILTIN"))) builtin;
  /* Macro argument index.  */
  unsigned short GTY ((tag ("NTV_ARGUMENT"))) arg_index;
};

588
struct cpp_hashnode GTY(())
589
{
590
  struct ht_identifier ident;
591
  unsigned int is_directive : 1;
592
  unsigned int directive_index : 7;	/* If is_directive,
593
					   then index into directive table.
594
					   Otherwise, a NODE_OPERATOR.  */
595 596 597
  unsigned char rid_code;		/* Rid code - for front ends.  */
  ENUM_BITFIELD(node_type) type : 8;	/* CPP node type.  */
  unsigned char flags;			/* CPP flags.  */
598

599
  union _cpp_hashnode_value GTY ((desc ("CPP_HASHNODE_VALUE_IDX (%1)"))) value;
600 601
};

602 603 604 605 606 607
/* 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.  */
608 609
extern cpp_reader *cpp_create_reader (enum c_lang, struct ht *,
				      struct line_maps *);
610

611 612
/* Call this to change the selected language standard (e.g. because of
   command line options).  */
613
extern void cpp_set_lang (cpp_reader *, enum c_lang);
614

615
/* Set the include paths.  */
616
extern void cpp_set_include_chains (cpp_reader *, cpp_dir *, cpp_dir *, int);
617

618 619 620
/* 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
621 622
   through the pointer returned from cpp_get_callbacks, or set them
   with cpp_set_callbacks.  */
623 624 625
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 *);
626
extern struct deps *cpp_get_deps (cpp_reader *);
627

628 629 630 631
/* 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
632
   too.  If there was an error opening the file, it returns NULL.  */
633
extern const char *cpp_read_main_file (cpp_reader *, const char *);
634

Neil Booth committed
635
/* Set up built-ins like __FILE__.  */
636
extern void cpp_init_builtins (cpp_reader *, int);
637

638
/* This is called after options have been parsed, and partially
639
   processed.  */
640 641
extern void cpp_post_options (cpp_reader *);

642 643 644
/* Set up translation to the target character set.  */
extern void cpp_init_iconv (cpp_reader *);

645 646 647 648 649
/* Call this to finish preprocessing.  If you requested dependency
   generation, pass an open stream to write the information to,
   otherwise NULL.  It is your responsibility to close the stream.

   Returns cpp_errors (pfile).  */
650
extern int cpp_finish (cpp_reader *, FILE *deps_stream);
651

652 653 654
/* Call this to release the handle at the end of preprocessing.  Any
   use of the handle after this function returns is invalid.  Returns
   cpp_errors (pfile).  */
655
extern void cpp_destroy (cpp_reader *);
656

657
/* Error count.  */
658 659 660 661 662
extern unsigned int cpp_errors (cpp_reader *);

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 *,
663
				       unsigned char *, bool);
664
extern void cpp_register_pragma (cpp_reader *, const char *, const char *,
665
				 void (*) (cpp_reader *), bool);
666
extern void cpp_handle_deferred_pragma (cpp_reader *, const cpp_string *);
667 668 669 670 671 672
extern int cpp_avoid_paste (cpp_reader *, const cpp_token *,
			    const cpp_token *);
extern const cpp_token *cpp_get_token (cpp_reader *);
extern const unsigned char *cpp_macro_definition (cpp_reader *,
						  const cpp_hashnode *);
extern void _cpp_backup_tokens (cpp_reader *, unsigned int);
Zack Weinberg committed
673

674
/* Evaluate a CPP_CHAR or CPP_WCHAR token.  */
675 676
extern cppchar_t cpp_interpret_charconst (cpp_reader *, const cpp_token *,
					  unsigned int *, int *);
677 678 679 680
/* Evaluate a vector of CPP_STRING or CPP_WSTRING tokens.  */
extern bool cpp_interpret_string (cpp_reader *,
				  const cpp_string *, size_t,
				  cpp_string *, bool);
681 682 683
extern bool cpp_interpret_string_notranslate (cpp_reader *,
					      const cpp_string *, size_t,
					      cpp_string *, bool);
684

685 686 687
/* 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
688
/* Used to register macros and assertions, perhaps from the command line.
689
   The text is the same as the command line argument.  */
690 691 692 693
extern void cpp_define (cpp_reader *, const char *);
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
694

Geoffrey Keating committed
695 696 697
/* Undefine all macros and assertions.  */
extern void cpp_undef_all (cpp_reader *);

698
extern cpp_buffer *cpp_push_buffer (cpp_reader *, const unsigned char *,
699
				    size_t, int);
700
extern int cpp_defined (cpp_reader *, const unsigned char *, int);
Zack Weinberg committed
701

702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740
/* 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
#define CPP_N_SMALL	0x0010	/* int, float.  */
#define CPP_N_MEDIUM	0x0020	/* long, double.  */
#define CPP_N_LARGE	0x0040	/* long long, long double.  */

#define CPP_N_RADIX	0x0F00
#define CPP_N_DECIMAL	0x0100
#define CPP_N_HEX	0x0200
#define CPP_N_OCTAL	0x0400

#define CPP_N_UNSIGNED	0x1000	/* Properties.  */
#define CPP_N_IMAGINARY	0x2000

/* Classify a CPP_NUMBER token.  The return value is a combination of
   the flags from the above sets.  */
741
extern unsigned cpp_classify_number (cpp_reader *, const cpp_token *);
742 743

/* Evaluate a token classified as category CPP_N_INTEGER.  */
744 745
extern cpp_num cpp_interpret_integer (cpp_reader *, const cpp_token *,
				      unsigned int type);
746

747 748
/* Sign extend a number, with PRECISION significant bits and all
   others assumed clear, to fill out a cpp_num structure.  */
749
cpp_num cpp_num_sign_extend (cpp_num, size_t);
750

751
/* Diagnostic levels.  To get a diagnostic without associating a
752 753 754 755
   position in the translation unit with it, use cpp_error_with_line
   with a line number of zero.  */

/* Warning, an error with -Werror.  */
756 757 758
#define CPP_DL_WARNING		0x00
/* Same as CPP_DL_WARNING, except it is not suppressed in system headers.  */
#define CPP_DL_WARNING_SYSHDR	0x01
759
/* Warning, an error with -pedantic-errors or -Werror.  */
760
#define CPP_DL_PEDWARN		0x02
761
/* An error.  */
762
#define CPP_DL_ERROR		0x03
763
/* An internal consistency check failed.  Prints "internal error: ",
764 765
   otherwise the same as CPP_DL_ERROR.  */
#define CPP_DL_ICE		0x04
766
/* Extracts a diagnostic level from an int.  */
767
#define CPP_DL_EXTRACT(l)	(l & 0xf)
768
/* Nonzero if a diagnostic level is one of the warnings.  */
769 770
#define CPP_DL_WARNING_P(l)	(CPP_DL_EXTRACT (l) >= CPP_DL_WARNING \
				 && CPP_DL_EXTRACT (l) <= CPP_DL_PEDWARN)
771 772

/* Output a diagnostic of some kind.  */
773
extern void cpp_error (cpp_reader *, int, const char *msgid, ...)
774 775
  ATTRIBUTE_PRINTF_3;

776
/* Output a diagnostic with "MSGID: " preceding the
777
   error string of errno.  No location is printed.  */
778
extern void cpp_errno (cpp_reader *, int, const char *msgid);
779 780 781 782

/* 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.  */
783
extern void cpp_error_with_line (cpp_reader *, int, source_location, unsigned,
Per Bothner committed
784
				 const char *msgid, ...) ATTRIBUTE_PRINTF_5;
785 786

/* In cpplex.c */
787 788 789 790
extern int cpp_ideq (const cpp_token *, const char *);
extern void cpp_output_line (cpp_reader *, FILE *);
extern void cpp_output_token (const cpp_token *, FILE *);
extern const char *cpp_type2name (enum cpp_ttype);
791 792 793 794 795
/* 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.  */
796 797
extern cppchar_t cpp_parse_escape (cpp_reader *, const unsigned char ** pstr,
				   const unsigned char *limit, int wide);
798

799
/* In cpphash.c */
800 801 802

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

806 807
typedef int (*cpp_cb) (cpp_reader *, cpp_hashnode *, void *);
extern void cpp_forall_identifiers (cpp_reader *, cpp_cb, void *);
808

809
/* In cppmacro.c */
810 811 812 813
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);
814

Zack Weinberg committed
815
/* In cppfiles.c */
816
extern bool cpp_included (cpp_reader *, const char *);
817 818 819
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 *);
820
extern const char *cpp_get_path (struct _cpp_file *);
821
extern cpp_dir *cpp_get_dir (struct _cpp_file *);
822 823 824
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 *);
825

826 827
/* In cpppch.c */
struct save_macro_data;
828 829 830 831 832 833 834
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 *);
835

Per Bothner committed
836 837 838
#ifdef __cplusplus
}
#endif
839

840
#endif /* ! LIBCPP_CPPLIB_H */