[Bug tree-optimization/32139] [4.1 Regression] ICE in mark_operand_necessary

["rguenth at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #1 from rguenth at gcc dot gnu dot org  2008-01-13 14:36 -------
./cc1 -quiet t.c -O2
t.c: In function ?test?:
t.c:6: internal compiler error: tree check: expected ssa_name, have var_decl in
mark_operand_necessary, at tree-ssa-pre.c:2460
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

we have unrenamed VOPs on code inserted by PRE.

#   TMT.7D.1301 = V_MAY_DEF <TMT.7D.1301>;
D.1324_9 = foo ()


4.2 ICEs once you try to do -fdump-tree-all-vops:

t.c: In function ?test?:
t.c:6: internal compiler error: in stmt_ann, at tree-flow-inline.h:173
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
For Debian GNU/Linux specific bug reporting instructions,
see <URL:file:///usr/share/doc/gcc-4.2/README.Bugs>.

note that VOPs are missing from the indirect function call before PRE:

<L2>:;
  #   VUSE <NONLOCAL.7_12>;
  #   VUSE <NONLOCAL.14_1>;
  #   VUSE <NONLOCAL.20_7>;
  #   VUSE <NONLOCAL.26_13>;
  #   VUSE <NONLOCAL.32_14>;
  a_6 = foo ();

  # a_4 = PHI <a_6(3), a_5(5)>;
  # iftmp.1_2 = PHI <foo(3), bar(5)>;
<L5>:;
  b_9 = iftmp.1_2 ();

(likewise in the 4.1 and 4.3 case).


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|34768                       |
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |alias, ice-on-valid-code
      Known to fail|                            |4.1.3
      Known to work|                            |4.0.4 4.2.0
   Last reconfirmed|0000-00-00 00:00:00         |2008-01-13 14:36:09
               date|                            |


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