[Bug tree-optimization/27144] [4.2 regression] segfault with -O2 on x86_64 (and powerpc64)

[rguenth at gcc dot gnu dot org]

------- Comment #9 from rguenth at gcc dot gnu dot org  2006-05-02 11:35 -------
Seems also to cause a bootstrap failure on x86_64 for Ada:

/abuild/rguenther/obj/./prev-gcc/xgcc -B/abuild/rguenther/obj/./prev-gcc/
-B/usr/local/x86_64-unknown-linux-gnu/bin/ -c -g -O2      -gnatpg -gnata -I-
-I. -Iada -I../../trunk/gcc/ada ../../trunk/gcc/ada/fname-uf.adb -o
ada/fname-uf.o
+===========================GNAT BUG DETECTED==============================+
| 4.2.0 20060502 (experimental) (x86_64-unknown-linux-gnu) GCC error:      |
| in n_of_executions_at_least, at tree-ssa-loop-niter.c:1772               |
| Error detected at fname-uf.adb:611:12                                    |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Use a subject line meaningful to you and us to track the bug.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

#1  0x0000000000cecba3 in n_of_executions_at_least (stmt=0x0, 
    niter_bound=0x189ba50, niter=0x2ba3eb059510)
    at ../../trunk/gcc/tree-ssa-loop-niter.c:1770
1770      gcc_assert (TYPE_UNSIGNED (bound_type)
(gdb) list
1765      tree bound = niter_bound->bound;
1766      tree bound_type = TREE_TYPE (bound);
1767      tree nit_type = TREE_TYPE (niter);
1768      enum tree_code cmp;
1769
1770      gcc_assert (TYPE_UNSIGNED (bound_type)
1771                  && TYPE_UNSIGNED (nit_type)
1772                  && is_gimple_min_invariant (bound));
1773      if (TYPE_PRECISION (nit_type) > TYPE_PRECISION (bound_type))
1774        bound = fold_convert (nit_type, bound);

(gdb) call debug_tree(nit_type)
 <integer_type 0x2ba3ea7f4b00 SIGNED_64 sizes-gimplified asm_written public
visited DI
    size <integer_cst 0x2ba3ea7e8d80 type <integer_type 0x2ba3ea7f40b0
bit_size_type> constant invariant 64>
    unit size <integer_cst 0x2ba3ea7e8db0 type <integer_type 0x2ba3ea7f4000
long int> constant invariant 8>
    align 64 symtab -360134464 alias set -1 precision 64 min <integer_cst
0x2ba3ea7ff210 -9223372036854775808> max <integer_cst 0x2ba3ea7ff2d0
9223372036854775807>
    pointer_to_this <pointer_type 0x2ba3ea881f20>>
(gdb) call debug_tree(bound)
 <integer_cst 0x2ba3ead24840 type <integer_type 0x2ba3ea881a50 unsigned int>
constant invariant 2147483645>


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27144