Bug 49179 - [4.7 Regression] ICE: in evaluate_conditions_for_known_args at ipa-inline-analysis.c:558 with -O -findirect-inlining
Summary: [4.7 Regression] ICE: in evaluate_conditions_for_known_args at ipa-inline-ana...
Status: RESOLVED FIXED
Alias: None
Product: gcc
Classification: Unclassified
Component: middle-end (show other bugs)
Version: 4.7.0
: P3 normal
Target Milestone: 4.7.0
Assignee: Not yet assigned to anyone
URL:
Keywords: ice-on-valid-code
Depends on:
Blocks:
 
Reported: 2011-05-26 18:44 UTC by Zdenek Sojka
Modified: 2011-06-04 18:03 UTC (History)
2 users (show)

See Also:
Host: x86_64-pc-linux-gnu
Target: x86_64-pc-linux-gnu
Build:
Known to work: 4.6.1
Known to fail: 4.7.0
Last reconfirmed: 2011-05-27 04:49:48

Attachments
reduced testcase (from gfortran.dg/assumed_charlen_function_3.f90) (134 bytes, text/plain)
2011-05-26 18:44 UTC, Zdenek Sojka 		Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Zdenek Sojka 2011-05-26 18:44:14 UTC 
Created attachment 24365 [details]
reduced testcase (from gfortran.dg/assumed_charlen_function_3.f90)

Maybe related to PR49091, it ICEs with the same message.

Compiler output:
$ gcc -O -findirect-inlining testcase.f90
testcase.f90:8:0: internal compiler error: vector VEC(tree,base) index domain error, in evaluate_conditions_for_known_args at ipa-inline-analysis.c:558
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r174261 - crash
4.6 r173059 - OK
Comment 1 H.J. Lu 2011-05-27 04:49:48 UTC 
It is caused by revision 172873:

http://gcc.gnu.org/ml/gcc-cvs/2011-04/msg01069.html
Comment 2 Jan Hubicka 2011-06-04 18:00:51 UTC 
Author: hubicka
Date: Sat Jun  4 18:00:47 2011
New Revision: 174648

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=174648
Log:
	PR tree-optimization/48893
	PR tree-optimization/49091
	PR tree-optimization/49179
	* ipa-inline-analysis.c (evaluate_conditions_for_known_args):
	Bounds check.

	* gfortran.dg/pr49179.f90: New testcase

Added:
    trunk/gcc/testsuite/gfortran.dg/pr49179.f90
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-inline-analysis.c
    trunk/gcc/testsuite/ChangeLog
Comment 3 Jan Hubicka 2011-06-04 18:03:05 UTC 
Fixed.