[Bug libmudflap/19319] Mudflap produce many violations on simple, correct c++ program
--- Comment #19 from p dot van-hoof at qub dot ac dot uk 2006-11-10 16:33 --- The reduced testcases listed previously in this thread indeed work correctly on the mainline, but a real C++ program that I tested still spewed thousands of violations, although valgrind could not find anything. The attached test case test.cc is one such example. Note that the test program tries to read its own source, so don't rename the file! g++ -fmudflap test.cc -lmudflap a.out *** mudflap violation 1 (check/read): time=1163175853.725925 ptr=0x2ac0ae8ee720 size=8 pc=0x2ac0ae464871 location=`test.cc:18 (main)' /usr/local/gcc430/lib64/libmudflap.so.0(__mf_check+0x41) [0x2ac0ae464871] a.out(main+0x219) [0x40133d] /lib64/libc.so.6(__libc_start_main+0xf4) [0x2ac0aeb88154] number of nearby objects: 0 g++ -v Using built-in specs. Target: x86_64-unknown-linux-gnu Configured with: /dump1/root/temp/gcc/configure --prefix=/usr/local/gcc430 --enable-languages=c,c++,fortran Thread model: posix gcc version 4.3.0 20061030 (experimental) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19319
[Bug libmudflap/19319] Mudflap produce many violations on simple, correct c++ program
--- Comment #20 from p dot van-hoof at qub dot ac dot uk 2006-11-10 16:35 --- Created an attachment (id=12588) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12588action=view) test case mentioned in Comment #19 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19319
[Bug c/23109] New: compiler generates wrong code leading to spurious division by zero
The attached code crashes on a division by zero when compiled as follows: dogbert gcc -O1 -funsafe-math-optimizations -ftrapping-math b.c dogbert a.out Floating exception dogbert gcc -v Using built-in specs. Target: i686-pc-linux-gnu Configured with: ../gcc/configure --prefix=/usr/local/gcc410 --enable-languages=c,c++,f95 Thread model: posix gcc version 4.1.0 20050725 (experimental) I don't believe that -funsafe-math-optimizations enables -fno-trapping-math, but to be really sure I added the -ftrapping-math command line option. It makes no difference. Taken at face value it looks like the optimizer lifts the division by d outside the conditional on line 19, even though that could lead to a spurious division by zero and -ftrapping-math is in effect. This behavior only shows up on the mainline, and not on the 3.4 and 4.0 branches. A slightly modified version (to enable FP traps on Suns) also crashes with gcc 4.1.0 on the target sparc-sun-solaris2.9. -- Summary: compiler generates wrong code leading to spurious division by zero Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: normal Priority: P2 Component: c AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: p dot van-hoof at qub dot ac dot uk CC: gcc-bugs at gcc dot gnu dot org GCC target triplet: i686-pc-linux-gnu http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23109
[Bug c/23109] compiler generates wrong code leading to spurious division by zero
--- Additional Comments From p dot van-hoof at qub dot ac dot uk 2005-07-28 10:42 --- Created an attachment (id=9377) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9377action=view) code that causes the crash -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23109
[Bug tree-optimization/23115] New: -ftree-vectorize generates wrong code
The vectorizer generates wrong code for the attached example dogbert gcc o.c dogbert a.out this is where I should be (R = 1.0e+00)... dogbert gcc -O1 -ftree-vectorize o.c dogbert a.out I should not be here (R = -1.0e+300)... dogbert gcc -v Using built-in specs. Target: i686-pc-linux-gnu Configured with: ../gcc/configure --prefix=/usr/local/gcc410 --enable-languages=c,c++,f95 Thread model: posix gcc version 4.1.0 20050725 (experimental) This behavior shows up on the mainline, but not the 4.0 branch. I could reproduce the problem on i686-pc-linux-gnu, x86_64-unknown-linux-gnu, and sparc-sun-solaris2.9, so doesn't seem to be target specific. -- Summary: -ftree-vectorize generates wrong code Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: normal Priority: P2 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: p dot van-hoof at qub dot ac dot uk CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23115
[Bug tree-optimization/23115] -ftree-vectorize generates wrong code
--- Additional Comments From p dot van-hoof at qub dot ac dot uk 2005-07-28 18:40 --- Created an attachment (id=9380) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9380action=view) code that triggers the bug -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23115
[Bug tree-optimization/23082] New: internal compiler error: tree check: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746
When the attached is compiled as follows, it generates an ICE: pluto gcc -c -O1 -ftree-vectorize a.c a.c: In function a: a.c:4: internal compiler error: tree check: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746 Please submit a full bug report, with preprocessed source if appropriate. See URL:http://gcc.gnu.org/bugs.html for instructions. pluto gcc -v Using built-in specs. Target: x86_64-unknown-linux-gnu Configured with: ../gcc/configure --prefix=/usr/local/gcc410 --enable-languages=c,c++,f95 Thread model: posix gcc version 4.1.0 20050725 (experimental) The attached code compiles OK with gcc 4.0.1 -- Summary: internal compiler error: tree check: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746 Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: normal Priority: P2 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: p dot van-hoof at qub dot ac dot uk CC: gcc-bugs at gcc dot gnu dot org GCC target triplet: x86_64-unknown-linux-gnu http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23082
[Bug tree-optimization/23082] internal compiler error: tree check: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746
--- Additional Comments From p dot van-hoof at qub dot ac dot uk 2005-07-26 16:46 --- Created an attachment (id=9366) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9366action=view) code that causes the ICE -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23082
[Bug tree-optimization/23083] New: internal compiler error: Segmentation fault
The attached code causes the compiler to crash when compiled as follows: pluto gcc -c -O1 -ftree-vectorize m.c m.c: In function C: m.c:7: internal compiler error: Segmentation fault Please submit a full bug report, with preprocessed source if appropriate. See URL:http://gcc.gnu.org/bugs.html for instructions. pluto gcc -v Using built-in specs. Target: x86_64-unknown-linux-gnu Configured with: ../gcc/configure --prefix=/usr/local/gcc410 --enable-languages=c,c++,f95 Thread model: posix gcc version 4.1.0 20050725 (experimental) The code compiles OK with gcc 4.0.1 -- Summary: internal compiler error: Segmentation fault Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: normal Priority: P2 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: p dot van-hoof at qub dot ac dot uk CC: gcc-bugs at gcc dot gnu dot org GCC target triplet: x86_64-unknown-linux-gnu http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23083
[Bug tree-optimization/23083] internal compiler error: Segmentation fault
--- Additional Comments From p dot van-hoof at qub dot ac dot uk 2005-07-26 17:37 --- Created an attachment (id=9367) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9367action=view) code fragment that causes the crash -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23083
[Bug tree-optimization/23085] New: internal compiler error: Segmentation fault
The attached code causes the compiler to crash when compiled as follows: pluto gcc -c -O1 -ftree-vectorize m.c m.c: In function C: m.c:7: internal compiler error: Segmentation fault Please submit a full bug report, with preprocessed source if appropriate. See URL:http://gcc.gnu.org/bugs.html for instructions. pluto gcc -v Using built-in specs. Target: x86_64-unknown-linux-gnu Configured with: ../gcc/configure --prefix=/usr/local/gcc410 --enable-languages=c,c++,f95 Thread model: posix gcc version 4.1.0 20050725 (experimental) The code compiles OK with gcc 4.0.1 -- Summary: internal compiler error: Segmentation fault Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: normal Priority: P2 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: p dot van-hoof at qub dot ac dot uk CC: gcc-bugs at gcc dot gnu dot org GCC target triplet: x86_64-unknown-linux-gnu http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23085
[Bug c/21921] New: internal compiler error: in tsi_link_before, at tree-iterator.c:113
When the attached code is compiled as follows, an ICE will result: dogbert gcc -O1 -funsafe-math-optimizations -c h.c h.c: In function Q: h.c:10: internal compiler error: in tsi_link_before, at tree-iterator.c:113 Please submit a full bug report, with preprocessed source if appropriate. See URL:http://gcc.gnu.org/bugs.html for instructions. dogbert gcc -v Using built-in specs. Target: i686-pc-linux-gnu Configured with: ../gcc/configure --prefix=/usr/local/gcc410 --enable-languages=c,c++,f95 Thread model: posix gcc version 4.1.0 20050605 (experimental) This bug only appears on the mainline, but not in any of the release branches. -- Summary: internal compiler error: in tsi_link_before, at tree- iterator.c:113 Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: normal Priority: P2 Component: c AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: p dot van-hoof at qub dot ac dot uk CC: gcc-bugs at gcc dot gnu dot org GCC build triplet: i686-pc-linux-gnu GCC host triplet: i686-pc-linux-gnu GCC target triplet: i686-pc-linux-gnu http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21921
[Bug c/21921] internal compiler error: in tsi_link_before, at tree-iterator.c:113
--- Additional Comments From p dot van-hoof at qub dot ac dot uk 2005-06-05 14:22 --- Created an attachment (id=9032) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9032action=view) code that triggers the ICE -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21921
[Bug c/21922] New: internal compiler error: tree check: expected real_cst, have integer_cst in const_binop, at fold-const.c:1513
The attached code results in an ICE if compiled as follows: dogbert gcc -O1 -ftree-vectorize -c t.c t.c: In function c: t.c:4: internal compiler error: tree check: expected real_cst, have integer_cst in const_binop, at fold-const.c:1513 Please submit a full bug report, with preprocessed source if appropriate. See URL:http://gcc.gnu.org/bugs.html for instructions. dogbert gcc -v Using built-in specs. Target: i686-pc-linux-gnu Configured with: ../gcc/configure --prefix=/usr/local/gcc410 --enable-languages=c,c++,f95 Thread model: posix gcc version 4.1.0 20050605 (experimental) This bug does not show up in the 4.0 release branch. -- Summary: internal compiler error: tree check: expected real_cst, have integer_cst in const_binop, at fold-const.c:1513 Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: normal Priority: P2 Component: c AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: p dot van-hoof at qub dot ac dot uk CC: gcc-bugs at gcc dot gnu dot org GCC build triplet: i686-pc-linux-gnu GCC host triplet: i686-pc-linux-gnu GCC target triplet: i686-pc-linux-gnu http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21922
[Bug c/21922] internal compiler error: tree check: expected real_cst, have integer_cst in const_binop, at fold-const.c:1513
--- Additional Comments From p dot van-hoof at qub dot ac dot uk 2005-06-05 15:00 --- Created an attachment (id=9033) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9033action=view) code that triggers the ICE -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21922
