Merge from vendor branch GROFF:
[dragonfly.git] / contrib / gcc-4.0 / BUGS
1
2                                    GCC Bugs
3
4    The   latest   version   of  this  document  is  always  available  at
5    [1]http://gcc.gnu.org/bugs.html.
6      _________________________________________________________________
7
8 Table of Contents
9
10      * [2]Reporting Bugs
11           + [3]What we need
12           + [4]What we DON'T want
13           + [5]Where to post it
14           + [6]Detailed bug reporting instructions
15           + [7]Detailed bug reporting instructions for GNAT
16           + [8]Detailed   bug   reporting   instructions   when  using  a
17             precompiled header
18      * [9]Frequently Reported Bugs in GCC
19           + [10]C++
20                o [11]Missing features
21                o [12]Bugs fixed in the 3.4 series
22           + [13]Fortran
23      * [14]Non-bugs
24           + [15]General
25           + [16]C
26           + [17]C++
27                o [18]Common problems when upgrading the compiler
28      _________________________________________________________________
29
30                                 Reporting Bugs
31
32    The  main  purpose of a bug report is to enable us to fix the bug. The
33    most  important  prerequisite  for  this  is  that  the report must be
34    complete and self-contained, which we explain in detail below.
35
36    Before  you report a bug, please check the [19]list of well-known bugs
37    and,  if  possible  in any way, try a current development snapshot. If
38    you  want  to report a bug with versions of GCC before 3.1 we strongly
39    recommend upgrading to the current release first.
40
41    Before  reporting  that  GCC  compiles  your  code incorrectly, please
42    compile  it  with  gcc -Wall and see whether this shows anything wrong
43    with your code that could be the cause instead of a bug in GCC.
44
45 Summarized bug reporting instructions
46
47    After  this  summary, you'll find detailed bug reporting instructions,
48    that  explain  how to obtain some of the information requested in this
49    summary.
50
51   What we need
52
53    Please  include  in  your  bug  report all of the following items, the
54    first three of which can be obtained from the output of gcc -v:
55      * the exact version of GCC;
56      * the system type;
57      * the options given when GCC was configured/built;
58      * the complete command line that triggers the bug;
59      * the compiler output (error messages, warnings, etc.); and
60      * the  preprocessed  file (*.i*) that triggers the bug, generated by
61        adding -save-temps to the complete compilation command, or, in the
62        case  of  a  bug  report for the GNAT front end, a complete set of
63        source files (see below).
64
65   What we do not want
66
67      * A source file that #includes header files that are left out of the
68        bug report (see above)
69      * That source file and a collection of header files.
70      * An  attached archive (tar, zip, shar, whatever) containing all (or
71        some :-) of the above.
72      * A  code snippet that won't cause the compiler to produce the exact
73        output  mentioned  in  the bug report (e.g., a snippet with just a
74        few  lines  around  the one that apparently triggers the bug, with
75        some   pieces   replaced  with  ellipses  or  comments  for  extra
76        obfuscation :-)
77      * The  location  (URL) of the package that failed to build (we won't
78        download it, anyway, since you've already given us what we need to
79        duplicate the bug, haven't you? :-)
80      * An  error  that  occurs  only  some of the times a certain file is
81        compiled,  such that retrying a sufficient number of times results
82        in  a  successful  compilation;  this  is  a symptom of a hardware
83        problem, not of a compiler bug (sorry)
84      * E-mail  messages that complement previous, incomplete bug reports.
85        Post  a  new, self-contained, full bug report instead, if possible
86        as a follow-up to the original bug report
87      * Assembly  files  (*.s)  produced  by  the  compiler, or any binary
88        files,   such   as  object  files,  executables,  core  files,  or
89        precompiled header files
90      * Duplicate  bug  reports,  or  reports of bugs already fixed in the
91        development tree, especially those that have already been reported
92        as fixed last week :-)
93      * Bugs  in  the  assembler,  the  linker or the C library. These are
94        separate  projects,  with separate mailing lists and different bug
95        reporting procedures
96      * Bugs  in  releases  or  snapshots  of  GCC  not  issued by the GNU
97        Project. Report them to whoever provided you with the release
98      * Questions  about  the  correctness  or  the  expected  behavior of
99        certain constructs that are not GCC extensions. Ask them in forums
100        dedicated to the discussion of the programming language
101
102   Where to post it
103
104    Please  submit  your  bug report directly to the [20]GCC bug database.
105    Alternatively,  you  can  use  the  gccbug  script that mails your bug
106    report to the bug database.
107    Only  if  all  this  is absolutely impossible, mail all information to
108    [21]gcc-bugs@gcc.gnu.org.
109
110 Detailed bug reporting instructions
111
112    Please  refer to the [22]next section when reporting bugs in GNAT, the
113    Ada  compiler,  or  to the [23]one after that when reporting bugs that
114    appear when using a precompiled header.
115
116    In  general, all the information we need can be obtained by collecting
117    the  command  line  below,  as well as its output and the preprocessed
118    file it generates.
119
120      gcc -v -save-temps all-your-options source-file
121
122    Typically  the  preprocessed  file (extension .i for C or .ii for C++,
123    and .f if the preprocessor is used on Fortran files) will be large, so
124    please compress the resulting file with one of the popular compression
125    programs  such as bzip2, gzip, zip or compress (in decreasing order of
126    preference). Use maximum compression (-9) if available. Please include
127    the  compressed  preprocessor  output  in your bug report, even if the
128    source  code  is  freely  available elsewhere; it makes the job of our
129    volunteer testers much easier.
130
131    The  only  excuses  to not send us the preprocessed sources are (i) if
132    you've  found  a  bug  in the preprocessor, (ii) if you've reduced the
133    testcase  to a small file that doesn't include any other file or (iii)
134    if  the  bug appears only when using precompiled headers. If you can't
135    post  the  preprocessed sources because they're proprietary code, then
136    try to create a small file that triggers the same problem.
137
138    Since  we're  supposed  to  be  able  to re-create the assembly output
139    (extension  .s),  you usually should not include it in the bug report,
140    although  you  may want to post parts of it to point out assembly code
141    you consider to be wrong.
142
143    Whether to use MIME attachments or uuencode is up to you. In any case,
144    make  sure  the compiler command line, version and error output are in
145    plain text, so that we don't have to decode the bug report in order to
146    tell  who  should  take  care  of  it. A meaningful subject indicating
147    language and platform also helps.
148
149    Please  avoid  posting  an archive (.tar, .shar or .zip); we generally
150    need   just  a  single  file  to  reproduce  the  bug  (the  .i/.ii/.f
151    preprocessed  file),  and,  by  storing  it in an archive, you're just
152    making our volunteers' jobs harder. Only when your bug report requires
153    multiple source files to be reproduced should you use an archive. This
154    is,  for  example,  the  case  if  you are using INCLUDE directives in
155    Fortran  code,  which  are  not processed by the preprocessor, but the
156    compiler.  In that case, we need the main file and all INCLUDEd files.
157    In  any  case, make sure the compiler version, error message, etc, are
158    included  in  the  body  of  your  bug  report  as plain text, even if
159    needlessly duplicated as part of an archive.
160
161    If  you  fail  to  supply  enough  information  for a bug report to be
162    reproduced,   someone   will  probably  ask  you  to  post  additional
163    information  (or just ignore your bug report, if they're in a bad day,
164    so  try to get it right on the first posting :-). In this case, please
165    post the additional information to the bug reporting mailing list, not
166    just  to  the  person  who requested it, unless explicitly told so. If
167    possible, please include in this follow-up all the information you had
168    supplied  in  the  incomplete  bug  report (including the preprocessor
169    output), so that the new bug report is self-contained.
170
171 Detailed bug reporting instructions for GNAT
172
173    See  the  [24]previous  section for bug reporting instructions for GCC
174    language implementations other than Ada.
175
176    Bug  reports  have  to  contain  at least the following information in
177    order to be useful:
178      * the exact version of GCC, as shown by "gcc -v";
179      * the system type;
180      * the options when GCC was configured/built;
181      * the  exact  command  line passed to the gcc program triggering the
182        bug  (not  just  the flags passed to gnatmake, but gnatmake prints
183        the parameters it passed to gcc)
184      * a collection of source files for reproducing the bug, preferably a
185        minimal set (see below);
186      * a description of the expected behavior;
187      * a description of actual behavior.
188
189    If  your  code  depends  on  additional  source files (usually package
190    specifications), submit the source code for these compilation units in
191    a  single  file that is acceptable input to gnatchop, i.e. contains no
192    non-Ada  text. If the compilation terminated normally, you can usually
193    obtain a list of dependencies using the "gnatls -d main_unit" command,
194    where  main_unit  is the file name of the main compilation unit (which
195    is also passed to gcc).
196
197    If  you  report  a  bug  which causes the compiler to print a bug box,
198    include that bug box in your report, and do not forget to send all the
199    source files listed after the bug box along with your report.
200
201    If  you  use gnatprep, be sure to send in preprocessed sources (unless
202    you have to report a bug in gnatprep).
203
204    When  you  have  checked that your report meets these criteria, please
205    submit  it  according  to  our [25]generic instructions. (If you use a
206    mailing  list  for  reporting,  please  include  an "[Ada]" tag in the
207    subject.)
208
209 Detailed bug reporting instructions when using a precompiled header
210
211    If  you're  encountering  a  bug  when using a precompiled header, the
212    first thing to do is to delete the precompiled header, and try running
213    the  same GCC command again. If the bug happens again, the bug doesn't
214    really  involve  precompiled  headers,  please report it without using
215    them by following the instructions [26]above.
216
217    If  you've  found  a  bug  while  building  a  precompiled header (for
218    instance,   the  compiler  crashes),  follow  the  usual  instructions
219    [27]above.
220
221    If  you've  found  a  real  precompiled header bug, what we'll need to
222    reproduce  it  is  the  sources  to build the precompiled header (as a
223    single .i file), the source file that uses the precompiled header, any
224    other  headers  that  source file includes, and the command lines that
225    you used to build the precompiled header and to use it.
226
227    Please don't send us the actual precompiled header. It is likely to be
228    very large and we can't use it to reproduce the problem.
229      _________________________________________________________________
230
231                         Frequently Reported Bugs in GCC
232
233    This  is  a  list of bugs in GCC that are reported very often, but not
234    yet  fixed.  While  it  is  certainly  better  to  fix bugs instead of
235    documenting  them,  this  document  might  save  people  the effort of
236    writing a bug report when the bug is already well-known.
237
238    There  are many reasons why a reported bug doesn't get fixed. It might
239    be  difficult  to  fix, or fixing it might break compatibility. Often,
240    reports  get  a  low  priority  when there is a simple work-around. In
241    particular, bugs caused by invalid code have a simple work-around: fix
242    the code.
243      _________________________________________________________________
244
245 C++
246
247   Missing features
248
249    The export keyword is not implemented.
250           Most  C++ compilers (G++ included) do not yet implement export,
251           which   is  necessary  for  separate  compilation  of  template
252           declarations   and  definitions.  Without  export,  a  template
253           definition  must be in scope to be used. The obvious workaround
254           is  simply  to  place  all  definitions  in  the header itself.
255           Alternatively,   the   compilation   unit  containing  template
256           definitions may be included from the header.
257
258   Bugs fixed in the 3.4 series
259
260    The  following  bugs are present up to (and including) GCC 3.3.x. They
261    have been fixed in 3.4.0.
262
263    Two-stage name-lookup.
264           GCC   did   not   implement  two-stage  name-lookup  (also  see
265           [28]below).
266
267    Covariant return types.
268           GCC did not implement non-trivial covariant returns.
269
270    Parse errors for "simple" code.
271           GCC gave parse errors for seemingly simple code, such as
272
273 struct A
274 {
275   A();
276   A(int);
277 };
278
279 struct B
280 {
281   B(A);
282   B(A,A);
283   void foo();
284 };
285
286 A bar()
287 {
288   B b(A(),A(1));  // Variable b, initialized with two temporaries
289   B(A(2)).foo();  // B temporary, initialized with A temporary
290   return (A());   // return A temporary
291 }
292
293           Although  being  valid  code,  each  of  the three lines with a
294           comment  was  rejected  by  GCC.  The  work-arounds  for  older
295           compiler versions proposed below do not change the semantics of
296           the programs at all.
297
298           The problem in the first case was that GCC started to parse the
299           declaration  of  b as a function called b returning B, taking a
300           function returning A as an argument. When it encountered the 1,
301           it  was  too  late.  To  show  the compiler that this should be
302           really  an  expression,  a comma operator with a dummy argument
303           could be used:
304
305 B b((0,A()),A(1));
306
307           The  work-around  for  simpler cases like the second one was to
308           add  additional  parentheses  around  the expressions that were
309           mistaken as declarations:
310
311 (B(A(2))).foo();
312
313           In the third case, however, additional parentheses were causing
314           the  problems:  The  compiler  interpreted  A()  as  a function
315           (taking no arguments, returning A), and (A()) as a cast lacking
316           an  expression  to  be  casted,  hence  the  parse  error.  The
317           work-around was to omit the parentheses:
318
319 return A();
320
321           This  problem  occurred  in  a  number  of  variants;  in throw
322           statements,   people   also   frequently   put  the  object  in
323           parentheses.
324      _________________________________________________________________
325
326 Fortran
327
328    Fortran  bugs  are documented in the G77 manual rather than explicitly
329    listed  here.  Please see [29]Known Causes of Trouble with GNU Fortran
330    in the G77 manual.
331      _________________________________________________________________
332
333                                    Non-bugs
334
335    The  following are not actually bugs, but are reported often enough to
336    warrant a mention here.
337
338    It  is  not  always a bug in the compiler, if code which "worked" in a
339    previous  version,  is now rejected. Earlier versions of GCC sometimes
340    were less picky about standard conformance and accepted invalid source
341    code.  In addition, programming languages themselves change, rendering
342    code  invalid  that  used  to be conforming (this holds especially for
343    C++).  In  either  case,  you  should update your code to match recent
344    language standards.
345      _________________________________________________________________
346
347 General
348
349    Problems with floating point numbers - the [30]most often reported
350           non-bug.
351           In  a  number  of  cases, GCC appears to perform floating point
352           computations incorrectly. For example, the C++ program
353
354 #include <iostream>
355
356 int main()
357 {
358   double a = 0.5;
359   double b = 0.01;
360   std::cout << (int)(a / b) << std::endl;
361   return 0;
362 }
363
364           might  print 50 on some systems and optimization levels, and 49
365           on others.
366
367           This  is  the result of rounding: The computer cannot represent
368           all real numbers exactly, so it has to use approximations. When
369           computing  with  approximation,  the computer needs to round to
370           the nearest representable number.
371
372           This  is  not a bug in the compiler, but an inherent limitation
373           of  the  floating  point types. Please study [31]this paper for
374           more information.
375      _________________________________________________________________
376
377 C
378
379    Increment/decrement operator (++/--) not working as expected - a
380           [32]problem with many variations.
381           The following expressions have unpredictable results:
382
383 x[i]=++i
384 foo(i,++i)
385 i*(++i)                 /* special case with foo=="operator*" */
386 std::cout << i << ++i   /* foo(foo(std::cout,i),++i)          */
387
388           since  the i without increment can be evaluated before or after
389           ++i.
390
391           The  C  and C++ standards have the notion of "sequence points".
392           Everything  that happens between two sequence points happens in
393           an  unspecified order, but it has to happen after the first and
394           before  the second sequence point. The end of a statement and a
395           function   call  are  examples  for  sequence  points,  whereas
396           assignments and the comma between function arguments are not.
397
398           Modifying a value twice between two sequence points as shown in
399           the following examples is even worse:
400
401 i=++i
402 foo(++i,++i)
403 (++i)*(++i)               /* special case with foo=="operator*" */
404 std::cout << ++i << ++i   /* foo(foo(std::cout,++i),++i)        */
405
406           This  leads  to  undefined  behavior  (i.e. the compiler can do
407           anything).
408
409    Casting does not work as expected when optimization is turned on.
410           This  is  often  caused by a violation of aliasing rules, which
411           are  part of the ISO C standard. These rules say that a program
412           is invalid if you try to access a variable through a pointer of
413           an  incompatible  type.  This  is  happening  in  the following
414           example  where a short is accessed through a pointer to integer
415           (the code assumes 16-bit shorts and 32-bit ints):
416
417 #include <stdio.h>
418
419 int main()
420 {
421   short a[2];
422
423   a[0]=0x1111;
424   a[1]=0x1111;
425
426   *(int *)a = 0x22222222; /* violation of aliasing rules */
427
428   printf("%x %x\n", a[0], a[1]);
429   return 0;
430 }
431
432           The  aliasing  rules  were  designed  to  allow  compilers more
433           aggressive  optimization. Basically, a compiler can assume that
434           all  changes to variables happen through pointers or references
435           to  variables  of  a  type compatible to the accessed variable.
436           Dereferencing  a  pointer  that  violates  the  aliasing  rules
437           results in undefined behavior.
438
439           In  the  case  above,  the  compiler  may assume that no access
440           through  an  integer pointer can change the array a, consisting
441           of  shorts. Thus, printf may be called with the original values
442           of a[0] and a[1]. What really happens is up to the compiler and
443           may change with architecture and optimization level.
444
445           Recent  versions  of  GCC  turn on the option -fstrict-aliasing
446           (which  allows  alias-based optimizations) by default with -O2.
447           And some architectures then really print "1111 1111" as result.
448           Without   optimization   the   executable   will  generate  the
449           "expected" output "2222 2222".
450
451           To  disable  optimizations  based  on alias-analysis for faulty
452           legacy  code,  the option -fno-strict-aliasing can be used as a
453           work-around.
454
455           The option -Wstrict-aliasing (which is included in -Wall) warns
456           about some - but not all - cases of violation of aliasing rules
457           when -fstrict-aliasing is active.
458
459           To  fix  the  code above, you can use a union instead of a cast
460           (note  that  this  is a GCC extension which might not work with
461           other compilers):
462
463 #include <stdio.h>
464
465 int main()
466 {
467   union
468   {
469     short a[2];
470     int i;
471   } u;
472
473   u.a[0]=0x1111;
474   u.a[1]=0x1111;
475
476   u.i = 0x22222222;
477
478   printf("%x %x\n", u.a[0], u.a[1]);
479   return 0;
480 }
481
482           Now the result will always be "2222 2222".
483
484           For  some  more insight into the subject, please have a look at
485           [33]this article.
486
487    Cannot use preprocessor directive in macro arguments.
488           Let  me  guess...  you  used an older version of GCC to compile
489           code that looks something like this:
490
491   memcpy(dest, src,
492 #ifdef PLATFORM1
493          12
494 #else
495          24
496 #endif
497         );
498
499           and you got a whole pile of error messages:
500
501 test.c:11: warning: preprocessing directive not recognized within macro arg
502 test.c:11: warning: preprocessing directive not recognized within macro arg
503 test.c:11: warning: preprocessing directive not recognized within macro arg
504 test.c: In function `foo':
505 test.c:6: undefined or invalid # directive
506 test.c:8: undefined or invalid # directive
507 test.c:9: parse error before `24'
508 test.c:10: undefined or invalid # directive
509
510           This  is  because your C library's <string.h> happens to define
511           memcpy  as  a  macro - which is perfectly legitimate. In recent
512           versions of glibc, for example, printf is among those functions
513           which are implemented as macros.
514
515           Versions  of  GCC  prior to 3.3 did not allow you to put #ifdef
516           (or any other preprocessor directive) inside the arguments of a
517           macro. The code therefore would not compile.
518
519           As of GCC 3.3 this kind of construct is always accepted and the
520           preprocessor  will  probably  do  what  you expect, but see the
521           manual for detailed semantics.
522
523           However,  this  kind  of code is not portable. It is "undefined
524           behavior"  according  to  the  C standard; that means different
525           compilers  may  do  different  things  with  it.  It  is always
526           possible  to rewrite code which uses conditionals inside macros
527           so that it doesn't. You could write the above example
528
529 #ifdef PLATFORM1
530    memcpy(dest, src, 12);
531 #else
532    memcpy(dest, src, 24);
533 #endif
534
535           This  is  a bit more typing, but I personally think it's better
536           style in addition to being more portable.
537
538    Cannot initialize a static variable with stdin.
539           This  has  nothing to do with GCC, but people ask us about it a
540           lot. Code like this:
541
542 #include <stdio.h>
543
544 FILE *yyin = stdin;
545
546           will  not  compile  with  GNU  libc,  because  stdin  is  not a
547           constant.  This  was  done  deliberately,  to make it easier to
548           maintain  binary  compatibility  when the type FILE needs to be
549           changed. It is surprising for people used to traditional Unix C
550           libraries, but it is permitted by the C standard.
551
552           This  construct  commonly  occurs  in  code  generated  by  old
553           versions  of  lex  or yacc. We suggest you try regenerating the
554           parser  with  a current version of flex or bison, respectively.
555           In   your  own  code,  the  appropriate  fix  is  to  move  the
556           initialization to the beginning of main.
557
558           There  is  a  common  misconception that the GCC developers are
559           responsible  for  GNU  libc.  These  are  in  fact two entirely
560           separate  projects; please check the [34]GNU libc web pages for
561           details.
562      _________________________________________________________________
563
564 C++
565
566    Nested classes can access private members and types of the containing
567           class.
568           Defect  report  45 clarifies that nested classes are members of
569           the  class  they  are  nested  in, and so are granted access to
570           private members of that class.
571
572    G++ emits two copies of constructors and destructors.
573           In   general   there  are  three  types  of  constructors  (and
574           destructors).
575
576          1. The complete object constructor/destructor.
577          2. The base object constructor/destructor.
578          3. The allocating constructor/deallocating destructor.
579
580           The  first  two  are  different,  when virtual base classes are
581           involved.
582
583    Global destructors are not run in the correct order.
584           Global  destructors should be run in the reverse order of their
585           constructors  completing. In most cases this is the same as the
586           reverse  order  of  constructors  starting, but sometimes it is
587           different,  and that is important. You need to compile and link
588           your  programs  with  --use-cxa-atexit. We have not turned this
589           switch  on  by  default,  as  it  requires  a cxa aware runtime
590           library (libc, glibc, or equivalent).
591
592    Classes in exception specifiers must be complete types.
593           [15.4]/1  tells you that you cannot have an incomplete type, or
594           pointer  to  incomplete  (other than cv void *) in an exception
595           specification.
596
597    Exceptions don't work in multithreaded applications.
598           You  need  to  rebuild g++ and libstdc++ with --enable-threads.
599           Remember,  C++ exceptions are not like hardware interrupts. You
600           cannot  throw  an  exception  in  one  thread  and  catch it in
601           another.  You  cannot  throw an exception from a signal handler
602           and catch it in the main thread.
603
604    Templates, scoping, and digraphs.
605           If  you  have a class in the global namespace, say named X, and
606           want to give it as a template argument to some other class, say
607           std::vector, then std::vector<::X> fails with a parser error.
608
609           The  reason  is that the standard mandates that the sequence <:
610           is  treated  as if it were the token [. (There are several such
611           combinations   of  characters  -  they  are  called  digraphs.)
612           Depending  on  the  version,  the compiler then reports a parse
613           error  before the character : (the colon before X) or a missing
614           closing bracket ].
615
616           The  simplest  way to avoid this is to write std::vector< ::X>,
617           i.e.  place  a  space between the opening angle bracket and the
618           scope operator.
619
620    Copy constructor access check while initializing a reference.
621           Consider this code:
622
623 class A
624 {
625 public:
626   A();
627
628 private:
629   A(const A&);   // private copy ctor
630 };
631
632 A makeA(void);
633 void foo(const A&);
634
635 void bar(void)
636 {
637   foo(A());       // error, copy ctor is not accessible
638   foo(makeA());   // error, copy ctor is not accessible
639
640   A a1;
641   foo(a1);        // OK, a1 is a lvalue
642 }
643
644           Starting with GCC 3.4.0, binding an rvalue to a const reference
645           requires   an   accessible  copy  constructor.  This  might  be
646           surprising  at  first  sight,  especially  since  most  popular
647           compilers do not correctly implement this rule.
648
649           The C++ Standard says that a temporary object should be created
650           in  this  context  and  its  contents filled with a copy of the
651           object  we  are  trying  to bind to the reference; it also says
652           that  the  temporary  copy  can  be  elided,  but  the semantic
653           constraints  (eg.  accessibility) of the copy constructor still
654           have to be checked.
655
656           For   further   information,  you  can  consult  the  following
657           paragraphs  of  the  C++  standard: [dcl.init.ref]/5, bullet 2,
658           sub-bullet 1, and [class.temporary]/2.
659
660   Common problems when upgrading the compiler
661
662     ABI changes
663
664    The C++ application binary interface (ABI) consists of two components:
665    the  first  defines  how  the  elements  of  classes are laid out, how
666    functions  are called, how function names are mangled, etc; the second
667    part deals with the internals of the objects in libstdc++. Although we
668    strive  for  a  non-changing ABI, so far we have had to modify it with
669    each  major  release. If you change your compiler to a different major
670    release you must recompile all libraries that contain C++ code. If you
671    fail  to  do  so  you  risk  getting  linker  errors or malfunctioning
672    programs. Some of our Java support libraries also contain C++ code, so
673    you might want to recompile all libraries to be safe. It should not be
674    necessary to recompile if you have changed to a bug-fix release of the
675    same  version  of  the compiler; bug-fix releases are careful to avoid
676    ABI changes. See also the [35]compatibility section of the GCC manual.
677
678    Remark:  A  major  release  is  designated by a change to the first or
679    second  component  of  the  two- or three-part version number. A minor
680    (bug-fix)  release  is  designated  by a change to the third component
681    only.  Thus  GCC 3.2 and 3.3 are major releases, while 3.3.1 and 3.3.2
682    are  bug-fix  releases  for  GCC  3.3.  With  the  3.4  series  we are
683    introducing  a  new naming scheme; the first release of this series is
684    3.4.0 instead of just 3.4.
685
686     Standard conformance
687
688    With  each  release,  we try to make G++ conform closer to the ISO C++
689    standard  (available  at  [36]http://www.ncits.org/cplusplus.htm).  We
690    have  also  implemented  some  of  the core and library defect reports
691    (available at
692    [37]http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html     &
693    [38]http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html
694    respectively).
695
696    Non-conforming  legacy code that worked with older versions of GCC may
697    be  rejected by more recent compilers. There is no command-line switch
698    to   ensure   compatibility   in  general,  because  trying  to  parse
699    standard-conforming  and  old-style code at the same time would render
700    the   C++   frontend   unmaintainable.  However,  some  non-conforming
701    constructs  are  allowed  when the command-line option -fpermissive is
702    used.
703
704    Two  milestones in standard conformance are GCC 3.0 (including a major
705    overhaul  of the standard library) and the 3.4.0 version (with its new
706    C++ parser).
707
708     New in GCC 3.0
709
710      * The  standard  library is much more conformant, and uses the std::
711        namespace (which is now a real namespace, not an alias for ::).
712      * The standard header files for the c library don't end with .h, but
713        begin with c (i.e. <cstdlib> rather than <stdlib.h>). The .h names
714        are still available, but are deprecated.
715      * <strstream> is deprecated, use <sstream> instead.
716      * streambuf::seekoff  &  streambuf::seekpos are private, instead use
717        streambuf::pubseekoff & streambuf::pubseekpos respectively.
718      * If std::operator << (std::ostream &, long long) doesn't exist, you
719        need to recompile libstdc++ with --enable-long-long.
720
721    If  you  get  lots  of  errors about things like cout not being found,
722    you've most likely forgotten to tell the compiler to look in the std::
723    namespace. There are several ways to do this:
724      * Say std::cout at the call. This is the most explicit way of saying
725        what you mean.
726      * Say  using  std::cout; somewhere before the call. You will need to
727        do  this  for  each  function  or  type  you  wish to use from the
728        standard library.
729      * Say  using  namespace  std; somewhere before the call. This is the
730        quick-but-dirty  fix. This brings the whole of the std:: namespace
731        into  scope. Never do this in a header file, as every user of your
732        header file will be affected by this decision.
733
734     New in GCC 3.4.0
735
736    The  new  parser  brings  a lot of improvements, especially concerning
737    name-lookup.
738      * The  "implicit  typename"  extension  got  removed (it was already
739        deprecated  since  GCC  3.1),  so  that  the following code is now
740        rejected, see [14.6]:
741
742 template <typename> struct A
743 {
744     typedef int X;
745 };
746
747 template <typename T> struct B
748 {
749     A<T>::X          x;  // error
750     typename A<T>::X y;  // OK
751 };
752
753 B<void> b;
754
755      * For  similar reasons, the following code now requires the template
756        keyword, see [14.2]:
757
758 template <typename> struct A
759 {
760     template <int> struct X {};
761 };
762
763 template <typename T> struct B
764 {
765     typename A<T>::X<0>          x;  // error
766     typename A<T>::template X<0> y;  // OK
767 };
768
769 B<void> b;
770
771      * We  now  have two-stage name-lookup, so that the following code is
772        rejected, see [14.6]/9:
773
774 template <typename T> int foo()
775 {
776     return i;  // error
777 }
778
779      * This also affects members of base classes, see [14.6.2]:
780
781 template <typename> struct A
782 {
783     int i, j;
784 };
785
786 template <typename T> struct B : A<T>
787 {
788     int foo1() { return i; }       // error
789     int foo2() { return this->i; } // OK
790     int foo3() { return B<T>::i; } // OK
791     int foo4() { return A<T>::i; } // OK
792
793     using A<T>::j;
794     int foo5() { return j; }       // OK
795 };
796
797    In  addition  to  the  problems  listed  above,  the manual contains a
798    section on [39]Common Misunderstandings with GNU C++.
799
800 References
801
802    1. http://gcc.gnu.org/bugs.html
803    2. http://gcc.gnu.org/bugs.html#report
804    3. http://gcc.gnu.org/bugs.html#need
805    4. http://gcc.gnu.org/bugs.html#dontwant
806    5. http://gcc.gnu.org/bugs.html#where
807    6. http://gcc.gnu.org/bugs.html#detailed
808    7. http://gcc.gnu.org/bugs.html#gnat
809    8. http://gcc.gnu.org/bugs.html#pch
810    9. http://gcc.gnu.org/bugs.html#known
811   10. http://gcc.gnu.org/bugs.html#cxx
812   11. http://gcc.gnu.org/bugs.html#missing
813   12. http://gcc.gnu.org/bugs.html#fixed34
814   13. http://gcc.gnu.org/bugs.html#fortran
815   14. http://gcc.gnu.org/bugs.html#nonbugs
816   15. http://gcc.gnu.org/bugs.html#nonbugs_general
817   16. http://gcc.gnu.org/bugs.html#nonbugs_c
818   17. http://gcc.gnu.org/bugs.html#nonbugs_cxx
819   18. http://gcc.gnu.org/bugs.html#upgrading
820   19. http://gcc.gnu.org/bugs.html#known
821   20. http://gcc.gnu.org/bugzilla/
822   21. mailto:gcc-bugs@gcc.gnu.org
823   22. http://gcc.gnu.org/bugs.html#gnat
824   23. http://gcc.gnu.org/bugs.html#pch
825   24. http://gcc.gnu.org/bugs.html#detailed
826   25. http://gcc.gnu.org/bugs.html#where
827   26. http://gcc.gnu.org/bugs.html#detailed
828   27. http://gcc.gnu.org/bugs.html#detailed
829   28. http://gcc.gnu.org/bugs.html#new34
830   29. http://gcc.gnu.org/onlinedocs/g77/Trouble.html
831   30. http://gcc.gnu.org/PR323
832   31. http://www.validlab.com/goldberg/paper.ps
833   32. http://gcc.gnu.org/PR11751
834   33. http://mail-index.NetBSD.org/tech-kern/2003/08/11/0001.html
835   34. http://www.gnu.org/software/libc/
836   35. http://gcc.gnu.org/onlinedocs/gcc/Compatibility.html
837   36. http://www.ncits.org/cplusplus.htm
838   37. http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html
839   38. http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html
840   39. http://gcc.gnu.org/onlinedocs/gcc/C_002b_002b-Misunderstandings.html