[Bug tree-optimization/54676] New: [4.8 Regression] ICE: in set_value_range, at tree-vrp.c:433

[zsojka at seznam dot cz]

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



             Bug #: 54676

           Summary: [4.8 Regression] ICE: in set_value_range, at

                    tree-vrp.c:433

    Classification: Unclassified

           Product: gcc

           Version: 4.8.0

            Status: UNCONFIRMED

          Severity: normal

          Priority: P3

         Component: tree-optimization

        AssignedTo: unassig...@gcc.gnu.org

        ReportedBy: zso...@seznam.cz





Created attachment 28252

  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28252

reduced testcase (from gcc.c-torture/compile/pr51247.c)



Compiler output:

$ gcc -O -fno-tree-ccp -fno-tree-copy-prop -fno-tree-fre -ftree-vrp testcase.c

testcase.c: In function 'foo':

testcase.c:11:1: internal compiler error: in set_value_range, at tree-vrp.c:433

 foo (int x)

 ^

Please submit a full bug report,

with preprocessed source if appropriate.

See <http://gcc.gnu.org/bugs.html> for instructions.





Backtrace:

(gdb) bt

#0  0x0000000001120150 in fancy_abort(char const*, int, char const*) ()

#1  0x0000000000b8813f in set_value_range(value_range_d*, value_range_type,

tree_node*, tree_node*, bitmap_head_def*) ()

    at /mnt/svn/gcc-trunk/gcc/tree-vrp.c:433

#2  0x0000000000b9a8f9 in vrp_visit_stmt(gimple_statement_d*, edge_def**,

tree_node**) () at /mnt/svn/gcc-trunk/gcc/tree-vrp.c:7687

#3  0x0000000000afbb03 in simulate_stmt(gimple_statement_d*) () at

/mnt/svn/gcc-trunk/gcc/tree-ssa-propagate.c:320

#4  0x0000000000afc166 in ssa_propagate(ssa_prop_result

(*)(gimple_statement_d*, edge_def**, tree_node**), ssa_prop_result

(*)(gimple_statement_d*))

    () at /mnt/svn/gcc-trunk/gcc/tree-ssa-propagate.c:443

#5  0x0000000000b96f30 in execute_vrp() () at

/mnt/svn/gcc-trunk/gcc/tree-vrp.c:9124

#6  0x00000000008fdaed in execute_one_pass(opt_pass*) () at

/mnt/svn/gcc-trunk/gcc/passes.c:2199

#7  0x00000000008fdea5 in execute_pass_list(opt_pass*) () at

/mnt/svn/gcc-trunk/gcc/passes.c:2254

#8  0x00000000008fdeb7 in execute_pass_list(opt_pass*) () at

/mnt/svn/gcc-trunk/gcc/passes.c:2255

#9  0x00000000006c2228 in expand_function(cgraph_node*) () at

/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1601

#10 0x00000000006c40d2 in compile() () at

/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1705

#11 0x00000000006c46c5 in finalize_compilation_unit() () at

/mnt/svn/gcc-trunk/gcc/cgraphunit.c:2080

#12 0x00000000005a1ac0 in c_write_global_declarations() () at

/mnt/svn/gcc-trunk/gcc/c/c-decl.c:10116

#13 0x00000000009e2c65 in compile_file() () at

/mnt/svn/gcc-trunk/gcc/toplev.c:560

#14 0x00000000009e483a in toplev_main(int, char**) () at

/mnt/svn/gcc-trunk/gcc/toplev.c:1863

#15 0x00007ffff6e784bd in __libc_start_main () from /lib64/libc.so.6

#16 0x0000000000588781 in _start ()





Version:

$ gcc -v                                                                      

Using built-in specs.

COLLECT_GCC=/mnt/svn/gcc-trunk/binary-latest/bin/gcc

COLLECT_LTO_WRAPPER=/mnt/svn/gcc-trunk/binary-191648-lto-fortran-checking-yes-rtl-df/libexec/gcc/x86_64-unknown-linux-gnu/4.8.0/lto-wrapper

Target: x86_64-unknown-linux-gnu

Configured with: /mnt/svn/gcc-trunk//configure --enable-checking=yes,rtl,df

--enable-languages=c,c++,lto,fortran

--prefix=/mnt/svn/gcc-trunk/binary-191648-lto-fortran-checking-yes-rtl-df/

--without-cloog --without-ppl

Thread model: posix

gcc version 4.8.0 20120923 (experimental) (GCC) 





Tested revisions:

r191648 - crash

4.7 r191640 - OK