[Bug tree-optimization/39829] New: [4.5 Regression] ICE with some code that produces VCE

[Bug tree-optimization/39829] New: [4.5 Regression] ICE with some code that produces VCE

[pinskia at gcc dot gnu dot org]

A simple testcase:
void foo (void * DAG_temp117584)
{
  char  uA;
  void* pA;
  void* pB;
  void* pC;
  do {
    int DAG_temp117585;
    int DAG_temp117586;
    void ** __indir_union1 = (void**)DAG_temp117584;
    DAG_temp117585 = *__indir_union1;
    DAG_temp117586 = DAG_temp117585;
    if ( DAG_temp117586 != (int)268435456 )
      pA = (void*)&uA;
    pB = (void*)&pA;
    pC = pB;
    union __block_indir0_u {  struct {  int val; }  __indir_struct; }
       * __indir_union = (union __block_indir0_u*)pC;
    f(__indir_union->__indir_struct.val);

    DAG_temp117584 += 64;
  } while (1);
}
---- CUT ---
Compile at -O1, we get the following ICE:
gcc/gcc/testsuite/gcc.c-torture/compile/20090206-2.c:19: internal compiler
error: in expand_expr_addr_expr_1, at expr.c:6817
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

If we compile with -O2, we get:
gcc/gcc/testsuite/gcc.c-torture/compile/20090206-2.c:1: internal compiler
error: in verify_expr, at tree-cfg.c:2876
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

forwprop1 produces:
  D.1591_10 = VIEW_CONVERT_EXPR<union __block_indir0_u>(pA).__indir_struct.val;

CCP2 produces:
  D.1591_10 = VIEW_CONVERT_EXPR<union
__block_indir0_u>(&uA).__indir_struct.val;

And then somewhere we must lose that the address of uA is taken because with
-O2 PRE creates:
  uA.18_15 = uA_11(D);
  D.2674_1 = uA.18_15;
  D.2676_8 = D.2674_1;
  D.2675_7 = &D.2676_8;
  pretmp.19_13 = VIEW_CONVERT_EXPR<union
__block_indir0_u>(D.2675_7).__indir_struct.val;

Which is just incorrect.


-- 
           Summary: [4.5 Regression] ICE with some code that produces VCE
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39829

[Bug tree-optimization/39829] [4.5 Regression] ICE with some code that produces VCE

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2009-04-20 23:51 -------
I thought http://gcc.gnu.org/ml/gcc-patches/2009-04/msg01375.html would help
but that patch was already applied.

I have not tried 4.4.0 yet.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org
   Target Milestone|---                         |4.5.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39829

[Bug tree-optimization/39829] [4.5 Regression] ICE with some code that produces VCE

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2009-04-21 08:36 -------
Mine.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-04-21 08:36:55
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39829

[Bug tree-optimization/39829] [4.5 Regression] ICE with some code that produces VCE

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2009-04-21 12:42 -------
Fixed.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39829

[Bug tree-optimization/39829] [4.5 Regression] ICE with some code that produces VCE

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2009-04-21 12:42 -------
Subject: Bug 39829

Author: rguenth
Date: Tue Apr 21 12:42:24 2009
New Revision: 146521

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=146521
Log:
2009-04-21  Richard Guenther  <rguenther@suse.de>

        PR middle-end/39829
        * gimple.c (walk_stmt_load_store_addr_ops): Catch addresses
        inside VIEW_CONVERT_EXPRs.

        * gcc.dg/torture/pr39829.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr39829.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple.c
    trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39829

[Bug tree-optimization/39829] [4.5 Regression] ICE with some code that produces VCE

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2009-04-22 13:47 -------
Fixed!


-- 

rguenth at gcc dot gnu dot org changed:

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


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39829

[Bug tree-optimization/39829] [4.5 Regression] ICE with some code that produces VCE

[hjl at gcc dot gnu dot org]

------- Comment #6 from hjl at gcc dot gnu dot org  2009-04-22 14:14 -------
Subject: Bug 39829

Author: hjl
Date: Wed Apr 22 14:14:08 2009
New Revision: 146579

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=146579
Log:
2009-04-22  H.J. Lu  <hongjiu.lu@intel.com>

        Backport from mainline:
        2009-04-22  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/39845
        * gcc.c-torture/compile/pr39845.c: New testcase.

        2009-04-21  Richard Guenther  <rguenther@suse.de>

        PR middle-end/39829
        * gcc.dg/torture/pr39829.c: New testcase.

Added:
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/compile/pr39845.c
      - copied unchanged from r146578,
trunk/gcc/testsuite/gcc.c-torture/compile/pr39845.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/torture/pr39829.c
      - copied unchanged from r146578,
trunk/gcc/testsuite/gcc.dg/torture/pr39829.c
Modified:
    branches/gcc-4_4-branch/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39829