[Bug tree-optimization/27474] New: ICE: tree check: expected ssa_name, have struct_field_tag in verify_ssa, at tree-ssa.c:776

[Bug tree-optimization/27474] New: ICE: tree check: expected ssa_name, have struct_field_tag in verify_ssa, at tree-ssa.c:776

[uros at kss-loka dot si]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1131 bytes --]

This ICE happens during compilation of PovRay-3.6.1 with -msse2
-ftree-vectorize (also on x86_64). The ICE is in express.cpp.

The reduced testcase is attached, this is the failure with -O -ftree-vectorize:
g++ -O -ftree-vectorize -m32 -msse2 reduced.cpp
reduced.cpp: In function ‘void pov::Parse_Num_Factor(double*, int*)’:
reduced.cpp:94: internal compiler error: tree check: expected ssa_name, have
struct_field_tag in verify_ssa, at tree-ssa.c:776
Please submit a full bug report,
[etc]

The same failure happens with g++ -O -ftree-vectorize on x86_64.


-- 
           Summary: ICE: tree check: expected ssa_name, have
                    struct_field_tag in verify_ssa, at tree-ssa.c:776
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: uros at kss-loka dot si
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug tree-optimization/27474] ICE: tree check: expected ssa_name, have struct_field_tag in verify_ssa, at tree-ssa.c:776

[uros at kss-loka dot si]

------- Comment #1 from uros at kss-loka dot si  2006-05-07 19:30 -------
Created an attachment (id=11396)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11396&action=view)
Reduced cpp testcase

The testcase, reduced with Delta.


-- 


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

[Bug tree-optimization/27474] ICE: tree check: expected ssa_name, have struct_field_tag in verify_ssa, at tree-ssa.c:776

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2006-05-08 07:45 -------
Confirmed.

;; basic block 3, loop depth 0, count 0
;; prev block 2, next block 4
;; pred:       2 [30.0%]  (exec)
;; succ:       5 [50.0%]  (true,exec) 4 [50.0%]  (false,exec)
<L0>:;
#   SFT.19 = V_MAY_DEF <SFT.19>;
#   SFT.20 = V_MAY_DEF <SFT.20>;
#   SFT.21 = V_MAY_DEF <SFT.21>;
#   SMT.29_86 = V_MAY_DEF <SMT.29_91>;
Parse_Float_Param2 (&Val, &Val2);
#   VUSE <SMT.29_86>;
Val.1_15 = Val;
D.2463_16 = ABS_EXPR <Val.1_15>;
if (D.2463_16 > 1.0000000000000000364321973154977415791655470656e-10) goto
<L2>; else goto <L1>;


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2006-05-08 07:45:56
               date|                            |


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

[Bug tree-optimization/27474] ICE: tree check: expected ssa_name, have struct_field_tag in verify_ssa, at tree-ssa.c:776

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2006-05-08 07:50 -------
Looks a lot like 26197.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |26197


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

[Bug tree-optimization/27474] ICE: tree check: expected ssa_name, have struct_field_tag in verify_ssa, at tree-ssa.c:776

[uros at kss-loka dot si]

------- Comment #4 from uros at kss-loka dot si  2006-07-05 10:10 -------
This still fails with current mainline gcc.


-- 

uros at kss-loka dot si changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2006-05-08 07:45:56         |2006-07-05 10:10:38
               date|                            |


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

[Bug tree-optimization/27474] [4.2 regression] ICE: tree check: expected ssa_name, have struct_field_tag in verify_ssa, at tree-ssa.c:776

[tbm at gcc dot gnu dot org]

------- Comment #5 from tbm at gcc dot gnu dot org  2006-08-19 23:05 -------
Created an attachment (id=12100)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12100&action=view)
test case

Testcase from application "ser".

Fails on x86_64 with: gcc -ftree-vectorize -O -c
Fails on x86 with:  gcc -ftree-vectorize -O -msse2  -c


-- 


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

[Bug tree-optimization/27474] [4.2 regression] ICE: tree check: expected ssa_name, have struct_field_tag in verify_ssa, at tree-ssa.c:776

[rakdver at gcc dot gnu dot org]

-- 

rakdver at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rakdver at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2006-07-05 10:10:38         |2006-08-29 14:16:29
               date|                            |


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

[Bug tree-optimization/27474] [4.2 regression] ICE: tree check: expected ssa_name, have struct_field_tag in verify_ssa, at tree-ssa.c:776

[rakdver at gcc dot gnu dot org]

------- Comment #6 from rakdver at gcc dot gnu dot org  2006-08-29 14:43 -------
I cannot reproduce the problem with neither of the testcases, neither on i686
nor from x86_64 crosscompiler.  Could you please check whether it did not get
fixed in the meantime?


-- 


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

[Bug tree-optimization/27474] [4.2 regression] ICE: tree check: expected ssa_name, have struct_field_tag in verify_ssa, at tree-ssa.c:776

[tbm at cyrius dot com]

------- Comment #7 from tbm at cyrius dot com  2006-08-29 14:53 -------
Yes, seems so - fails with 4.2.0 20060721, works with 4.2.0 20060819 on x86_64.


-- 


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

[Bug tree-optimization/27474] [4.2 regression] ICE: tree check: expected ssa_name, have struct_field_tag in verify_ssa, at tree-ssa.c:776

[pinskia at gcc dot gnu dot org]

------- Comment #8 from pinskia at gcc dot gnu dot org  2006-08-29 17:04 -------


*** This bug has been marked as a duplicate of 26197 ***


-- 

pinskia at gcc dot gnu dot org changed:

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


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