[Bug tree-optimization/64406] New: [5 Regression] ICE: SIGSEGV in estimate_numbers_of_iterations_loop (tree-ssa-loop-niter.c:3453) with custom flags

[Bug tree-optimization/64406] New: [5 Regression] ICE: SIGSEGV in estimate_numbers_of_iterations_loop (tree-ssa-loop-niter.c:3453) with custom flags

[zsojka at seznam dot cz]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64406

            Bug ID: 64406
           Summary: [5 Regression] ICE: SIGSEGV in
                    estimate_numbers_of_iterations_loop
                    (tree-ssa-loop-niter.c:3453) with custom flags
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz

Created attachment 34332
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34332&action=edit
reduced testcase

Compiler output:
$ gcc -O -ftree-loop-distribute-patterns -fno-tree-loop-ivcanon
-fno-tree-loop-vectorize -ftree-vectorize testcase.c
==19414== Invalid read of size 4
==19414==    at 0xDB5244: estimate_numbers_of_iterations_loop
(tree-ssa-loop-niter.c:3453)
==19414==    by 0xDB5244: scev_probably_wraps_p(tree_node*, tree_node*,
gimple_statement_base*, loop*, bool) (tree-ssa-loop-niter.c:3869)
==19414==    by 0x17262FF: convert_affine_scev(loop*, tree_node*, tree_node**,
tree_node**, gimple_statement_base*, bool) (tree-chrec.c:1244)
==19414==    by 0x17269EA: chrec_convert_1(tree_node*, tree_node*,
gimple_statement_base*, bool) (tree-chrec.c:1357)
==19414==    by 0xD2FAB1: interpret_rhs_expr(loop*, gimple_statement_base*,
tree_node*, tree_node*, tree_code, tree_node*) (tree-scalar-evolution.c:1794)
==19414==    by 0xD2BB86: interpret_gimple_assign
(tree-scalar-evolution.c:1916)
==19414==    by 0xD2BB86: analyze_scalar_evolution_1(loop*, tree_node*,
tree_node*) (tree-scalar-evolution.c:1998)
==19414==    by 0xD2C477: analyze_scalar_evolution(loop*, tree_node*)
(tree-scalar-evolution.c:2053)
==19414==    by 0xD3065A: analyze_scalar_evolution_in_loop(loop*, loop*,
tree_node*, bool*) (tree-scalar-evolution.c:2149)
==19414==    by 0xD307BF: simple_iv(loop*, loop*, tree_node*, affine_iv*, bool)
(tree-scalar-evolution.c:3244)
==19414==    by 0xDA0AB8: find_givs_in_stmt_scev (tree-ssa-loop-ivopts.c:1175)
==19414==    by 0xDA0AB8: find_givs_in_stmt (tree-ssa-loop-ivopts.c:1199)
==19414==    by 0xDA0AB8: find_givs_in_bb (tree-ssa-loop-ivopts.c:1213)
==19414==    by 0xDA0AB8: find_givs (tree-ssa-loop-ivopts.c:1226)
==19414==    by 0xDA0AB8: find_induction_variables(ivopts_data*)
(tree-ssa-loop-ivopts.c:1242)
==19414==    by 0xDA4139: tree_ssa_iv_optimize_loop(ivopts_data*, loop*)
(tree-ssa-loop-ivopts.c:6953)
==19414==    by 0xDA62AF: tree_ssa_iv_optimize() (tree-ssa-loop-ivopts.c:7012)
==19414==    by 0xDBA750: (anonymous
namespace)::pass_iv_optimize::execute(function*) (tree-ssa-loop.c:471)
==19414==    by 0xB5E82E: execute_one_pass(opt_pass*) (passes.c:2311)
==19414==    by 0xB5ECA5: execute_pass_list_1(opt_pass*) [clone .constprop.73]
(passes.c:2363)
==19414==    by 0xB5ECB7: execute_pass_list_1(opt_pass*) [clone .constprop.73]
(passes.c:2364)
==19414==    by 0xB5ECB7: execute_pass_list_1(opt_pass*) [clone .constprop.73]
(passes.c:2364)
==19414==    by 0xB5ECF8: execute_pass_list(function*, opt_pass*)
(passes.c:2374)
==19414==    by 0x83381B: cgraph_node::expand() (cgraphunit.c:1798)
==19414==    by 0x834FD8: expand_all_functions (cgraphunit.c:1934)
==19414==    by 0x834FD8: symbol_table::compile() (cgraphunit.c:2284)
==19414==    by 0x836A47: symbol_table::finalize_compilation_unit()
(cgraphunit.c:2361)
==19414==    by 0x6D7AEA: c_write_global_declarations() (c-decl.c:10778)
==19414==    by 0xC581F3: compile_file() (toplev.c:584)
==19414==    by 0x6BA345: do_compile (toplev.c:2018)
==19414==    by 0x6BA345: toplev::main(int, char**) (toplev.c:2115)
==19414==    by 0x6BB148: main (main.c:38)
==19414==  Address 0xa4 is not stack'd, malloc'd or (recently) free'd
==19414== 
testcase.c: In function 'foo':
testcase.c:6:1: internal compiler error: Segmentation fault
 foo ()
 ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r219067 - ICE
4_9 r219040 - OK

[Bug tree-optimization/64406] [5 Regression] ICE: SIGSEGV in estimate_numbers_of_iterations_loop (tree-ssa-loop-niter.c:3453) with custom flags

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64406

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |5.0

[Bug tree-optimization/64406] [5 Regression] ICE: SIGSEGV in estimate_numbers_of_iterations_loop (tree-ssa-loop-niter.c:3453) with custom flags

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64406

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
I will have a look.

[Bug tree-optimization/64406] [5 Regression] ICE: SIGSEGV in estimate_numbers_of_iterations_loop (tree-ssa-loop-niter.c:3453) with custom flags

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64406

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Tue Jan 13 13:41:46 2015
New Revision: 219528

URL: https://gcc.gnu.org/viewcvs?rev=219528&root=gcc&view=rev
Log:
2015-01-13  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/64406
    * tree-loop-distibution.c (pass_loop_distribution::execute):
    Reset the SCEV hashtable if we distributed anything.

    * gcc.dg/pr64406.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/pr64406.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-loop-distribution.c

[Bug tree-optimization/64406] [5 Regression] ICE: SIGSEGV in estimate_numbers_of_iterations_loop (tree-ssa-loop-niter.c:3453) with custom flags

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64406

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.