gcc/cp/NEWS

   1 *** Changes in GCC 3.1:
   2
   3 * -fhonor-std and -fno-honor-std have been removed. -fno-honor-std was
   4   a workaround to allow std compliant code to work with the non-std
   5   compliant libstdc++-v2. libstdc++-v3 is std compliant.
   6
   7 * The C++ ABI has been changed to correctly handle this code:
   8
   9     struct A {
  10       void operator delete[] (void *, size_t);
  11     };
  12
  13     struct B : public A {
  14     };
  15
  16     new B[10];
  17
  18   The amount of storage allocated for the array will be greater than
  19   it was in 3.0, in order to store the number of elements in the
  20   array, so that the correct size can be passed to `operator delete[]'
  21   when the array is deleted.  Previously, the value passed to
  22   `operator delete[]' was unpredictable.
  23
  24   This change will only affect code that declares a two-argument
  25   `operator delete[]' with a second parameter of type `size_t'
  26   in a base class, and does not override that definition in a
  27   derived class.
  28
  29 * The C++ ABI has been changed so that:
  30
  31     struct A {
  32       void operator delete[] (void *, size_t);
  33       void operator delete[] (void *);
  34     };
  35
  36   does not cause unncessary storage to be allocated when an array of
  37   `A' objects is allocated.
  38
  39   This change will only affect code that declares both of these
  40   forms of `operator delete[]', and declared the two-argument form
  41   before the one-argument form.
  42
  43 *** Changes in GCC 3.0:
  44
  45 * Support for guiding declarations has been removed.
  46
  47 * G++ now supports importing member functions from base classes with a
  48   using-declaration.
  49
  50 * G++ now enforces access control for nested types.
  51
  52 * In some obscure cases, functions with the same type could have the
  53   same mangled name.  This bug caused compiler crashes, link-time clashes,
  54   and debugger crashes.  Fixing this bug required breaking ABI
  55   compatibility for the functions involved.  The functions in questions
  56   are those whose types involve non-type template arguments whose
  57   mangled representations require more than one digit.
  58
  59 * Support for assignment to `this' has been removed.  This idiom
  60   was used in the very early days of C++, before users were allowed
  61   to overload `operator new'; it is no longer allowed by the C++
  62   standard.
  63
  64 * Support for signatures, a G++ extension, have been removed.
  65
  66 * Certain invalid conversions that were previously accepted will now
  67   be rejected.  For example, assigning function pointers of one type
  68   to function pointers of another type now requires a cast, whereas
  69   previously g++ would sometimes accept the code even without the
  70   cast.
  71
  72 * G++ previously allowed `sizeof (X::Y)' where Y was a non-static
  73   member of X, even if the `sizeof' expression occurred outside
  74   of a non-static member function of X (or one of its derived classes,
  75   or a member-initializer for X or one of its derived classes.)   This
  76   extension has been removed.
  77
  78 * G++ no longer allows you to overload the conditional operator (i.e.,
  79   the `?:' operator.)
  80
  81 * The "named return value" extension:
  82
  83     int f () return r { r = 3; }
  84
  85   has been deprecated, and will be removed in a future version of G++.
  86
  87 *** Changes in GCC 2.95:
  88
  89 * Messages about non-conformant code that we can still handle ("pedwarns")
  90   are now errors by default, rather than warnings.  This can be reverted
  91   with -fpermissive, and is overridden by -pedantic or -pedantic-errors.
  92
  93 * String constants are now of type `const char[n]', rather than `char[n]'.
  94   This can be reverted with -fno-const-strings.
  95
  96 * References to functions are now supported.
  97
  98 * Lookup of class members during class definition now works in all cases.
  99
 100 * In overload resolution, type conversion operators are now properly
 101   treated as always coming from the most derived class.
 102
 103 * C9x-style restricted pointers are supported, using the `__restrict'
 104   keyword.
 105
 106 * You can now use -fno-implicit-inline-templates to suppress writing out
 107   implicit instantiations of inline templates.  Normally we do write them
 108   out, even with -fno-implicit-templates, so that optimization doesn't
 109   affect which instantiations are needed.
 110
 111 * -fstrict-prototype now also suppresses implicit declarations.
 112
 113 * Many obsolete options have been removed: -fall-virtual, -fmemoize-lookups,
 114   -fsave-memoized, +e?, -fenum-int-equivalence, -fno-nonnull-objects.
 115
 116 * Unused virtual functions can be discarded on some targets by specifying
 117   -ffunction-sections -fvtable-gc to the compiler and --gc-sections to the
 118   linker.  Unfortunately, this only works on Linux if you're linking
 119   statically.
 120
 121 * Lots of bugs stomped.
 122
 123 *** Changes in EGCS 1.1:
 124
 125 * Namespaces are fully supported.  The library has not yet been converted
 126   to use namespace std, however, and the old std-faking code is still on by
 127   default.  To turn it off, you can use -fhonor-std.
 128
 129 * Massive template improvements:
 130   + member template classes are supported.
 131   + template friends are supported.
 132   + template template parameters are supported.
 133   + local classes in templates are supported.
 134   + lots of bugs fixed.
 135
 136 * operator new now throws bad_alloc where appropriate.
 137
 138 * Exception handling is now thread safe, and supports nested exceptions and
 139   placement delete.  Exception handling overhead on x86 is much lower with
 140   GNU as 2.9.
 141
 142 * protected virtual inheritance is now supported.
 143
 144 * Loops are optimized better; we now move the test to the end in most
 145   cases, like the C frontend does.
 146
 147 * For class D derived from B which has a member 'int i', &D::i is now of
 148   type 'int B::*' instead of 'int D::*'.
 149
 150 * An _experimental_ new ABI for g++ can be turned on with -fnew-abi.  The
 151   current features of this are more efficient allocation of base classes
 152   (including the empty base optimization), and more compact mangling of C++
 153   symbol names (which can be turned on separately with -fsquangle).  This
 154   ABI is subject to change without notice, so don't use it for anything
 155   that you don't want to rebuild with every release of the compiler.
 156
 157   As with all ABI-changing flags, this flag is for experts only, as all
 158   code (including the library code in libgcc and libstdc++) must be
 159   compiled with the same ABI.
 160
 161 *** Changes in EGCS 1.0:
 162
 163 * A public review copy of the December 1996 Draft of the ISO/ANSI C++
 164   standard is now available. See
 165
 166         http://www.cygnus.com/misc/wp/
 167
 168   for more information.
 169
 170 * g++ now uses a new implementation of templates. The basic idea is that
 171   now templates are minimally parsed when seen and then expanded later.
 172   This allows conformant early name binding and instantiation controls,
 173   since instantiations no longer have to go through the parser.
 174
 175   What you get:
 176
 177      + Inlining of template functions works without any extra effort or
 178        modifications.
 179      + Instantiations of class templates and methods defined in the class
 180        body are deferred until they are actually needed (unless
 181        -fexternal-templates is specified).
 182      + Nested types in class templates work.
 183      + Static data member templates work.
 184      + Member function templates are now supported.
 185      + Partial specialization of class templates is now supported.
 186      + Explicit specification of template parameters to function templates
 187        is now supported.
 188
 189   Things you may need to fix in your code:
 190
 191      + Syntax errors in templates that are never instantiated will now be
 192        diagnosed.
 193      + Types and class templates used in templates must be declared
 194        first, or the compiler will assume they are not types, and fail.
 195      + Similarly, nested types of template type parameters must be tagged
 196        with the 'typename' keyword, except in base lists.  In many cases,
 197        but not all, the compiler will tell you where you need to add
 198        'typename'.  For more information, see
 199
 200             http://www.cygnus.com/misc/wp/dec96pub/template.html#temp.res
 201
 202      + Guiding declarations are no longer supported.  Function declarations,
 203        including friend declarations, do not refer to template instantiations.
 204        You can restore the old behavior with -fguiding-decls until you fix
 205        your code.
 206
 207   Other features:
 208
 209      + Default function arguments in templates will not be evaluated (or
 210        checked for semantic validity) unless they are needed.  Default
 211        arguments in class bodies will not be parsed until the class
 212        definition is complete.
 213      + The -ftemplate-depth-NN flag can be used to increase the maximum
 214        recursive template instantiation depth, which defaults to 17. If you
 215        need to use this flag, the compiler will tell you.
 216      + Explicit instantiation of template constructors and destructors is
 217        now supported.  For instance:
 218
 219             template A<int>::A(const A&);
 220
 221   Still not supported:
 222
 223      + Member class templates.
 224      + Template friends.
 225
 226 * Exception handling support has been significantly improved and is on by
 227   default.  The compiler supports two mechanisms for walking back up the
 228   call stack; one relies on static information about how registers are
 229   saved, and causes no runtime overhead for code that does not throw
 230   exceptions.  The other mechanism uses setjmp and longjmp equivalents, and
 231   can result in quite a bit of runtime overhead.  You can determine which
 232   mechanism is the default for your target by compiling a testcase that
 233   uses exceptions and doing an 'nm' on the object file; if it uses __throw,
 234   it's using the first mechanism.  If it uses __sjthrow, it's using the
 235   second.
 236
 237   You can turn EH support off with -fno-exceptions.
 238
 239 * RTTI support has been rewritten to work properly and is now on by default.
 240   This means code that uses virtual functions will have a modest space
 241   overhead.  You can use the -fno-rtti flag to disable RTTI support.
 242
 243 * On ELF systems, duplicate copies of symbols with 'initialized common'
 244   linkage (such as template instantiations, vtables, and extern inlines)
 245   will now be discarded by the GNU linker, so you don't need to use -frepo.
 246   This support requires GNU ld from binutils 2.8 or later.
 247
 248 * The overload resolution code has been rewritten to conform to the latest
 249   C++ Working Paper.  Built-in operators are now considered as candidates
 250   in operator overload resolution.  Function template overloading chooses
 251   the more specialized template, and handles base classes in type deduction
 252   and guiding declarations properly.  In this release the old code can
 253   still be selected with -fno-ansi-overloading, although this is not
 254   supported and will be removed in a future release.
 255
 256 * Standard usage syntax for the std namespace is supported; std is treated
 257   as an alias for global scope.  General namespaces are still not supported.
 258
 259 * New flags:
 260
 261      + New warning -Wno-pmf-conversion (don't warn about
 262        converting from a bound member function pointer to function
 263        pointer).
 264
 265      + A flag -Weffc++ has been added for violations of some of the style
 266        guidelines in Scott Meyers' _Effective C++_ books.
 267
 268      + -Woverloaded-virtual now warns if a virtual function in a base
 269        class is hidden in a derived class, rather than warning about
 270        virtual functions being overloaded (even if all of the inherited
 271        signatures are overridden) as it did before.
 272
 273      + -Wall no longer implies -W.  The new warning flag, -Wsign-compare,
 274         included in -Wall, warns about dangerous comparisons of signed and
 275         unsigned values. Only the flag is new; it was previously part of
 276         -W.
 277
 278      + The new flag, -fno-weak, disables the use of weak symbols.
 279
 280 * Synthesized methods are now emitted in any translation units that need
 281   an out-of-line copy. They are no longer affected by #pragma interface
 282   or #pragma implementation.
 283
 284 * __FUNCTION__ and __PRETTY_FUNCTION__ are now treated as variables by the
 285   parser; previously they were treated as string constants.  So code like
 286   `printf (__FUNCTION__ ": foo")' must be rewritten to
 287   `printf ("%s: foo", __FUNCTION__)'.  This is necessary for templates.
 288
 289 * local static variables in extern inline functions will be shared between
 290   translation units.
 291
 292 * -fvtable-thunks is supported for all targets, and is the default for
 293   Linux with glibc 2.x (also called libc 6.x).
 294
 295 * bool is now always the same size as another built-in type. Previously,
 296   a 64-bit RISC target using a 32-bit ABI would have 32-bit pointers and a
 297   64-bit bool. This should only affect Irix 6, which was not supported in
 298   2.7.2.
 299
 300 * new (nothrow) is now supported.
 301
 302 * Synthesized destructors are no longer made virtual just because the class
 303   already has virtual functions, only if they override a virtual destructor
 304   in a base class.  The compiler will warn if this affects your code.
 305
 306 * The g++ driver now only links against libstdc++, not libg++; it is
 307   functionally identical to the c++ driver.
 308
 309 * (void *)0 is no longer considered a null pointer constant; NULL in
 310   <stddef.h> is now defined as __null, a magic constant of type (void *)
 311   normally, or (size_t) with -ansi.
 312
 313 * The name of a class is now implicitly declared in its own scope; A::A
 314   refers to A.
 315
 316 * Local classes are now supported.
 317
 318 * __attribute__ can now be attached to types as well as declarations.
 319
 320 * The compiler no longer emits a warning if an ellipsis is used as a
 321   function's argument list.
 322
 323 * Definition of nested types outside of their containing class is now
 324   supported.  For instance:
 325
 326        struct A {
 327               struct B;
 328               B* bp;
 329        };
 330
 331        struct A::B {
 332               int member;
 333        };
 334
 335 * On the HPPA, some classes that do not define a copy constructor
 336   will be passed and returned in memory again so that functions
 337   returning those types can be inlined.
 338
 339 *** The g++ team thanks everyone that contributed to this release,
 340     but especially:
 341
 342 * Joe Buck <jbuck@synopsys.com>, the maintainer of the g++ FAQ.
 343 * Brendan Kehoe <brendan@cygnus.com>, who coordinates testing of g++.
 344 * Jason Merrill <jason@cygnus.com>, the g++ maintainer.
 345 * Mark Mitchell <mmitchell@usa.net>, who implemented member function
 346   templates and explicit qualification of function templates.
 347 * Mike Stump <mrs@wrs.com>, the previous g++ maintainer, who did most of
 348   the exception handling work.