PR preprocessor/63831
[official-gcc.git] / gcc / doc / implement-cxx.texi
blob5802311989814b15c91e28c61a366bb6d0a6c9f5
1 @c Copyright (C) 2009-2014 Free Software Foundation, Inc.
2 @c This is part of the GCC manual.
3 @c For copying conditions, see the file gcc.texi.
5 @node C++ Implementation
6 @chapter C++ Implementation-defined behavior
7 @cindex implementation-defined behavior, C++ language
9 A conforming implementation of ISO C++ is required to document its
10 choice of behavior in each of the areas that are designated
11 ``implementation defined''.  The following lists all such areas,
12 along with the section numbers from the ISO/IEC 14882:1998 and ISO/IEC
13 14882:2003 standards.  Some areas are only implementation-defined in
14 one version of the standard.
16 Some choices depend on the externally determined ABI for the platform
17 (including standard character encodings) which GCC follows; these are
18 listed as ``determined by ABI'' below.  @xref{Compatibility, , Binary
19 Compatibility}, and @uref{http://gcc.gnu.org/readings.html}.  Some
20 choices are documented in the preprocessor manual.
21 @xref{Implementation-defined behavior, , Implementation-defined
22 behavior, cpp, The C Preprocessor}.  Some choices are documented in
23 the corresponding document for the C language.  @xref{C
24 Implementation}.  Some choices are made by the library and operating
25 system (or other environment when compiling for a freestanding
26 environment); refer to their documentation for details.
28 @menu
29 * Conditionally-supported behavior::
30 * Exception handling::
31 @end menu
33 @node Conditionally-supported behavior
34 @section Conditionally-supported behavior
36 @cite{Each implementation shall include documentation that identifies
37 all conditionally-supported constructs that it does not support (C++0x
38 1.4).}
40 @itemize @bullet
41 @item
42 @cite{Whether an argument of class type with a non-trivial copy
43 constructor or destructor can be passed to ... (C++0x 5.2.2).}
45 Such argument passing is supported, using the same
46 pass-by-invisible-reference approach used for normal function
47 arguments of such types.
49 @end itemize
51 @node Exception handling
52 @section Exception handling
54 @itemize @bullet
55 @item
56 @cite{In the situation where no matching handler is found, it is
57 implementation-defined whether or not the stack is unwound before
58 std::terminate() is called (C++98 15.5.1).}
60 The stack is not unwound before std::terminate is called.
62 @end itemize