[Bug middle-end/64764] New: internal compiler error: in is_value_included_in, at tree-ssa-uninit.c:942

[Bug middle-end/64764] New: internal compiler error: in is_value_included_in, at tree-ssa-uninit.c:942

[mpolacek at gcc dot gnu.org]

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

            Bug ID: 64764
           Summary: internal compiler error: in is_value_included_in, at
                    tree-ssa-uninit.c:942
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: mpolacek at gcc dot gnu.org

./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);
}
>From gcc-bugs-return-474675-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sat Jan 24 10:07:37 2015
Return-Path: <gcc-bugs-return-474675-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 2528 invoked by alias); 24 Jan 2015 10:07:36 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 2478 invoked by uid 48); 24 Jan 2015 10:07:33 -0000
From: "mpolacek at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/64764] [5 Regression] internal compiler error: in is_value_included_in, at tree-ssa-uninit.c:942
Date: Sat, 24 Jan 2015 10:07:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: mpolacek at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: target_milestone short_desc
Message-ID: <bug-64764-4-ZK73Pd8wTr@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-64764-4@http.gcc.gnu.org/bugzilla/>
References: <bug-64764-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-01/txt/msg02669.txt.bz2
Content-length: 578

https://gcc.gnu.org/bugzilla/show_bug.cgi?idd764

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |5.0
            Summary|internal compiler error: in |[5 Regression] internal
                   |is_value_included_in, at    |compiler error: in
                   |tree-ssa-uninit.c:942       |is_value_included_in, at
                   |                            |tree-ssa-uninit.c:942

[Bug middle-end/64764] [5 Regression] internal compiler error: in is_value_included_in, at tree-ssa-uninit.c:942

[mpolacek at gcc dot gnu.org]

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

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Started with r219739.

[Bug middle-end/64764] [5 Regression] internal compiler error: in is_value_included_in, at tree-ssa-uninit.c:942

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2015-01-26
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Mine.

[Bug middle-end/64764] [5 Regression] internal compiler error: in is_value_included_in, at tree-ssa-uninit.c:942

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
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

[Bug middle-end/64764] [5 Regression] internal compiler error: in is_value_included_in, at tree-ssa-uninit.c:942

[rguenth at gcc dot gnu.org]

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

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

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

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