11.1 Implementation-defined behavior
This is how CPP behaves in all the cases which the C standard describes as implementation-defined. This term means that the implementation is free to do what it likes, but must document its choice and stick to it.
- The mapping of physical source file multi-byte characters to the execution character set.
The input character set can be specified using the -finput-charset option, while the execution character set may be controlled using the -fexec-charset and -fwide-exec-charset options.
- Identifier characters.
The C and C++ standards allow identifiers to be composed of ‘_’ and the alphanumeric characters. C++ also allows universal character names. C99 and later C standards permit both universal character names and implementation-defined characters.
GCC allows the ‘$’ character in identifiers as an extension for most targets. This is true regardless of the std= switch, since this extension cannot conflict with standards-conforming programs. When preprocessing assembler, however, dollars are not identifier characters by default.
Currently the targets that by default do not permit ‘$’ are AVR, IP2K, MMIX, MIPS Irix 3, ARM aout, and PowerPC targets for the AIX operating system.
You can override the default with -fdollars-in-identifiers or fno-dollars-in-identifiers. See fdollars-in-identifiers.
- Non-empty sequences of whitespace characters.
In textual output, each whitespace sequence is collapsed to a single space. For aesthetic reasons, the first token on each non-directive line of output is preceded with sufficient spaces that it appears in the same column as it did in the original source file.
- The numeric value of character constants in preprocessor expressions.
The preprocessor and compiler interpret character constants in the same way; i.e. escape sequences such as ‘\a’ are given the values they would have on the target machine.
The compiler evaluates a multi-character character constant a character at a time, shifting the previous value left by the number of bits per target character, and then or-ing in the bit-pattern of the new character truncated to the width of a target character. The final bit-pattern is given type
int
, and is therefore signed, regardless of whether single characters are signed or not. If there are more characters in the constant than would fit in the targetint
the compiler issues a warning, and the excess leading characters are ignored.For example,
'ab'
for a target with an 8-bitchar
would be interpreted as ‘(int) ((unsigned char) 'a' * 256 + (unsigned char) 'b')’, and'\234a'
as ‘(int) ((unsigned char) '\234' * 256 + (unsigned char) 'a')’. - Source file inclusion.
For a discussion on how the preprocessor locates header files, Include Operation.
- Interpretation of the filename resulting from a macro-expanded ‘#include’ directive.
See Computed Includes.
- Treatment of a ‘#pragma’ directive that after macro-expansion results in a standard pragma.
No macro expansion occurs on any ‘#pragma’ directive line, so the question does not arise.
Note that GCC does not yet implement any of the standard pragmas.
Next: Implementation limits, Up: Implementation Details [Contents][Index]
© Free Software Foundation
Licensed under the GNU Free Documentation License, Version 1.3.
https://gcc.gnu.org/onlinedocs/gcc-7.4.0/cpp/Implementation_002ddefined-behavior.html