Bug 32096 - [4.3 Regression] ICE (segfault) in vrp_evaluate_conditional_warnv
Summary: [4.3 Regression] ICE (segfault) in vrp_evaluate_conditional_warnv
Alias: None
Product: gcc
Classification: Unclassified
Component: middle-end (show other bugs)
Version: 4.3.0
: P3 normal
Target Milestone: 4.2.1
Assignee: Not yet assigned to anyone
Keywords: ice-on-valid-code
: 32521 (view as bug list)
Depends on:
Blocks: 29975
  Show dependency treegraph
Reported: 2007-05-26 13:10 UTC by Tobias Burnus
Modified: 2007-06-27 18:54 UTC (History)
6 users (show)

See Also:
Known to work:
Known to fail:
Last reconfirmed:

test file (2540 lines) (17.53 KB, text/plain)
2007-05-26 13:12 UTC, Tobias Burnus

Note You need to log in before you can comment on or make changes to this bug.
Description Tobias Burnus 2007-05-26 13:10:05 UTC
Compiling semi_empirical_int_ana.f90 of CP2k (cf. PR 29975) gives an ICE:
(with 4.3.0 20070526 on x86_64-unknown-linux-gnu)

gfortran -c -O3 -ftree-vectorize -ffast-math -march=opteron semi_empirical_int_ana.f90
semi_empirical_int_ana.f90: In function 'dterep_ana':
semi_empirical_int_ana.f90:2321: internal compiler error: Segmentation fault

Valgrind shows:

==3451== Conditional jump or move depends on uninitialised value(s)
==3451==    at 0x7A34F8: vrp_evaluate_conditional_warnv (tree-vrp.c:4814)
==3451==    by 0x7A3B99: vrp_evaluate_conditional (tree-vrp.c:4946)
==3451==    by 0x76515B: substitute_and_fold (tree-ssa-propagate.c:1131)
==3451==    by 0x79EAD8: vrp_finalize (tree-vrp.c:5925)
==3451==    by 0x7A03BA: execute_vrp (tree-vrp.c:6011)
==3451==    by 0x609B40: execute_one_pass (passes.c:1067)
==3451==    by 0x609CFB: execute_pass_list (passes.c:1119)
==3451==    by 0x609D0D: execute_pass_list (passes.c:1120)
==3451==    by 0x6D3B27: tree_rest_of_compilation (tree-optimize.c:406)
==3451==    by 0x8129CF: cgraph_expand_function (cgraphunit.c:1086)
==3451==    by 0x814E71: cgraph_optimize (cgraphunit.c:1155)
==3451==    by 0x466F9C: gfc_be_parse_file (f95-lang.c:307)
Comment 1 Tobias Burnus 2007-05-26 13:12:59 UTC
Created attachment 13614 [details]
test file (2540 lines)

Test case, I failed to reduce the size.
Comment 2 Tobias Burnus 2007-05-26 13:33:02 UTC
It worked with 2007-05-14-r124708 and fails with 2007-05-15-r124736.
Comment 3 Tobias Burnus 2007-05-26 14:15:50 UTC
The patch causing (or exposing) the ICE is:

r124727 | rakdver | 2007-05-14 23:58:42 +0200 (Mon, 14 May 2007) | 46 lines

Zdenek, could you have a look?
Comment 4 Richard Biener 2007-05-27 10:36:07 UTC
I'd think this looks like sth for ian.
Comment 5 Ian Lance Taylor 2007-05-30 19:41:02 UTC
I think this is fixed by this patch:


I am currently testing that patch.
Comment 6 Ian Lance Taylor 2007-05-30 23:06:27 UTC
Patch committed to mainline as revision 12503.  The test case works for me.
Comment 7 Andrew Pinski 2007-06-27 18:54:07 UTC
*** Bug 32521 has been marked as a duplicate of this bug. ***