Bug 64764 - [5 Regression] internal compiler error: in is_value_included_in, at tree-ssa-uninit.c:942
Summary: [5 Regression] internal compiler error: in is_value_included_in, at tree-ssa-...
Status: RESOLVED FIXED
Alias: None
Product: gcc
Classification: Unclassified
Component: middle-end (show other bugs)
Version: 5.0
: P1 normal
Target Milestone: 5.0
Assignee: Richard Biener
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2015-01-24 10:06 UTC by Marek Polacek
Modified: 2015-01-27 09:28 UTC (History)
0 users

See Also:
Host:
Target:
Build:
Known to work:
Known to fail:
Last reconfirmed: 2015-01-26 00:00:00


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Marek Polacek 2015-01-24 10:06:56 UTC
./cc1 -quiet q.c -Wuninitialized -O
q.c: In function ‘fn2’:
q.c:14:1: internal compiler error: in is_value_included_in, at tree-ssa-uninit.c:942
 fn2 ()
 ^
0xef6507 is_value_included_in
	/home/marek/src/gcc/gcc/tree-ssa-uninit.c:942
0xefcc71 is_pred_expr_subset_of
	/home/marek/src/gcc/gcc/tree-ssa-uninit.c:1387
0xefcc71 is_pred_chain_subset_of
	/home/marek/src/gcc/gcc/tree-ssa-uninit.c:1412
0xefcc71 is_included_in
	/home/marek/src/gcc/gcc/tree-ssa-uninit.c:1441
0xefcc71 is_superset_of
	/home/marek/src/gcc/gcc/tree-ssa-uninit.c:1472
0xefcc71 is_use_properly_guarded
	/home/marek/src/gcc/gcc/tree-ssa-uninit.c:2242
0xefd95f find_uninit_use
	/home/marek/src/gcc/gcc/tree-ssa-uninit.c:2285
0xefd95f warn_uninitialized_phi
	/home/marek/src/gcc/gcc/tree-ssa-uninit.c:2351
0xefd95f execute
	/home/marek/src/gcc/gcc/tree-ssa-uninit.c:2461
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.


int a, l, m;
float *b;
float c, d, e, g, h;
unsigned char i, k;
void
fn1 (int p1, float *f1, float *f2, float *f3, unsigned char *c1, float *f4,
     unsigned char *c2, float *p10)
{
  if (p1 & 8)
    b[3] = p10[a];
}

void
fn2 ()
{
  float *n;
  if (l & 6)
    n = &c + m;
  fn1 (l, &d, &e, &g, &i, &h, &k, n);
}
Comment 1 Marek Polacek 2015-01-24 10:18:27 UTC
Started with r219739.
Comment 2 Richard Biener 2015-01-26 11:32:09 UTC
Mine.
Comment 3 Richard Biener 2015-01-26 14:50:41 UTC
Author: rguenth
Date: Mon Jan 26 14:50:03 2015
New Revision: 220111

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

	PR middle-end/64764
	* tree-ssa-uninit.c (is_pred_expr_subset_of): Handle
	combining two BIT_AND_EXPR predicates.

	* gcc.dg/uninit-19.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/uninit-19.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-uninit.c
Comment 4 Richard Biener 2015-01-27 09:28:08 UTC
Fixed.