[Bug tree-optimization/23166] New: SCCP causes type mismatch

[Bug tree-optimization/23166] New: SCCP causes type mismatch

[pinskia at gcc dot gnu dot org]

Take the following code (which comes from gcc.c-torture/compile/950816-3.c):
f ()
{
  int i;
  short	x, z;
  for (i = 0; i <= 1; i++)
    x = i;
  return x + z;
}

I think this is a scev bug but I have not looked into it yet.

Use the first and 4th patch in PR 22368 to see the problem.  The 4th patch will show that it was in fact 
SCCP which caused this and not empty and/or merge sequential BBs in cfgcleanup.

-- 
           Summary: SCCP causes type mismatch
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
OtherBugsDependingO 22368
             nThis:


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

[Bug tree-optimization/23166] SCCP causes type mismatch

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-31 18:29 -------
Oh, here is the error:
950816-3.c: In function 'f':
950816-3.c:2: error: statement types mismatch in PHI
xD.1272_13 = PHI <1(1)>;

short intD.7
unsigned intD.3
950816-3.c:2: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 


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

[Bug tree-optimization/23166] SCCP causes type mismatch

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-08 03:32 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-08-08 03:32:38
               date|                            |


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

[Bug tree-optimization/23166] SCCP causes type mismatch

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2009-05-03 16:05 -------
Fixed at least with 4.5.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.5.0


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

[Bug tree-optimization/23166] SCCP causes type mismatch

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2005-12-05 18:30 -------
gcc/gcc/testsuite/gcc.c-torture/execute/990604-1.c fails the same way.


-- 


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