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