[Bug middle-end/34241] New: ICE in forward_propagate_into_cond

[Bug middle-end/34241] New: ICE in forward_propagate_into_cond

[mueller at gcc dot gnu dot org]

inline void *operator  new (unsigned int, void *__p) throw ()
{
  return __p;
}
struct A
{
  A(int, double);
  inline explicit A (int pattern, bool cs)
  {
    new (this) A (pattern, double(cs));
  }
};
A test ()
{
  const A a (42, true);
}

(gdb) bt
#0  get_prop_source_stmt (name=0xb7c5d478, single_use_only=0 '\0',
single_use_p=0xbfdc018b "")
    at ../../gcc/tree-ssa-forwprop.c:221
#1  0x08328d58 in forward_propagate_into_cond (cond_expr=0xb7bca7d0,
stmt=0xb7bca7d0)
    at ../../gcc/tree-ssa-forwprop.c:378
#2  0x0832b5be in tree_ssa_forward_propagate_single_use_vars ()
    at ../../gcc/tree-ssa-forwprop.c:1021
#3  0x0824a963 in execute_one_pass (pass=0x8727e80) at ../../gcc/passes.c:1118
#4  0x0824aaff in execute_pass_list (pass=0x8727e80) at ../../gcc/passes.c:1171
#5  0x0824ab12 in execute_pass_list (pass=0x8727840) at ../../gcc/passes.c:1172
#6  0x0824aeec in execute_ipa_pass_list (pass=0x8727800) at
../../gcc/passes.c:856
#7  0x083e6d25 in cgraph_optimize () at ../../gcc/cgraphunit.c:1339
#8  0x0809198d in cp_write_global_declarations () at ../../gcc/cp/decl2.c:3442
#9  0x082bf163 in toplev_main (argc=4, argv=0xbfdc0424) at
../../gcc/toplev.c:1055
#10 0x08121b7f in main (argc=Cannot access memory at address 0x7
) at ../../gcc/main.c:35


the stmt where the def is NULL is:

 <ssa_name 0xb7c5d478 nothrow var <var_decl 0xb7bc9bb0 iftmp.0>
    version 3 in-free-list>


-- 
           Summary: ICE in forward_propagate_into_cond
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: critical
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: mueller at gcc dot gnu dot org


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

[Bug middle-end/34241] ICE in forward_propagate_into_cond

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2007-11-27 13:01 -------
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|NEW                         |ASSIGNED
   Last reconfirmed|2007-11-27 13:00:55         |2007-11-27 13:01:08
               date|                            |
   Target Milestone|---                         |4.3.0


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

[Bug middle-end/34241] ICE in forward_propagate_into_cond

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2007-11-27 13:00 -------
Confirmed.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-11-27 13:00:55
               date|                            |


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

[Bug middle-end/34241] ICE in forward_propagate_into_cond

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2007-11-27 13:12 -------
I have a patch.  The expected result is to optimize

<bb 2>:
  a.1_1 = (struct A *) &a;
  <<<change_dynamic_type (struct A *) a.1_1)>>>
  D.1744_2 = a.1_1;
  iftmp.0_3 = (struct A *) D.1744_2;
  if (iftmp.0_3 != 0B)
    goto <bb 3>;
  else
    goto <bb 4>;

<bb 3>:
  D.1746_4 = 1.0e+0;
  __comp_ctor  (iftmp.0_3, 42, 1.0e+0);

<bb 4>:
  return;

to

<bb 2>:
  a.1_1 = (struct A *) &a;
  <<<change_dynamic_type (struct A *) a.1_1)>>>
  iftmp.0_3 = (struct A *) &a;
  D.1746_4 = 1.0e+0;
  __comp_ctor  (iftmp.0_3, 42, 1.0e+0);
  return;


-- 


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

[Bug middle-end/34241] ICE in forward_propagate_into_cond

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2007-11-27 15:01 -------
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=34241

[Bug middle-end/34241] ICE in forward_propagate_into_cond

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2007-11-27 15:01 -------
Subject: Bug 34241

Author: rguenth
Date: Tue Nov 27 15:00:37 2007
New Revision: 130468

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130468
Log:
2007-11-27  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/34241
        * tree-ssa-forwprop.c (forward_propagate_addr_expr): Make sure
        to only delete real conversion chains.

        * g++.dg/torture/pr34241.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/torture/pr34241.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-forwprop.c


-- 


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