[Bug middle-end/81832] New: ICE in expand_LOOP_DIST_ALIAS, at internal-fn.c:2273

2017-08-12 Thread antoine.balestrat at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81832

Bug ID: 81832
   Summary: ICE in expand_LOOP_DIST_ALIAS, at internal-fn.c:2273
   Product: gcc
   Version: 8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: middle-end
  Assignee: unassigned at gcc dot gnu.org
  Reporter: antoine.balestrat at gmail dot com
  Target Milestone: ---

Hello !
I'm using a freshly built version of GCC (gcc version 8.0.0 20170812) :

$ cat tested.c
int a, b, *c;
void d(void)
{
int **e;
for(;;)
for(int f = 1; f <= 6; f++)
{
b = 0;
if(a)
g:
while(a++);
if (**e);
else
{
*c = a;
goto g;
}
}
}

$ xgcc -O3 -c tested.c
during RTL pass: expand
tested.c: In function ‘d’:
tested.c:2:6: internal compiler error: in expand_LOOP_DIST_ALIAS, at
internal-fn.c:2273
 void d(void)
  ^
0x958807 expand_LOOP_DIST_ALIAS
../../srcdir/gcc/internal-fn.c:2273
0x724bf7 expand_call_stmt
../../srcdir/gcc/cfgexpand.c:2577
0x724bf7 expand_gimple_stmt_1
../../srcdir/gcc/cfgexpand.c:3585
0x724bf7 expand_gimple_stmt
../../srcdir/gcc/cfgexpand.c:3751
0x726957 expand_gimple_basic_block
../../srcdir/gcc/cfgexpand.c:5753
0x72cb7e execute
../../srcdir/gcc/cfgexpand.c:6360
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

[Bug tree-optimization/67191] [6 Regression] ICE: in before_dom_children, at tree-ssa-sccvn.c:4372

2015-08-12 Thread antoine.balestrat at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67191

Antoine Balestrat antoine.balestrat at gmail dot com changed:

   What|Removed |Added

 CC||antoine.balestrat at gmail dot 
com

--- Comment #5 from Antoine Balestrat antoine.balestrat at gmail dot com ---
Hello ! This simpler C testcase seemingly triggers the exact same ICE at -O1 on
my x86_64 machine :

$ cat tested.c
int a;
void f(void)
{
int b;
for(a=1; a;);
for(; b; b++)
lbl:
b || a;
if(a)
goto lbl;
}

$ xgcc -w -O1 tested.c
tested.c: In function ‘f’:
tested.c:11:1: internal compiler error: in before_dom_children, at
tree-ssa-sccvn.c:4372
 }
 ^
0xc66ffc sccvn_dom_walker::before_dom_children(basic_block_def*)
../../srcdir/gcc/tree-ssa-sccvn.c:4371
0x10c46a1 dom_walker::walk(basic_block_def*)
../../srcdir/gcc/domwalk.c:177
0xc681d6 run_scc_vn(vn_lookup_kind)
../../srcdir/gcc/tree-ssa-sccvn.c:4459
0xc3a3b2 execute
../../srcdir/gcc/tree-ssa-pre.c:4959
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug middle-end/67005] New: ICE: in verify_loop_structure, at cfgloop.c:1647 (loop with header n not in loop tree)

2015-07-25 Thread antoine.balestrat at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67005

Bug ID: 67005
   Summary: ICE: in verify_loop_structure, at cfgloop.c:1647 (loop
with header n not in loop tree)
   Product: gcc
   Version: 6.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: middle-end
  Assignee: unassigned at gcc dot gnu.org
  Reporter: antoine.balestrat at gmail dot com
  Target Milestone: ---

Hello ! Please consider the following testcase which makes a freshly built GCC
6.0 ICE at -O2.

$ cat test.c
int a;
void f(void)
{
if(!a);
else
lbl:
a = a;

if(a)
a = 8;
goto lbl;
}

$ xgcc -w -O2 test.c
test.c: In function ‘f’:
test.c:12:1: error: loop with header 4 not in loop tree
 }
 ^
current.c:12:1: internal compiler error: in verify_loop_structure, at
cfgloop.c:1647
0x708a75 verify_loop_structure()
../../srcdir/gcc/cfgloop.c:1647
0xa20955 loop_optimizer_init(unsigned int)
../../srcdir/gcc/loop-init.c:109
0xadc9e2 execute
../../srcdir/gcc/predict.c:3032
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug tree-optimization/66958] New: ICE : segfault at -O3 (tree-ssa-threadupdate.c:2672)

2015-07-21 Thread antoine.balestrat at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66958

Bug ID: 66958
   Summary: ICE : segfault at -O3 (tree-ssa-threadupdate.c:2672)
   Product: gcc
   Version: 6.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: antoine.balestrat at gmail dot com
  Target Milestone: ---

Hello !

The following testcase appears to make a freshly built GCC fail at -O3.

$ xgcc --version
gcc (GCC) 6.0.0 20150721 (experimental)

$ cat test.c
int a, b, c;
void f(void)
{
int d = 2;
for(; c; c++)
if(d = b ? 2 : a ? : 2)
while(1);
}


$ xgcc -w -O3 test.c
test.c: In function ‘f’:
test.c:2:6: internal compiler error: Segmentation fault
 void f(void)
  ^
0xb7bd2f crash_signal
../../srcdir/gcc/toplev.c:352
0xd64de1 thread_through_all_blocks(bool)
../../srcdir/gcc/tree-ssa-threadupdate.c:2672
0xca0d5b execute
../../srcdir/gcc/tree-ssa-dom.c:1221
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug middle-end/66945] New: ICE in generic_simplify (generic-match.c:24790)

2015-07-20 Thread antoine.balestrat at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66945

Bug ID: 66945
   Summary: ICE in generic_simplify (generic-match.c:24790)
   Product: gcc
   Version: 6.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: middle-end
  Assignee: unassigned at gcc dot gnu.org
  Reporter: antoine.balestrat at gmail dot com
  Target Milestone: ---

Hello !

This very pathological testcase seems to trigger an ICE with a freshly built
gcc.

$ xgcc --version
gcc (GCC) 6.0.0 20150720 (experimental)

$ cat tested.c
unsigned b;
f()
{
for(;;)
if(!b?:(b=0));
else if(b%0b?:b)
for(;;);
}

$ xgcc -w -O1 tested.c
~/experiments/gcc/dist/bin/gcc -w -O1 tested.c
tested.c: In function ‘f’:
tested.c:2:1: internal compiler error: Segmentation fault
 f()
 ^
0xb7bd2f crash_signal
../../srcdir/gcc/toplev.c:352
0x91332d generic_simplify(unsigned int, tree_code, tree_node*, tree_node*,
tree_node*)
/home/antoine/gcc/objdir/gcc/generic-match.c:24790
0x826037 fold_binary_loc(unsigned int, tree_code, tree_node*, tree_node*,
tree_node*)
../../srcdir/gcc/fold-const.c:9190
0xbc2eed cleanup_control_expr_graph
../../srcdir/gcc/tree-cfgcleanup.c:116
0xbc2eed cleanup_control_flow_bb
../../srcdir/gcc/tree-cfgcleanup.c:211
0xbc2eed cleanup_tree_cfg_bb
../../srcdir/gcc/tree-cfgcleanup.c:628
0xbc3548 cleanup_tree_cfg_1
../../srcdir/gcc/tree-cfgcleanup.c:681
0xbc3548 cleanup_tree_cfg_noloop
../../srcdir/gcc/tree-cfgcleanup.c:733
0xbc3548 cleanup_tree_cfg()
../../srcdir/gcc/tree-cfgcleanup.c:788
0xab7e44 execute_function_todo
../../srcdir/gcc/passes.c:1900
0xab8733 execute_todo
../../srcdir/gcc/passes.c:2005
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug tree-optimization/59592] New: Segmentation fault in fold_comparison at -O1

2013-12-24 Thread antoine.balestrat at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59592

Bug ID: 59592
   Summary: Segmentation fault in fold_comparison at -O1
   Product: gcc
   Version: 4.9.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: antoine.balestrat at gmail dot com

Hello !

The following testcase makes GCC 4.9.0 as of 20131224 segfault at -O1.

$ cat seg.c
long a, b;

void f(void)
{
if(0)
{
int c, d;
lbl1:
for(c = 0; c  1; c++)
for(b = 0; b  1;);

d %= d;
lbl2:
d ? : 1;
}

if(a++)
goto lbl1;

int e = 1;

if((a ^= a ? : 0)  (e  (e %= e)))
goto lbl2;

int *p = e;
}

$ xgcc -O1 seg.c
seg.c: In function ‘f’:
seg.c:26:1: internal compiler error: Segmentation fault
 }
 ^
0x9d80bf crash_signal
../../srcdir/gcc/toplev.c:336
0x79a239 fold_comparison
../../srcdir/gcc/fold-const.c:9078
0x7a318b fold_binary_loc(unsigned int, tree_code, tree_node*, tree_node*,
tree_node*)
../../srcdir/gcc/fold-const.c:12953
0xa0fe01 cleanup_control_expr_graph
../../srcdir/gcc/tree-cfgcleanup.c:112
0xa0fe01 cleanup_control_flow_bb
../../srcdir/gcc/tree-cfgcleanup.c:187
0xa0fe01 cleanup_tree_cfg_bb
../../srcdir/gcc/tree-cfgcleanup.c:605
0xa118a8 cleanup_tree_cfg_1
../../srcdir/gcc/tree-cfgcleanup.c:650
0xa118a8 cleanup_tree_cfg_noloop
../../srcdir/gcc/tree-cfgcleanup.c:706
0xa118a8 cleanup_tree_cfg()
../../srcdir/gcc/tree-cfgcleanup.c:761
0x92e1d4 execute_function_todo
../../srcdir/gcc/passes.c:1808
0x92eab3 execute_todo
../../srcdir/gcc/passes.c:1884
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug tree-optimization/59417] New: ICE in determine_value_range, at tree-ssa-loop-niter.c:176

2013-12-07 Thread antoine.balestrat at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59417

Bug ID: 59417
   Summary: ICE in determine_value_range, at
tree-ssa-loop-niter.c:176
   Product: gcc
   Version: 4.9.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: antoine.balestrat at gmail dot com

Hi !
I'm using GCC 4.9 20131207.

$ cat deter.c
int a, b, d;
short c;

void f(void)
{
if(b)
{
int *e;

if(d)
{
for(; b; a++)
lbl1:
d = 0;

for(; d = 1; d++)
{
int **q = e;
for(**q = 0; **q = 0; **q++)
d = 0;
}
}
}

else
{
int t;
for(c = 0; c  77; c++)
for(c = 0; c  46; c++);
for (; t = 0; t++)
lbl2:
;
goto lbl1;
}
goto lbl2;
}


$ xgcc -w -O2 deter.c
deter.c: In function ‘f’:
deter.c:4:6: internal compiler error: in determine_value_range, at
tree-ssa-loop-niter.c:176
 void f(void)
  ^
0xac1d8e determine_value_range
../../srcdir/gcc/tree-ssa-loop-niter.c:176
0xac27f7 bound_difference
../../srcdir/gcc/tree-ssa-loop-niter.c:486
0xac27f7 number_of_iterations_cond
../../srcdir/gcc/tree-ssa-loop-niter.c:1416
0xac27f7 number_of_iterations_exit(loop*, edge_def*, tree_niter_desc*, bool,
bool)
../../srcdir/gcc/tree-ssa-loop-niter.c:1972
0xa3e30d number_of_latch_executions
../../srcdir/gcc/tree-scalar-evolution.c:2888
0xac3973 estimate_numbers_of_iterations_loop
../../srcdir/gcc/tree-ssa-loop-niter.c:3411
0xac5997 estimate_numbers_of_iterations_loop
../../srcdir/gcc/tree-ssa-loop-niter.c:3509
0xac5997 max_loop_iterations(loop*, double_int*)
../../srcdir/gcc/tree-ssa-loop-niter.c:3507
0xac5a2a finite_loop_p(loop*)
../../srcdir/gcc/tree-ssa-loop-niter.c:2125
0xa7801f find_obviously_necessary_stmts
../../srcdir/gcc/tree-ssa-dce.c:422
0xa7a5a5 perform_tree_ssa_dce
../../srcdir/gcc/tree-ssa-dce.c:1441
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug tree-optimization/59359] New: Segmentation fault in thread_through_all_blocks

2013-12-01 Thread antoine.balestrat at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59359

Bug ID: 59359
   Summary: Segmentation fault in thread_through_all_blocks
   Product: gcc
   Version: 4.9.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: antoine.balestrat at gmail dot com

Hello !
The following testcase makes GCC 4.9.0 as of 20131201 crash.

$ cat seg.c
int a, b;

void f()
{
int c = 0;

for(; b; b++)
{
for(a = 0; a; a++);

unsigned d = 1;

for(; c  2; c++)
if(d = (c = d)  1)
return;
}
}

$ xgcc -O2 -w seg.c
seg.c: In function ‘f’:
seg.c:3:6: internal compiler error: Segmentation fault
 void f()
  ^
0x9901cf crash_signal
../../srcdir/gcc/toplev.c:336
0xb33a67 thread_through_all_blocks(bool)
../../srcdir/gcc/tree-ssa-threadupdate.c:1652
0xa7a7ab tree_ssa_dominator_optimize
../../srcdir/gcc/tree-ssa-dom.c:886
0xa7a7ab execute
../../srcdir/gcc/tree-ssa-dom.c:984
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug rtl-optimization/59020] [4.9 Regression] internal compiler error: in maybe_add_or_update_dep_1, at sched-deps.c:933

2013-11-23 Thread antoine.balestrat at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59020

Antoine Balestrat antoine.balestrat at gmail dot com changed:

   What|Removed |Added

 CC||antoine.balestrat at gmail dot 
com

--- Comment #3 from Antoine Balestrat antoine.balestrat at gmail dot com ---
I've got a short C testcase if this is of any help.

$ cat fail.c
int a, b, d;
unsigned c;

void f()
{
  unsigned q;
  for(; a; a++)
if(((c %= d  1) ? : 1)  1)
  for(; b; q++);
}

$ xgcc -w -march=native -O2 -fmodulo-sched fail.c 
fail.c: In function 'f':
fail.c:10:1: internal compiler error: in maybe_add_or_update_dep_1, at
sched-deps.c:933
 }
 ^
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.


Using gcc 4.9 as of 20131123.


[Bug tree-optimization/58492] New: ICE: verify_flow_info failed

2013-09-21 Thread antoine.balestrat at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58492

Bug ID: 58492
   Summary: ICE: verify_flow_info failed
   Product: gcc
   Version: 4.9.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: antoine.balestrat at gmail dot com

Hello ! The following testcase makes GCC 4.9.0 as of 20130921 crash.

$ cat vfi.c
void f(int p, short q)
{
   f(0, 0);
}

$ xgcc -O3 -fipa-pta vfi.c
vfi.c: In function ‘f’:
vfi.c:1:6: error: control flow in the middle of basic block 2
 void f(int p, short q)
  ^
vfi.c:1:6: internal compiler error: verify_flow_info failed
0x617352 verify_flow_info()
../../srcdir/gcc/cfghooks.c:260
0x958d3a cleanup_tree_cfg_noloop
../../srcdir/gcc/tree-cfgcleanup.c:696
0x958d3a cleanup_tree_cfg()
../../srcdir/gcc/tree-cfgcleanup.c:745
0x87f724 execute_function_todo
../../srcdir/gcc/passes.c:1791
0x87fe17 execute_todo
../../srcdir/gcc/passes.c:1866
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug rtl-optimization/58008] New: ICE: Max. number of generated reload insns per insn is achieved (90)

2013-07-28 Thread antoine.balestrat at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58008

Bug ID: 58008
   Summary: ICE: Max. number of generated reload insns per insn is
achieved (90)
   Product: gcc
   Version: 4.9.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: rtl-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: antoine.balestrat at gmail dot com

Hello !
With GCC 4.9.0 as of 20130728 :

$ cat max.c
int a, b, c, d, e;

void f(void)
{
if(c)
goto lbl;

for(; 0; c++)
{
short f;
lbl:
for(; a; a++)
e *= f += b ? : (d = 0);
}
}

$ xgcc -march=corei7 -O2 -funswitch-loops -ftree-vectorize -funroll-loops max.c
max.c: In function ‘f’:
max.c:15:1: internal compiler error: Max. number of generated reload insns per
insn is achieved (90)

 }
 ^
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug tree-optimization/58010] New: ICE in vect_create_epilog_for_reduction, at tree-vect-loop.c:4378

2013-07-28 Thread antoine.balestrat at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58010

Bug ID: 58010
   Summary: ICE in vect_create_epilog_for_reduction, at
tree-vect-loop.c:4378
   Product: gcc
   Version: 4.9.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: antoine.balestrat at gmail dot com

Hello !
Using GCC 4.9.0 as of 20130728 :

$ cat vect.c
short a, b, c, d;

void f(void)
{
short e;

for(; e; e++)
for(; b; b++);

for(d = 0; d  4; d++)
a ^= (e ^= 1) || c ? : e;
}

$ xgcc -O2 -funswitch-loops -ftree-vectorize vect.c
vect.c: In function ‘f’:
vect.c:3:6: internal compiler error: in vect_create_epilog_for_reduction, at
tree-vect-loop.c:4378
 void f(void)
  ^
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug tree-optimization/58011] New: GCC segfaults at -O1

2013-07-28 Thread antoine.balestrat at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58011

Bug ID: 58011
   Summary: GCC segfaults at -O1
   Product: gcc
   Version: 4.9.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: antoine.balestrat at gmail dot com

Using GCC 4.9.0 as of 20130728 :

$ cat seg.c
int a, b;

void f(unsigned p)
{
unsigned *pp = p;

if(!a)
p = 0;

for(b = 0; b  1; b++)
if(3 * p + 5 * *pp)
a = 0;
}

$ xgcc -O1 seg.c
seg.c: In function ‘f’:
seg.c:3:6: internal compiler error: Segmentation fault
 void f(unsigned p)
  ^
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug tree-optimization/57993] New: ICE: verify_ssa failed (definition in block n does not dominate use in block m)

2013-07-26 Thread antoine.balestrat at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57993

Bug ID: 57993
   Summary: ICE: verify_ssa failed (definition in block n does not
dominate use in block m)
   Product: gcc
   Version: 4.9.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: antoine.balestrat at gmail dot com

Hello !
I'm using GCC 4.9.0 as of 20130726 :

$ cat dom.c
int a, b, c, d;
char e;
unsigned g;

void f(void)
{
int h;

for(; d; d++)
if(d)
lbl:
g + a || (d = 0);

b  (a = e);

for(h = 0; h  1; ++h)
{
h = c ? : (d = 0);
g = a = (e | 0);
}

if(a)
goto lbl;

a = e = 0;
goto lbl;
}

$ xgcc -w -O2 dom.c
dom.c: In function ‘f’:
dom.c:5:6: error: definition in block 11 does not dominate use in block 10
 void f(void)
  ^
for SSA_NAME: pretmp_51 in statement:
slsr_41 = PHI pretmp_51(10), pretmp_51(9)
PHI argument
pretmp_51
for PHI node
slsr_41 = PHI pretmp_51(10), pretmp_51(9)
dom.c:5:6: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug tree-optimization/57685] New: GCC stuck in an infinite loop

2013-06-23 Thread antoine.balestrat at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57685

Bug ID: 57685
   Summary: GCC stuck in an infinite loop
   Product: gcc
   Version: 4.9.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: antoine.balestrat at gmail dot com

Hello !
Using GCC 4.9.0 as of 20130623 :

$ cat inf.c
unsigned f(void)
{
unsigned a;
int b, c, d, e;

for(c = 27; c  40; c++)
b |= d |= b;

if(b)
a = e;

return a;
}

$ ulimit -t 60

$ xgcc -O3 inf.c
gcc: internal compiler error: CPU time limit exceeded (program cc1)
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug rtl-optimization/57497] [4.9 Regression] ICE in lra_create_new_reg_with_unique_value, at lra.c:155

2013-06-22 Thread antoine.balestrat at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57497

--- Comment #3 from Antoine Balestrat antoine.balestrat at gmail dot com ---
This bug looks unreproducible with the current trunk.


[Bug rtl-optimization/57676] New: ICE: Maximum number of LRA constraint passes is achieved (30)

2013-06-22 Thread antoine.balestrat at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57676

Bug ID: 57676
   Summary: ICE: Maximum number of LRA constraint passes is
achieved (30)
   Product: gcc
   Version: 4.9.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: rtl-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: antoine.balestrat at gmail dot com

Using GCC 4.9.0 as of 20130622 :

$ cat lra.c
int a, b, c;

void f(p1)
{
for(;;)
{
if(p1 ? : (c /= 0))
{
int d;

for(; d; d++)
{
for(b = 0; b  4; b++)
p1 /= p1;
lbl:
while(a);
}
}

if((c = 1))
goto lbl;
}
}

$ xgcc -w -O2 -funroll-loops lra.c
lra.c: In function ‘f’:
lra.c:23:1: internal compiler error: Maximum number of LRA constraint passes is
achieved (30)

 }
 ^
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug tree-optimization/57497] New: ICE in lra_create_new_reg_with_unique_value, at lra.c:155

2013-06-01 Thread antoine.balestrat at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57497

Bug ID: 57497
   Summary: ICE in lra_create_new_reg_with_unique_value, at
lra.c:155
   Product: gcc
   Version: 4.9.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: antoine.balestrat at gmail dot com

Hello !
The following testcase makes GCC 4.9.0 as of 20130601 ICE at -O3.

$ cat lra.c
int a, b;

void f(void)
{
for(;; a++)
if(0)
{
int *q;
lbl1:
;
char **p = 0;
lbl2:
while(**p)
1  **p ? : (b = 0);
p = q;
}

else
{
long **t, c = 22;

if(b)
{
*t = c;
goto lbl1;
}

goto lbl2;
}
}

$ xgcc -O3 -w lra.c
lra.c: In function ‘f’:
lra.c:30:1: internal compiler error: in lra_create_new_reg_with_unique_value,
at 
lra.c:155
 }
 ^
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug tree-optimization/57442] New: ICE in appears_later_in_bb, at tree-ssa-reassoc.c:2891

2013-05-28 Thread antoine.balestrat at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57442

Bug ID: 57442
   Summary: ICE in appears_later_in_bb, at tree-ssa-reassoc.c:2891
   Product: gcc
   Version: 4.9.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: antoine.balestrat at gmail dot com

Hello !
Using GCC 4.9.0 as of 20130528 (on a x86_64 box) :

$ cat reassoc.c
short a;
unsigned b;
long c;
int d;

void f(void)
{
b = a ? : (a = b) - c + (d - (b + b));
}

$ xgcc -O1 reassoc.c
reassoc.c: In function ‘f’:
reassoc.c:6:6: internal compiler error: in appears_later_in_bb, at 
tree-ssa-reassoc.c:2891
 void f(void)
  ^
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug tree-optimization/57400] New: ICE: verify_ssa failed (definition in block n follows the use)

2013-05-24 Thread antoine.balestrat at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57400

Bug ID: 57400
   Summary: ICE: verify_ssa failed (definition in block n follows
the use)
   Product: gcc
   Version: 4.9.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: antoine.balestrat at gmail dot com

Hello !
I'm using GCC 4.9.0 as of 20130524.

$ cat ssa.c
int a;

void f(void)
{
int b;

for(a = 0; a  23; a++)
b |= a  0;

a = !!b;
}

$ xgcc -O3 -w ssa.c
ssa.c: In function ‘f’:
ssa.c:3:6: error: definition in block 2 follows the use
 void f(void)
  ^
for SSA_NAME: _7 in statement:
b_34 = b_22 | _7;
ssa.c:3:6: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug tree-optimization/57322] New: Segfault at -O1 in build_and_add_sum

2013-05-18 Thread antoine.balestrat at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57322

Bug ID: 57322
   Summary: Segfault at -O1 in build_and_add_sum
   Product: gcc
   Version: 4.9.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: antoine.balestrat at gmail dot com

Using GCC 4.9.0 as of 20130518 :

$ cat seg.c
int a;

void f(void)
{
char b;
for (;; a++)
{
char *p = b, *q;
*q = b  0  !!*p;
}
}

$ xgcc -w -O1 seg.c
seg.c: In function ‘f’:
seg.c:3:6: internal compiler error: Segmentation fault
 void f(void)
  ^
0x91001f crash_signal
../../srcdir/gcc/toplev.c:333
0xa4816c build_and_add_sum
../../srcdir/gcc/tree-ssa-reassoc.c:4440
0xa4ee6e eliminate_redundant_comparison
../../srcdir/gcc/tree-ssa-reassoc.c:1605
0xa4ee6e optimize_ops_list
../../srcdir/gcc/tree-ssa-reassoc.c:1675
0xa4ffbe reassociate_bb
../../srcdir/gcc/tree-ssa-reassoc.c:4210
0xa4fd87 reassociate_bb
../../srcdir/gcc/tree-ssa-reassoc.c:4291
0xa4fd87 reassociate_bb
../../srcdir/gcc/tree-ssa-reassoc.c:4291
0xa519a0 do_reassoc
../../srcdir/gcc/tree-ssa-reassoc.c:4325
0xa519a0 execute_reassoc
../../srcdir/gcc/tree-ssa-reassoc.c:4407
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug tree-optimization/57251] New: ICE in optab_handler, at optabs.h:258

2013-05-11 Thread antoine.balestrat at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57251

Bug ID: 57251
   Summary: ICE in optab_handler, at optabs.h:258
   Product: gcc
   Version: 4.9.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: antoine.balestrat at gmail dot com

Hello !
Using GCC 4.9.0 as of 20130511 :

$ cat optab.c
short a, b;
int f()
{
long long i = 2;
a ? f() ? : 0 : b--;
b = i *= a |= 0;
}

$ xgcc -O2 -ftracer -m32 optab.c
optab.c: In function ‘f’:
optab.c:6:7: internal compiler error: in optab_handler, at optabs.h:258
 b = i *= a |= 0;
   ^
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug tree-optimization/57185] New: ICE: Segmentation fault in add_field_for_reduction with -ftree-parallelize-loops=2 -fipa-pta

2013-05-06 Thread antoine.balestrat at gmail dot com

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

 Bug #: 57185
   Summary: ICE: Segmentation fault in add_field_for_reduction
with -ftree-parallelize-loops=2 -fipa-pta
Classification: Unclassified
   Product: gcc
   Version: 4.9.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Using GCC 4.9.0 as of 20130506 :

$ cat kk.c

int a, b;
int *d;
void f(void)
{
int c;
b %= 1;

if(1 - (b  1))
{
int *q = 0;

if(a)
{
c = 0;
lbl:
for(*d; *d; ++*d)
if(c ? : a ? : (c = 1) ? : 0)
*q = 1;
return;
}

q = 1;
}
goto lbl;
}

$ xgcc -O3 -w -ftree-parallelize-loops=2 -fipa-pta kk.c

kk.c: In function ‘f’:
kk.c:3:1: internal compiler error: Segmentation fault
void f(void)
 ^
0x90c35f crash_signal
../../srcdir/gcc/toplev.c:333
0x9906d0 add_field_for_reduction(reduction_info**, tree_node*)
../../srcdir/gcc/tree-parloops.c:967
0x992a52 traverse_noresizetree_node*, add_field_for_reduction
../../srcdir/gcc/hash-table.h:928
0x992a52 traversetree_node*, add_field_for_reduction
../../srcdir/gcc/hash-table.h:950
0x992a52 separate_decls_in_region
../../srcdir/gcc/tree-parloops.c:1359
0x9948e5 gen_parallel_loop
../../srcdir/gcc/tree-parloops.c:1868
0x9948e5 parallelize_loops()
../../srcdir/gcc/tree-parloops.c:2218
0xa1c982 tree_parallelize_loops
../../srcdir/gcc/tree-ssa-loop.c:559
0xa1c982 tree_parallelize_loops
../../srcdir/gcc/tree-ssa-loop.c:554
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug tree-optimization/57122] New: ICE in verify_loop_structure, at cfgloop.c:1647 (loop n’s latch does not have an edge to its header !)

2013-04-30 Thread antoine.balestrat at gmail dot com

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

 Bug #: 57122
   Summary: ICE in verify_loop_structure, at cfgloop.c:1647 (loop
n’s latch does not have an edge to its header !)
Classification: Unclassified
   Product: gcc
   Version: 4.9.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Using GCC 4.9.0 as of 20130430 :

$ cat latch.c
unsigned a;
int b, c;

void f(void)
{
if(a)
{
for(a = 0; a  2; a++)
a /= 7;

for(;; a++)
{
if(a)
lbl1:
b++;

if(c)
goto lbl1;
lbl2:
;
}
}

goto lbl2;
}

$ xgcc -O2 -w latch.c
latch.c: In function ‘f’:
latch.c:4:6: error: loop 2’s latch does not have an edge to its header
 void f(void)
  ^
latch.c:4:6: internal compiler error: in verify_loop_structure, at
cfgloop.c:1647
0x61aba5 verify_loop_structure()
../../srcdir/gcc/cfgloop.c:1647
0x7fe2ad loop_optimizer_init(unsigned int)
../../srcdir/gcc/loop-init.c:110
0xa3cf4d do_pre
../../srcdir/gcc/tree-ssa-pre.c:4708
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug tree-optimization/57081] New: Segmentation fault in simple_iv (tree-scalar-evolution.c:3151)

2013-04-26 Thread antoine.balestrat at gmail dot com

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

 Bug #: 57081
   Summary: Segmentation fault in simple_iv
(tree-scalar-evolution.c:3151)
Classification: Unclassified
   Product: gcc
   Version: 4.9.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Using GCC 4.9.0 as of 20130426 :

$ cat seg.c
int a;

void f(void)
{
int b;

if(0)
lbl:
goto lbl;

if(b)
{
int p = 0;
goto lbl;
}

a = 0;
while(b++);
goto lbl;
}

$ xgcc -w -O2 seg.c
seg.c: In function ‘f’:
seg.c:20:1: internal compiler error: Segmentation fault
 }
 ^
0x90ba1f crash_signal
../../srcdir/gcc/toplev.c:333
0x9a90c4 simple_iv(loop*, loop*, tree_node*, affine_iv*, bool)
../../srcdir/gcc/tree-scalar-evolution.c:3151
0x86ec0f is_comparison_with_loop_invariant_p
../../srcdir/gcc/predict.c:1084
0x8725ac predict_loops
../../srcdir/gcc/predict.c:1552
0x8725ac tree_estimate_probability()
../../srcdir/gcc/predict.c:2342
0x872f10 tree_estimate_probability_driver
../../srcdir/gcc/predict.c:2379
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug tree-optimization/56756] New: ICE: verify_ssa failed (definition in block n follows the use !)

2013-03-27 Thread antoine.balestrat at gmail dot com

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

 Bug #: 56756
   Summary: ICE: verify_ssa failed (definition in block n follows
the use !)
Classification: Unclassified
   Product: gcc
   Version: 4.9.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Using GCC 4.9.0 as of 20130327 :

$ cat ssa.c
int a, *b;

void f(void)
{
if(a)
{
int k;

for(a = 0; a  1; a++)
{
int **q;
f();

for(; **q; ++**q)
lbl:
if(a)
{
a = 0;
goto lbl;
}

b = k;
}
}
goto lbl;
}

$ xgcc -O1 -w ssa.c
ssa.c: In function ‘f’:
ssa.c:3:6: error: definition in block 12 follows the use
 void f(void)
  ^
for SSA_NAME: _17 in statement:
# VUSE .MEM_21
D__lsm.5_2 = *_17;
ssa.c:3:6: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug tree-optimization/56695] New: ICE in expand_vec_cond_expr, at optabs.c:6751

2013-03-23 Thread antoine.balestrat at gmail dot com

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

 Bug #: 56695
   Summary: ICE in expand_vec_cond_expr, at optabs.c:6751
Classification: Unclassified
   Product: gcc
   Version: 4.9.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Using GCC 4.9.0 as of 20130323 :

$ cat opt.c
int a, b, i;

void f(void)
{
for(i = 0; i  8; ++i)
a |= !(i |= b %= 1);
}

$ xgcc -O3 -w opt.c
opt.c: In function ‘f’:
opt.c:6:11: internal compiler error: in expand_vec_cond_expr, at optabs.c:6751
 a |= !(i |= b %= 1);
   ^
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.

[Bug middle-end/56417] internal compiler error: verify_gimple failed

2013-03-17 Thread antoine.balestrat at gmail dot com

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

Antoine Balestrat antoine.balestrat at gmail dot com changed:

   What|Removed |Added

 CC||antoine.balestrat at gmail
   ||dot com

--- Comment #2 from Antoine Balestrat antoine.balestrat at gmail dot com 
2013-03-17 10:18:59 UTC ---
Here is a testcase reduced from Percona's readline.c which makes GCC 4.9.0 as
of 20130316 crash :

$ cat f.c
typedef type();
int a;
type k;

f()
{
a = strlen(k);
}

$ xgcc -w -fsanitize=address f.c
f.c: In function ‘f’:
f.c:5:1: error: type mismatch in pointer plus expression
 f()
 ^
int (*T39a) ()

char *

long unsigned int

_14 = _3 + _1;

f.c:5:1: internal compiler error: verify_gimple failed
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug rtl-optimization/56571] New: ICE in copyprop_hardreg_forward_1, at regcprop.c (insn does not satisfy its constraints !)

2013-03-08 Thread antoine.balestrat at gmail dot com

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

 Bug #: 56571
   Summary: ICE in copyprop_hardreg_forward_1, at regcprop.c (insn
does not satisfy its constraints !)
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: rtl-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Hello !
The following testcase makes GCC 4.7.2 and 4.8.0 as of 20130308 fail.

$ cat insn.c
int a, b;

int f(void)
{
(a % b)  f();
a = (0 || a | (a ? : 1));
}

$ xgcc -w -O2 -funroll-loops -ftracer insn.c
insn.c: In function ‘f’:
insn.c:7:1: error: insn does not satisfy its constraints:
 }
 ^
(insn 83 79 84 9 (parallel [
(set (reg:CCZ 17 flags)
(compare:CCZ (ior:SI (reg:SI 4 si [81])
(reg:SI 2 cx [orig:69 D.1741 ] [69]))
(const_int 0 [0])))
(clobber (reg:SI 39 r10 [81]))
]) insn.c:6 451 {*iorsi_3}
 (expr_list:REG_DEAD (reg:SI 2 cx [orig:69 D.1741 ] [69])
(expr_list:REG_DEAD (reg:SI 0 ax [81])
(expr_list:REG_UNUSED (reg:SI 0 ax [81])
(nil)
insn.c:7:1: internal compiler error: in copyprop_hardreg_forward_1, at
regcprop.c:774
0x8a175a _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
../../srcdir/gcc/rtl-error.c:109
0x8a177f _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
../../srcdir/gcc/rtl-error.c:120
0x87b1e7 copyprop_hardreg_forward_1
../../srcdir/gcc/regcprop.c:774
0x87b1e7 copyprop_hardreg_forward
../../srcdir/gcc/regcprop.c:1085
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug tree-optimization/56494] New: ICE in simplify_truncation, at simplify-rtx.c:619

2013-03-01 Thread antoine.balestrat at gmail dot com

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

 Bug #: 56494
   Summary: ICE in simplify_truncation, at simplify-rtx.c:619
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


With GCC 4.8.0 as of 20130301 :

$ cat trunc.c
char a;
short b;

void f(void)
{
g((!!b ? : (a *= a / 0)) = (a = b));
}

$ xgcc -w -O2 -ftracer trunc.c
trunc.c: In function ‘f’:
trunc.c:7:1: internal compiler error: in simplify_truncation, at
simplify-rtx.c:619
 }
 ^
0x8db526 simplify_truncation
../../srcdir/gcc/simplify-rtx.c:619
0x8dc6fa simplify_unary_operation_1
../../srcdir/gcc/simplify-rtx.c:1046
0x8dc6fa simplify_unary_operation(rtx_code, machine_mode, rtx_def*,
machine_mode)
../../srcdir/gcc/simplify-rtx.c:786
0x8de2ef simplify_gen_unary(rtx_code, machine_mode, rtx_def*, machine_mode)
../../srcdir/gcc/simplify-rtx.c:369
0x8dc6fa simplify_unary_operation_1
../../srcdir/gcc/simplify-rtx.c:1046
0x8dc6fa simplify_unary_operation(rtx_code, machine_mode, rtx_def*,
machine_mode)
../../srcdir/gcc/simplify-rtx.c:786
0x8de2ef simplify_gen_unary(rtx_code, machine_mode, rtx_def*, machine_mode)
../../srcdir/gcc/simplify-rtx.c:369
0x8db057 simplify_truncation
../../srcdir/gcc/simplify-rtx.c:648
0x8dbc2d simplify_gen_subreg(machine_mode, rtx_def*, machine_mode, unsigned
int)
../../srcdir/gcc/simplify-rtx.c:5942
0xce9dce gen_lowpart_for_combine
../../srcdir/gcc/combine.c:10732
0xcef08e expand_compound_operation
../../srcdir/gcc/combine.c:6808
0xcf481f simplify_comparison
../../srcdir/gcc/combine.c:11168
0xcf754e combine_simplify_rtx
../../srcdir/gcc/combine.c:5665
0xcf972a subst
../../srcdir/gcc/combine.c:5155
0xcf93da subst
../../srcdir/gcc/combine.c:5100
0xcfa92f try_combine
../../srcdir/gcc/combine.c:3146
0xcff76c combine_instructions
../../srcdir/gcc/combine.c:1368
0xcff76c rest_of_handle_combine
../../srcdir/gcc/combine.c:13793
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug tree-optimization/56466] New: ICE in verify_loop_structure, at cfgloop.c:1629 (loop with header n not in loop tree !)

2013-02-26 Thread antoine.balestrat at gmail dot com

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

 Bug #: 56466
   Summary: ICE in verify_loop_structure, at cfgloop.c:1629 (loop
with header n not in loop tree !)
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Using GCC 4.8.0 as of 20130226 :

$ cat peel.c
int a, b, c;

void f(void)
{
for(; b; b++)
{
if(0)
for(; b  0; b++)
if(1 % 0)
{
while(1)
{
a = 0;
lbl1:
c++;
}
lbl2:
;
}

goto lbl1;
}

a = 0;
goto lbl2;
}

$ xgcc -w -funroll-loops -O2 peel.c
peel.c: In function ‘f’:
peel.c:26:1: error: loop with header 6 not in loop tree
 }
 ^
peel.c:26:1: internal compiler error: in verify_loop_structure, at
cfgloop.c:1629
0x60ffb5 verify_loop_structure()
../../srcdir/gcc/cfgloop.c:1629
0x7f70af peel_loops_completely
../../srcdir/gcc/loop-unroll.c:310
0x7f70af unroll_and_peel_loops(int)
../../srcdir/gcc/loop-unroll.c:215
0x7eaed7 rtl_unroll_and_peel_loops
../../srcdir/gcc/loop-init.c:492
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug tree-optimization/56426] New: Segmentation fault in find_var_scev_info, at tree-scalar-evolution.c:358

2013-02-22 Thread antoine.balestrat at gmail dot com

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

 Bug #: 56426
   Summary: Segmentation fault in find_var_scev_info, at
tree-scalar-evolution.c:358
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Using GCC 4.8.0 as of 20130222 :

$ cat scev.c
int a, *c;

void f(void)
{
int b = 0;

for(a = 0;; a++)
if(--b)
{
if(a)
lbl:
a++;

c = b;
goto lbl;
}
}

$ xgcc -w -O2 scev.c
scev.c: In function ‘f’:
scev.c:3:6: internal compiler error: Segmentation fault
 void f(void)
  ^
0x8f89ef crash_signal
../../srcdir/gcc/toplev.c:332
0xe1228f htab_find_slot
../../srcdir/libiberty/hashtab.c:712
0x98caf5 find_var_scev_info
../../srcdir/gcc/tree-scalar-evolution.c:358
0x98f999 get_scalar_evolution
../../srcdir/gcc/tree-scalar-evolution.c:559
0x98f999 analyze_scalar_evolution(loop*, tree_node*)
../../srcdir/gcc/tree-scalar-evolution.c:1963
0xa00287 infer_loop_bounds_from_signedness
../../srcdir/gcc/tree-ssa-loop-niter.c:2887
0xa00287 infer_loop_bounds_from_undefined
../../srcdir/gcc/tree-ssa-loop-niter.c:2944
0xa00287 estimate_numbers_of_iterations_loop
../../srcdir/gcc/tree-ssa-loop-niter.c:3340
0xa00287 estimate_numbers_of_iterations_loop(loop*)
../../srcdir/gcc/tree-ssa-loop-niter.c:3302
0xa015e4 estimate_numbers_of_iterations()
../../srcdir/gcc/tree-ssa-loop-niter.c:3534
0xa01aa7 tree_ssa_loop_bounds
../../srcdir/gcc/tree-ssa-loop.c:432
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug tree-optimization/56384] New: ICE in fold_binary_loc, at fold-const.c:10422

2013-02-18 Thread antoine.balestrat at gmail dot com

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

 Bug #: 56384
   Summary: ICE in fold_binary_loc, at fold-const.c:10422
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


With GCC 4.8.0 as of 20130218 :

$ cat fold.c
int a, c;

void f(void)
{
unsigned char b;

if(a)
{
for(; b  1; b++);
lbl1:
c = (b |= 0) ^ (b || a);
}

if((a = b))
{
b = c;
goto lbl1;
}

b = 5;
goto lbl1;
}


$ xgcc -w -O2 fold.c
fold.c: In function ‘f’:
fold.c:3:6: internal compiler error: in fold_binary_loc, at fold-const.c:10422
 void f(void)
  ^
0x70146d fold_binary_loc(unsigned int, tree_code, tree_node*, tree_node*,
tree_node*)
../../srcdir/gcc/fold-const.c:10422
0x76613f gimple_fold_stmt_to_constant_1(gimple_statement_d*, tree_node*
(*)(tree_node*))
../../srcdir/gcc/gimple-fold.c:2575
0xa3a8d4 try_to_simplify
../../srcdir/gcc/tree-ssa-sccvn.c:3257
0xa3a8d4 visit_use
../../srcdir/gcc/tree-ssa-sccvn.c:3334
0xa3d248 process_scc
../../srcdir/gcc/tree-ssa-sccvn.c:3671
0xa3d248 extract_and_process_scc_for_name
../../srcdir/gcc/tree-ssa-sccvn.c:3728
0xa3d248 DFS
../../srcdir/gcc/tree-ssa-sccvn.c:3782
0xa3d248 run_scc_vn(vn_lookup_kind)
../../srcdir/gcc/tree-ssa-sccvn.c:4028
0xa20437 do_pre
../../srcdir/gcc/tree-ssa-pre.c:4701
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug tree-optimization/56366] New: ICE: verify_gimple failed (incompatible types in PHI argument)

2013-02-17 Thread antoine.balestrat at gmail dot com

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

 Bug #: 56366
   Summary: ICE: verify_gimple failed (incompatible types in PHI
argument)
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Using GCC 4.8.0 as of 20130216 :

$ cat incomp.c
int a, *c, d;
unsigned short b;
short e;

void f(void)
{
for(;; d++)
{
for(a = -9; a  63; a++)
for(d = 0; d  9; d++)
b -= --e;

a = b  *c;
}
}

$ xgcc -O2 -ftree-vectorize -w incomp.c
incomp.c: In function ‘f’:
incomp.c:5:6: error: incompatible types in PHI argument 1
 void f(void)
  ^
vector(8) unsigned short

vector(8) short int

vect_vec_iv_.25_58 = PHI vect_vec_iv_.25_59(6), vect_vec_iv_.23_56(4)

incomp.c:5:6: internal compiler error: verify_gimple failed
0x91e30f verify_gimple_in_cfg(function*)
../../srcdir/gcc/tree-cfg.c:4727
0x84cb08 execute_function_todo
../../srcdir/gcc/passes.c:1966
0x84d50d execute_todo
../../srcdir/gcc/passes.c:1999
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug tree-optimization/56349] New: ICE in create_preheader at cfgloopmanip.c:1525

2013-02-15 Thread antoine.balestrat at gmail dot com

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

 Bug #: 56349
   Summary: ICE in create_preheader at cfgloopmanip.c:1525
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Hello !
Using GCC 4.8.0 as of 20130215 :

$ cat preh.c
int a, b;
short c;

void f(void)
{
int *k = a = 0;

for(; a  2; a++);

if(!!(b |= a  3) - 1)
{
if(0)
for (;; a++)
{
for (; c; *k = 0);
lbl1:
;
}

for(; *k; k++)
{
c = b ? : a;

if (c)
lbl2:
b = 0;
}
goto lbl1;
}

for(;; b++)
{
if(b)
goto lbl2;

k = b;
}
}

$ xgcc -O2 -ftree-partial-pre -w preh.c
preh.c: In function ‘f’:
preh.c:38:1: internal compiler error: Segmentation fault
 }
 ^
0x8dba2f crash_signal
../../srcdir/gcc/toplev.c:332
0x5ffcdb create_preheader(loop*, int)
../../srcdir/gcc/cfgloopmanip.c:1525
0x600069 create_preheaders(int)
../../srcdir/gcc/cfgloopmanip.c:1577
0x7de31e apply_loop_flags
../../srcdir/gcc/loop-init.c:61
0x7de3df loop_optimizer_init(unsigned int)
../../srcdir/gcc/loop-init.c:108
0x7de4ba rtl_loop_init
../../srcdir/gcc/loop-init.c:329
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug tree-optimization/56350] New: ICE in vectorizable_reduction, at tree-vect-loop.c:4731

2013-02-15 Thread antoine.balestrat at gmail dot com

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

 Bug #: 56350
   Summary: ICE in vectorizable_reduction, at
tree-vect-loop.c:4731
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Using GCC 4.8.0 as of 20130215 :

$ cat vect.c
int a, b, c;

void f(void)
{
for(; c; c++)
for(b = 0; b  2; b++)
a /= 8;
}

$ xgcc -O1 -ftree-vectorize -w vect.c
vect.c: In function ‘f’:
vect.c:3:6: internal compiler error: in vectorizable_reduction, at
tree-vect-loop.c:4731
 void f(void)
  ^
0xa8e953 vectorizable_reduction(gimple_statement_d*, gimple_stmt_iterator*,
gimple_statement_d**, _slp_tree*)
../../srcdir/gcc/tree-vect-loop.c:4727
0xa81ff0 vect_analyze_stmt(gimple_statement_d*, bool*, _slp_tree*)
../../srcdir/gcc/tree-vect-stmts.c:5691
0xa80f75 vect_analyze_stmt(gimple_statement_d*, bool*, _slp_tree*)
../../srcdir/gcc/tree-vect-stmts.c:5613
0x4cffb9 vect_analyze_loop_operations
../../srcdir/gcc/tree-vect-loop.c:1443
0xa8c064 vect_analyze_loop_2
../../srcdir/gcc/tree-vect-loop.c:1720
0xa8c064 vect_analyze_loop(loop*)
../../srcdir/gcc/tree-vect-loop.c:1773
0xa9e06c vectorize_loops()
../../srcdir/gcc/tree-vectorizer.c:113
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug tree-optimization/56264] New: ICE in check_loop_closed_ssa_use, at tree-ssa-loop-manip.c:557

2013-02-09 Thread antoine.balestrat at gmail dot com

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

 Bug #: 56264
   Summary: ICE in check_loop_closed_ssa_use, at
tree-ssa-loop-manip.c:557
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Using GCC 4.8.0 as of 220130209 :

$ cat check.c
int a, b, c;

void f(void)
{
if(b)
{
for(a = 0; a  1; a++)
lbl:
c = c  b ? : 0;

c = 0;
goto lbl;
}

if(a)
goto lbl;
}

$ xgcc -w -O2 -funswitch-loops check.c
check.c: In function ‘f’:
check.c:3:6: internal compiler error: in check_loop_closed_ssa_use, at 
tree-ssa-loop-manip.c:557
 void f(void)
  ^
0x9d90f6 check_loop_closed_ssa_use
../../srcdir/gcc/tree-ssa-loop-manip.c:556
0x9dac42 verify_loop_closed_ssa(bool)
../../srcdir/gcc/tree-ssa-loop-manip.c:602
0x83eede execute_function_todo
../../srcdir/gcc/passes.c:1974
0x83f757 execute_todo
../../srcdir/gcc/passes.c:1999
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug tree-optimization/56195] New: Error: incorrect register `%rdi' used with `l' suffix (at -O2)

2013-02-03 Thread antoine.balestrat at gmail dot com


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



 Bug #: 56195

   Summary: Error: incorrect register `%rdi' used with `l' suffix

(at -O2)

Classification: Unclassified

   Product: gcc

   Version: 4.8.0

Status: UNCONFIRMED

  Severity: normal

  Priority: P3

 Component: tree-optimization

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

ReportedBy: antoine.balest...@gmail.com





Using GCC 4.8.0 as of 20130203 :



$ xgcc -v

Using built-in specs.

COLLECT_GCC=/home/merkil/gcc/dist/bin/gcc

COLLECT_LTO_WRAPPER=/home/merkil/gcc/dist/libexec/gcc/x86_64-unknown-linux-gnu/4.8.0/lto-wrapper

Target: x86_64-unknown-linux-gnu

Configured with: ../srcdir/configure CFLAGS='-O2 -pipe' CXXFLAGS='-O2 -pipe'

--enable-languages=c --prefix=/home/merkil/gcc/dist

Thread model: posix

gcc version 4.8.0 20130203 (experimental) (GCC) 



$ cat reg.c

int i, a, t, b, c, d, e, f, j, *h;



void fn(void)

{

if(b)

{

int *p, *q;

char g;



if(f++)

for(;; e++);

lbl:

for(b = 0; b  2; b++)

t /= d + 1 ? : i || a  c  (d = f) ? : 1 | (j = 2);



*p = g = *q ^ c != a ^ *p;



if(!e)

{

q = p;

goto lbl;

}

}



if(h++)

goto lbl;

}



$ xgcc -O2 reg.c

{standard input}: Assembler messages:

{standard input}:112: Error: incorrect register `%rdi' used with `l' suffix


[Bug rtl-optimization/56181] New: ICE in verify_loop_structure, at cfgloop.c:1581 with -ftracer

2013-02-02 Thread antoine.balestrat at gmail dot com

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

 Bug #: 56181
   Summary: ICE in verify_loop_structure, at cfgloop.c:1581 with
-ftracer
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: rtl-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Using GCC 4.8.0 as of 20130202 :

$ cat loop.c
int a, b;

void f(void)
{
if(a++)
{
for(a = 0; a  1;)
{
for(b = 0; b  1; b++)
{
while(a++  0);
lbl:
;
}

if(a)
goto lbl;
}

goto lbl;
}
}

$ xgcc -w -O2 -ftracer loop.c
loop.c: In function ‘f’:
loop.c:3:6: error: size of loop 3 should be 0, not 3
 void f(void)
  ^
loop.c:3:6: error: bb 8 does not belong to loop 3
loop.c:3:6: error: bb 10 does not belong to loop 3
loop.c:3:6: error: bb 9 does not belong to loop 3
loop.c:3:6: error: bb 8 has father loop 2, should be loop 3
loop.c:3:6: error: bb 10 has father loop 2, should be loop 3
loop.c:3:6: error: bb 9 has father loop 2, should be loop 3
loop.c:3:6: error: loop 3’s header does not belong directly to it
loop.c:3:6: internal compiler error: in verify_loop_structure, at
cfgloop.c:1581
0x5f8564 verify_loop_structure()
../../srcdir/gcc/cfgloop.c:1581
0x8defcd tracer
../../srcdir/gcc/tracer.c:385
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.

It looks like PR55270, and after bisection, it appears that it started with
http://gcc.gnu.org/viewcvs?view=revisionrevision=185913 too.


[Bug rtl-optimization/55270] ICE in get_loop_body, at cfgloop.c:823

2013-01-26 Thread antoine.balestrat at gmail dot com


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



--- Comment #2 from Antoine Balestrat antoine.balestrat at gmail dot com 
2013-01-26 14:10:57 UTC ---

Still reproducible as of 4.8.0 20130125.



Started with http://gcc.gnu.org/viewcvs?view=revisionrevision=185913


[Bug tree-optimization/56034] New: ICE: verify_gimple failed (invalid PHI argument) with -ftree-loop-distribution

2013-01-18 Thread antoine.balestrat at gmail dot com

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

 Bug #: 56034
   Summary: ICE: verify_gimple failed (invalid PHI argument) with
-ftree-loop-distribution
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Hi !
Using GCC 4.8.0 as of 20130118 :

$ cat incompat.c
int a, b, *p;

void f(void)
{
int *q;

while(b++)
{
int i;
p = i;
a = *q;
}

if(a)
for(;; b++);
}

$ xgcc -O2 -w -ftree-loop-distribution incompat.c
incompat.c: In function ‘f’:
incompat.c:3:6: error: invalid PHI argument
 void f(void)
  ^
.MEM_10
incompat.c:3:6: error: incompatible types in PHI argument 0
int

void

a.0_26 = PHI .MEM_10(5)

incompat.c:3:6: internal compiler error: verify_gimple failed
0x90380c verify_gimple_in_cfg(function*)
../../srcdir/gcc/tree-cfg.c:4727
0x83e917 execute_function_todo
../../srcdir/gcc/passes.c:1966
0x83f297 execute_todo
../../srcdir/gcc/passes.c:1999
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug tree-optimization/56035] New: ICE in verify_loop_structure, at cfgloop.c:1581 (loop n’s header does not belong directly to it !)

2013-01-18 Thread antoine.balestrat at gmail dot com

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

 Bug #: 56035
   Summary: ICE in verify_loop_structure, at cfgloop.c:1581 (loop
n’s header does not belong directly to it !)
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Hi !
Using GCC 4.8.0 as of 20130118 :

$ cat bb.c
short a, c, *p;

void f(void)
{
int b;

if(c)
lbl1:
for(a = 0; a  1; a++)
{
for(c = 0; c  1; c++)
{
goto lbl1;
while (*p++)
lbl2:
;
}
}

for(;; b++)
{
if(c)
goto lbl2;
lbl3:
for(c = 0; c  9; c++)
for(c = -17; c  2; c++)
if(*p)
goto lbl3;
}
}

$ xgcc -w -O1 -ftree-vectorize -fcse-follow-jumps -fstrict-overflow bb.c
bb.c: In function ‘f’:
bb.c:30:1: error: size of loop 4 should be 0, not 2
 }
 ^
bb.c:30:1: error: bb 6 do not belong to loop 4
bb.c:30:1: error: bb 5 do not belong to loop 4
bb.c:30:1: error: bb 6 has father loop 1, should be loop 4
bb.c:30:1: error: bb 5 has father loop 1, should be loop 4
bb.c:30:1: error: loop 4’s header does not belong directly to it
bb.c:30:1: internal compiler error: in verify_loop_structure, at cfgloop.c:1581
0x5f8788 verify_loop_structure()
../../srcdir/gcc/cfgloop.c:1581
0xcb7b2e cleanup_cfg(int)
../../srcdir/gcc/cfgcleanup.c:3026
0xcdf29e rest_of_handle_cse
../../srcdir/gcc/cse.c:7443
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug tree-optimization/55964] New: Segmentation fault with -O -ftree-loop-distribution -funswitch-loops

2013-01-13 Thread antoine.balestrat at gmail dot com

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

 Bug #: 55964
   Summary: Segmentation fault with -O -ftree-loop-distribution
-funswitch-loops
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


GCC 4.7.2 and 4.8.0 as of 20130112 fail to compile the following testcase with
the flags -O -ftree-loop-distribution -funswitch-loops.

$ cat segfault.c
int a, b;

void f(void)
{
lbl1:
for(b = 0; b  1; b++)
{
int u = 1;

if((b %= 0) * (b ? 0 : a) - 1  (u /= 0))
{
int *q = u, **k = q;
goto lbl1;
lbl2:
lbl3:
a = **k;
goto lbl2;
}
}
goto lbl3;
}

$ xgcc -w -O -ftree-loop-distribution -funswitch-loops segfault.c
segfault.c: In function ‘f’:
segfault.c:3:6: internal compiler error: Segmentation fault
 void f(void)
  ^
0x8da6df crash_signal
../../srcdir/gcc/toplev.c:332
0xa8f61b rename_use_op
../../srcdir/gcc/tree-vect-loop-manip.c:53
0xa90777 rename_variables_in_bb(basic_block_def*)
../../srcdir/gcc/tree-vect-loop-manip.c:93
0xa9082d rename_variables_in_loop(loop*)
../../srcdir/gcc/tree-vect-loop-manip.c:109
0x9447e3 copy_loop_before
../../srcdir/gcc/tree-loop-distribution.c:220
0x9447e3 generate_loops_for_partition
../../srcdir/gcc/tree-loop-distribution.c:254
0x9447e3 generate_code_for_partition
../../srcdir/gcc/tree-loop-distribution.c:539
0x947891 ldist_gen
../../srcdir/gcc/tree-loop-distribution.c:1405
0x947891 distribute_loop
../../srcdir/gcc/tree-loop-distribution.c:1476
0x947891 tree_loop_distribution
../../srcdir/gcc/tree-loop-distribution.c:1548
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug tree-optimization/55955] New: ICE in optab_for_tree_code, at optabs.c:402

2013-01-12 Thread antoine.balestrat at gmail dot com

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

 Bug #: 55955
   Summary: ICE in optab_for_tree_code, at optabs.c:402
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Hi ! Using GCC 4.8.0 as of 20130112 :

$ cat optab.c
int a, b;

void f(void)
{
for(; a; a++)
{
for(b = 0; b  2; b++)
*((unsigned short*)(0x14524875)) %= 46;
}
}

$ xgcc -O2 -ftree-vectorize -w optab.c
optab.c: In function ‘f’:
optab.c:3:6: internal compiler error: in optab_for_tree_code, at optabs.c:402
 void f(void)
  ^
0x827c81 optab_for_tree_code(tree_code, tree_node const*, optab_subtype)
../../srcdir/gcc/optabs.c:402
0xa8ba69 vectorizable_reduction(gimple_statement_d*, gimple_stmt_iterator*,
gimple_statement_d**, _slp_tree*)
../../srcdir/gcc/tree-vect-loop.c:4780
0xa806f5 vect_analyze_stmt(gimple_statement_d*, bool*, _slp_tree*)
../../srcdir/gcc/tree-vect-stmts.c:5704
0xa7f685 vect_analyze_stmt(gimple_statement_d*, bool*, _slp_tree*)
../../srcdir/gcc/tree-vect-stmts.c:5626
0x4cde84 vect_analyze_loop_operations
../../srcdir/gcc/tree-vect-loop.c:1443
0xa8a8ed vect_analyze_loop_2
../../srcdir/gcc/tree-vect-loop.c:1720
0xa8a8ed vect_analyze_loop(loop*)
../../srcdir/gcc/tree-vect-loop.c:1773
0xa9e60c vectorize_loops()
../../srcdir/gcc/tree-vectorizer.c:113
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug tree-optimization/55862] New: ICE in compute_antic, at tree-ssa-pre.c:2495

2013-01-03 Thread antoine.balestrat at gmail dot com

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

 Bug #: 55862
   Summary: ICE in compute_antic, at tree-ssa-pre.c:2495
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Hi ! The following testcase makes GCC 4.8.0 as of 20130103 crash at -O2.
It may be related to PR55348 (which was probably a dup anyway).

$ cat antic.c
int g, a, *b;

void f(void)
{
int *p;

if(g)
{
int **k = p;

if(0)
{
while(g++)
for(*b = 0; *b; b++)
label1:
;
}

for(; g; p++)
for(a = 0; a  1; a++)
{
int *c = p;
label2:
if(a  1)
*c = 0;
}

goto label1;
}

goto label2;
}

$ xgcc -O2 -w antic.c
antic.c: In function ‘f’:
antic.c:3:6: internal compiler error: in compute_antic, at tree-ssa-pre.c:2495
 void f(void)
  ^
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug tree-optimization/55838] New: ICE in extract_insn (unrecognizable insn) with -O -funroll-loops

2013-01-01 Thread antoine.balestrat at gmail dot com

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

 Bug #: 55838
   Summary: ICE in extract_insn (unrecognizable insn) with -O
-funroll-loops
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Hi ! This very simple testcase makes GCC 4.8.0 as of 20121231 (and 4.7.2 as
well) crash with -O -funroll-loops.
I hope this is not a dup.


$ cat insn.c
int a;
unsigned char c;

void f(void)
{
while(c++  2)
c = a += 129;
}

$ xgcc -O -funroll-loops -w insn.c
insn.c: In function ‘f’:
insn.c:8:1: error: unrecognizable insn:
 }
 ^
(insn 93 92 94 3 (set (reg:QI 127)
(const_int 129 [0x81])) -1
 (nil))
insn.c:8:1: internal compiler error: in extract_insn, at recog.c:2152
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.


I wish you a happy new year !


[Bug tree-optimization/48443] ICE: verify_flow_info failed: control flow in the middle of basic block with -fprefetch-loop-arrays --param l2-cache-size=0 and setjmp()

2012-12-31 Thread antoine.balestrat at gmail dot com

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

Antoine Balestrat antoine.balestrat at gmail dot com changed:

   What|Removed |Added

 CC||antoine.balestrat at gmail
   ||dot com

--- Comment #1 from Antoine Balestrat antoine.balestrat at gmail dot com 
2012-12-31 12:42:21 UTC ---
I was not able to reproduce the bug with this testcase (using GCC 4.8.0 as of
20121231), but this one looks to trigger the same ICE on current trunk.

$ cat flow.c
int g;

void f(void)
{
short a, b, i;

if(a)
{
label:
for(i = 0; i  8; i++)
b ^= a++;

if(!b)
g = 0;
}
}

$ xgcc -O -fstrict-overflow -ftree-vectorize flow.c
flow.c: In function ‘f’:
flow.c:3:6: error: label 
 void f(void)
  ^
label in the middle of basic block 4flow.c:3:6: internal compiler error:
verify_flow_info failed
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug tree-optimization/55831] New: ICE: verify_flow_info failed

2012-12-31 Thread antoine.balestrat at gmail dot com

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

 Bug #: 55831
   Summary: ICE: verify_flow_info failed
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Hello ! The following testcase makes GCC as of 20121231 ICE with -O
-fstrict-overflow -ftree-vectorize.

$ cat flow.c
int g;

void f(void)
{
short a, b, i;

if(a)
{
label:
for(i = 0; i  8; i++)
b ^= a++;

if(!b)
g = 0;
}
}

$ xgcc -O -fstrict-overflow -ftree-vectorize flow.c
flow.c: In function ‘f’:
flow.c:3:6: error: label 
 void f(void)
  ^
label in the middle of basic block 4flow.c:3:6: internal compiler error:
verify_flow_info failed
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug tree-optimization/48443] ICE: verify_flow_info failed: control flow in the middle of basic block with -fprefetch-loop-arrays --param l2-cache-size=0 and setjmp()

2012-12-31 Thread antoine.balestrat at gmail dot com


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



--- Comment #3 from Antoine Balestrat antoine.balestrat at gmail dot com 
2012-12-31 13:51:19 UTC ---

(In reply to comment #2)

 (In reply to comment #1)

  I was not able to reproduce the bug with this testcase (using GCC 4.8.0 as 
  of

  20121231), but this one looks to trigger the same ICE on current trunk.

  

 

 I would recommend you opening a new bug report for that ICE.



Done. Filed as PR55831.


[Bug tree-optimization/55832] New: ICE in fold_convert_loc, at fold-const.c:1967

2012-12-31 Thread antoine.balestrat at gmail dot com

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

 Bug #: 55832
   Summary: ICE in fold_convert_loc, at fold-const.c:1967
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Hello ! Even though I've seen quite a lot of possible duplicates, I was unable
to determine whether any of them were due to the same problem. So let's file a
new bug report and sorry if this is a dup :-)
I'm using GCC 4.8.0 as of 20121231.

$ cat fold.c
int g, b;

void f(void)
{
int a = 0;
unsigned char c;
unsigned short d = 0, *p = a;

if(g)
a--;

if(b  a  (d = 1))
for(;; a++);

for(; a  15; a++)
b |= d = c;

*p ? : (g = 0);
}

$ xgcc -w -O3 fold.c
fold.c: In function ‘f’:
fold.c:3:6: internal compiler error: in fold_convert_loc, at fold-const.c:1967
 void f(void)
  ^
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug tree-optimization/55833] New: ICE in verify_loop_structure, at cfgloop.c:1582 (BB should be marked irreducible !)

2012-12-31 Thread antoine.balestrat at gmail dot com

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

 Bug #: 55833
   Summary: ICE in verify_loop_structure, at cfgloop.c:1582 (BB
should be marked irreducible !)
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Using GCC 4.8.0 as of 20121231 :

$ cat bb.c
int a, b, c;

void foo()
{
unsigned d, l, *p, k = 1;

if(bar())
{
label:
if((a = a = 0))
{
if(c)
d = b;

if (b || d ? l : k ? : 0)
a = d = 0;

goto label;
}
}

while(*p++)
goto label;
}

$ xgcc -w -O3 bb.c
bb.c: In function ‘foo’:
bb.c:24:1: error: edge from 27 to 29 should be marked irreducible
 }
 ^
bb.c:24:1: error: basic block 29 should be marked irreducible
bb.c:24:1: error: edge from 29 to 7 should be marked irreducible
bb.c:24:1: internal compiler error: in verify_loop_structure, at cfgloop.c:1582
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug target/55277] [4.8 regression] ICE in assign_by_spills, at lra-assigns.c:1217

2012-11-24 Thread antoine.balestrat at gmail dot com

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

Antoine Balestrat antoine.balestrat at gmail dot com changed:

   What|Removed |Added

 CC||antoine.balestrat at gmail
   ||dot com

--- Comment #1 from Antoine Balestrat antoine.balestrat at gmail dot com 
2012-11-24 22:20:46 UTC ---
I've got a simpler testcase that seems to trigger the same ICE, if this is of
any help.

$ cat lra.c
int a, c;

void f(long long p)
{
long long b;

if(b)
b = p ? : 0;

for (; p; p++)
p *= a  (c = p *= !a  2);

a = b += !(b  3740917449);
}

$ xgcc -O1 -m32 -w lra.c
lra.c: In function ‘f’:
lra.c:14:1: internal compiler error: in assign_by_spills, at lra-assigns.c:1217
 }
 ^
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug rtl-optimization/55270] New: ICE in get_loop_body, at cfgloop.c:823

2012-11-11 Thread antoine.balestrat at gmail dot com

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

 Bug #: 55270
   Summary: ICE in get_loop_body, at cfgloop.c:823
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: rtl-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Hello ! The following testcase makes GCC 4.8.0 20121110 crash at -O3 :

$ cat loopbody.c
unsigned a, b, c;

void f(void)
{
for(; a; a++)
{
// In 32 bits mode, you'll have to change p1 to long long int to
trigger the bug
long *p1 = b;

if(*p1)
return;

if(b  (*p1 = b) || c  ++*p1)
{
unsigned *p2 = b;

for(*p2 = 0; *p2  1;)
for(; b; b++);
}
}
}


$ xgcc -w -O3 loopbody.c
loopbody.c: In function ‘f’:
loopbody.c:3:6: internal compiler error: in get_loop_body, at cfgloop.c:823
 void f(void)
  ^
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug translation/55191] New: ICE in compute_antic at tree-ssa-pre.c:2511

2012-11-03 Thread antoine.balestrat at gmail dot com

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

 Bug #: 55191
   Summary: ICE in compute_antic at tree-ssa-pre.c:2511
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: translation
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Hello !
The following testcase makes GCC 4.8.0 as of 20121103 ICE at -O2 and higher.

$ cat antic.c
int a, b;

void f(void)
{
b = a || b;

for(a = 0; a  2; a++);
while(1);
}

$ xgcc -O2 -w antic.c
antic.c: In function ‘f’:
antic.c:3:6: internal compiler error: in compute_antic, at tree-ssa-pre.c:2511
 void f(void)
  ^
Please submit a full bug report,
with preprocessed source if appropriate.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug rtl-optimization/55122] New: ICE: maximum number of LRA constraint passes is achieved (15)

2012-10-29 Thread antoine.balestrat at gmail dot com

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

 Bug #: 55122
   Summary: ICE: maximum number of LRA constraint passes is
achieved (15)
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: rtl-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Hello !
I'm using GCC 4.8.0 as of 20121029 (r192944) at -O3 and in 32 bit mode :

$ cat lra.c
int i, a;
unsigned long long b;

void f(void)
{
for(i = 0; i  15; i++)
b *= b;

b *= a ? 0 : b;
}

$ xgcc -w -O3 -m32 lra.c
lra.c: In function ‘f’:
lra.c:10:1: internal compiler error: Maximum number of LRA constraint passes is
achieved (15)

 }
 ^
0x8e59de lra_constraints(bool)
../../srcdir/gcc/lra-constraints.c:3264
0x8d6913 lra(_IO_FILE*)
../../srcdir/gcc/lra.c:2281
0x88c38a do_reload
../../srcdir/gcc/ira.c:4624
0x88c598 rest_of_handle_reload
../../srcdir/gcc/ira.c:4736
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug tree-optimization/55124] New: ICE in find_or_generate_expression, at tree-ssa-pre.c:2803

2012-10-29 Thread antoine.balestrat at gmail dot com

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

 Bug #: 55124
   Summary: ICE in find_or_generate_expression, at
tree-ssa-pre.c:2803
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Using GCC 4.8.0 20121029 :

$ cat daexpr.c
int a, b;
long c;

void f2(void)
{
unsigned long k = 1;

foo(b ? k = 0 : 0);

b = ((c = b) ? (k ? : (c = 0)) : a) * c;
}

void f1(void)
{
f2();

a = b | c;
}

$ xgcc -O3 -w daexpr.c
daexpr.c: In function ‘f1’:
daexpr.c:13:6: internal compiler error: in find_or_generate_expression, at
tree-ssa-pre.c:2803
 void f1(void)
  ^
0xb86241 find_or_generate_expression
../../srcdir/gcc/tree-ssa-pre.c:2803
0xb863cb create_expression_by_pieces
../../srcdir/gcc/tree-ssa-pre.c:2862
0xb86201 find_or_generate_expression
../../srcdir/gcc/tree-ssa-pre.c:2800
0xb863cb create_expression_by_pieces
../../srcdir/gcc/tree-ssa-pre.c:2862
0xb86f2b insert_into_preds_of_block
../../srcdir/gcc/tree-ssa-pre.c:3097
0xb87de3 do_regular_insertion
../../srcdir/gcc/tree-ssa-pre.c:3387
0xb8859b insert_aux
../../srcdir/gcc/tree-ssa-pre.c:3601
0xb885fe insert_aux
../../srcdir/gcc/tree-ssa-pre.c:3611
0xb885fe insert_aux
../../srcdir/gcc/tree-ssa-pre.c:3611
0xb886d8 insert
../../srcdir/gcc/tree-ssa-pre.c:3634
0xb8bb49 do_pre
../../srcdir/gcc/tree-ssa-pre.c:4710
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug tree-optimization/55107] New: GCC in an infinite loop at -O2

2012-10-28 Thread antoine.balestrat at gmail dot com


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



 Bug #: 55107

   Summary: GCC in an infinite loop at -O2

Classification: Unclassified

   Product: gcc

   Version: 4.8.0

Status: UNCONFIRMED

  Severity: normal

  Priority: P3

 Component: tree-optimization

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

ReportedBy: antoine.balest...@gmail.com





Hello !

GCC 4.8.0 as of 20121021 and GCC 4.7.2 won't compile the following testcase at

-O2 and higher because they look stuck in an infinite loop.



$ cat infinite.c

#include stdint.h



uint16_t a, b;



uint16_t f(void)

{

int c, **p;

short d = 2, e = 4;



for (;; b++)

{

int *j, k = 0;



for (; *j; j++)

{

for(; c; c++)

for(; k  1; k++)

{

short *f = d;



if(b)

return *f;

}

}



if(!c)

d *= e;



((a = d) ? b = 0 : (**p ? : 1) != (d != 1 ? : (a = 0))) != (k ? a : 0)

 (a *= c = k)  (**p = 0);

}

}



$ ulimite -t 60



$ xgcc -O2 -w infinite.c

cc: internal compiler error: CPU time limit exceeded (program cc1)

linux-vdso.so.1: No such file or directory

0x40b937 execute

../../srcdir/gcc/gcc.c:2739

0x40c7be do_spec_1

../../srcdir/gcc/gcc.c:4534

0x40f0d5 process_brace_body

../../srcdir/gcc/gcc.c:5782

0x40f0d5 handle_braces

../../srcdir/gcc/gcc.c:5696

0x40d397 do_spec_1

../../srcdir/gcc/gcc.c:5179

0x40f0d5 process_brace_body

../../srcdir/gcc/gcc.c:5782

0x40f0d5 handle_braces

../../srcdir/gcc/gcc.c:5696

0x40d397 do_spec_1

../../srcdir/gcc/gcc.c:5179

0x40cff7 do_spec_1

../../srcdir/gcc/gcc.c:5284

0x40f0d5 process_brace_body

../../srcdir/gcc/gcc.c:5782

0x40f0d5 handle_braces

../../srcdir/gcc/gcc.c:5696

0x40d397 do_spec_1

../../srcdir/gcc/gcc.c:5179

0x40f0d5 process_brace_body

../../srcdir/gcc/gcc.c:5782

0x40f0d5 handle_braces

../../srcdir/gcc/gcc.c:5696

0x40d397 do_spec_1

../../srcdir/gcc/gcc.c:5179

0x40f0d5 process_brace_body

../../srcdir/gcc/gcc.c:5782

0x40f0d5 handle_braces

../../srcdir/gcc/gcc.c:5696

0x40d397 do_spec_1

../../srcdir/gcc/gcc.c:5179

0x40f0d5 process_brace_body

../../srcdir/gcc/gcc.c:5782

0x40f0d5 handle_braces

../../srcdir/gcc/gcc.c:5696

Please submit a full bug report,

with preprocessed source if appropriate.

Please include the complete backtrace with any bug report.

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



Note that the stack trace looks the same as in PR55011.


[Bug tree-optimization/55110] New: Internal compiler error in vectorizable_reduction, at tree-vect-loop.c:4633

2012-10-28 Thread antoine.balestrat at gmail dot com

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

 Bug #: 55110
   Summary: Internal compiler error in vectorizable_reduction, at
tree-vect-loop.c:4633
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


Hello !
The following testcase makes GCC 4.8.0 as of 20121021 crash with -O1
-ftree-vectorize.

$ cat vector.c
int a, b, c;

void f(void)
{
for(; b; b++)
for(c = 0; c  2; c++)
a /= 5;
}

$ xgcc -O1 -ftree-vectorize -w vector.c
vector.c: In function ‘f’:
vector.c:3:6: internal compiler error: in vectorizable_reduction, at
tree-vect-loop.c:4633
 void f(void)
  ^
linux-vdso.so.1: No such file or directory
0xa67b9c vectorizable_reduction(gimple_statement_d*, gimple_stmt_iterator*,
gimple_statement_d**, _slp_tree*)
../../srcdir/gcc/tree-vect-loop.c:4633
0xa58fa0 vect_analyze_stmt(gimple_statement_d*, bool*, _slp_tree*)
../../srcdir/gcc/tree-vect-stmts.c:5710
0xa58aca vect_analyze_stmt(gimple_statement_d*, bool*, _slp_tree*)
../../srcdir/gcc/tree-vect-stmts.c:5632
0xa6356d vect_analyze_loop_operations
../../srcdir/gcc/tree-vect-loop.c:1447
0xa6356d vect_analyze_loop_2
../../srcdir/gcc/tree-vect-loop.c:1725
0xa6356d vect_analyze_loop(loop*)
../../srcdir/gcc/tree-vect-loop.c:1778
0xa75f1c vectorize_loops()
../../srcdir/gcc/tree-vectorizer.c:114
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug tree-optimization/55111] New: ICE: tree check: expected ssa_name, have integer_cst in live_on_edge, at tree-vrp.c:89

2012-10-28 Thread antoine.balestrat at gmail dot com

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

 Bug #: 55111
   Summary: ICE: tree check: expected ssa_name, have integer_cst
in live_on_edge, at tree-vrp.c:89
Classification: Unclassified
   Product: gcc
   Version: 4.8.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: antoine.balest...@gmail.com


With GCC 4.8.0 as of 20121021, at -O2 and higher :

$ cat ssa.c
int a, b, c;
long d;
unsigned long *e;

int f(void)
{
for(;; a++)
{
if(c)
{
for(b = d = 0; b  1; b++)
e = d;

--*e;

if(d  0)
a = 0;

return d;
}
}
}

$ xgcc -O2 -w ssa.c
ssa.c: In function ‘f’:
ssa.c:5:5: internal compiler error: tree check: expected ssa_name, have
integer_cst in live_on_edge, at tree-vrp.c:89
 int f(void)
 ^
linux-vdso.so.1: No such file or directory
0xa90b9a tree_check_failed(tree_node const*, char const*, int, char const*,
...)
../../srcdir/gcc/tree.c:8896
0xa7650d tree_check
../../srcdir/gcc/tree.h:3676
0xa7650d live_on_edge
../../srcdir/gcc/tree-vrp.c:89
0xa7ce9a register_edge_assert_for_2
../../srcdir/gcc/tree-vrp.c:4736
0xa7e4e0 register_edge_assert_for
../../srcdir/gcc/tree-vrp.c:5216
0xa81734 find_conditional_asserts
../../srcdir/gcc/tree-vrp.c:5304
0xa81734 find_assert_locations_1
../../srcdir/gcc/tree-vrp.c:5518
0xa88136 find_assert_locations
../../srcdir/gcc/tree-vrp.c:5658
0xa88136 insert_range_assertions
../../srcdir/gcc/tree-vrp.c:5846
0xa88136 execute_vrp
../../srcdir/gcc/tree-vrp.c:9156
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See http://gcc.gnu.org/bugs.html for instructions.


[Bug middle-end/55011] New: GCC in an infinite loop at -O2

2012-10-21 Thread antoine.balestrat at gmail dot com


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



 Bug #: 55011

   Summary: GCC in an infinite loop at -O2

Classification: Unclassified

   Product: gcc

   Version: 4.8.0

Status: UNCONFIRMED

  Severity: normal

  Priority: P3

 Component: middle-end

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

ReportedBy: antoine.balest...@gmail.com





GCC 4.8.0 as of 20121021 seems to be stuck in an infinite loop while compiling

the following testcase at -O2 (works at -O1 and -O3) :



$ cat infloop.c

char a;



void f(void)

{

char b = 2;



for(;;)

{

unsigned short s = 1, *p = s, *i;



for(*i = 0; *i  4; ++*i)

if(a | (*p /= (b += !!a)) = 63739)

return;



if(!s)

a = 0;



for(;;);

}

}



$ ulimit -t 120



$ xgcc -O2 infloop.c



... 2 minutes later :



gcc: internal compiler error: CPU time limit exceeded (program cc1)

linux-vdso.so.1: No such file or directory

0x40b937 execute

../../srcdir/gcc/gcc.c:2739

0x40c7be do_spec_1

../../srcdir/gcc/gcc.c:4534

0x40f0d5 process_brace_body

../../srcdir/gcc/gcc.c:5782

0x40f0d5 handle_braces

../../srcdir/gcc/gcc.c:5696

0x40d397 do_spec_1

../../srcdir/gcc/gcc.c:5179

0x40f0d5 process_brace_body

../../srcdir/gcc/gcc.c:5782

0x40f0d5 handle_braces

../../srcdir/gcc/gcc.c:5696

0x40d397 do_spec_1

../../srcdir/gcc/gcc.c:5179

0x40cff7 do_spec_1

../../srcdir/gcc/gcc.c:5284

0x40f0d5 process_brace_body

../../srcdir/gcc/gcc.c:5782

0x40f0d5 handle_braces

../../srcdir/gcc/gcc.c:5696

0x40d397 do_spec_1

../../srcdir/gcc/gcc.c:5179

0x40f0d5 process_brace_body

../../srcdir/gcc/gcc.c:5782

0x40f0d5 handle_braces

../../srcdir/gcc/gcc.c:5696

0x40d397 do_spec_1

../../srcdir/gcc/gcc.c:5179

0x40f0d5 process_brace_body

../../srcdir/gcc/gcc.c:5782

0x40f0d5 handle_braces

../../srcdir/gcc/gcc.c:5696

0x40d397 do_spec_1

../../srcdir/gcc/gcc.c:5179

0x40f0d5 process_brace_body

../../srcdir/gcc/gcc.c:5782

0x40f0d5 handle_braces

../../srcdir/gcc/gcc.c:5696

Please submit a full bug report,

with preprocessed source if appropriate.

Please include the complete backtrace with any bug report.

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



Please let me know if you need more information !