[Bug optimization/12198] New: Miscompilation of case ranges

[Bug optimization/12198] New: Miscompilation of case ranges

[pbrook at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: Miscompilation of case ranges
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: critical
          Priority: P2
         Component: optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pbrook at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org

Switch statements containing the "Case Ranges" extension are miscompiled. The 
following test fails when i != 1.  
 
int main() 
{ 
   int i; 
   i = 2; 
   switch (i) 
      { 
      case 1 ... 5: 
         goto L1; 
      default: 
         abort (); 
         goto L1; 
      } 
   L1: 
   exit(0); 
}

[Bug optimization/12198] Miscompilation of case ranges

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Priority|P2                          |P1
   Last reconfirmed|0000-00-00 00:00:00         |2003-09-06 22:02:16
               date|                            |
   Target Milestone|---                         |tree-ssa


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-09-06 22:02 -------
It happens in t14.ccp but I cannot why.

[Bug optimization/12198] [tree-ssa] Miscompilation of case ranges

[steven at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


steven at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dnovillo at redhat dot com
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2003-09-06 22:02:16         |2003-09-07 12:25:32
               date|                            |


------- Additional Comments From steven at gcc dot gnu dot org  2003-09-07 12:25 -------
Seems like find_taken_edge_switch_expr() can't handle case ranges.  I'm working
on a fix for this.

[Bug optimization/12198] [tree-ssa] Miscompilation of case ranges

[steven at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From steven at gcc dot gnu dot org  2003-09-07 13:06 -------
Patch pending in http://gcc.gnu.org/ml/gcc-patches/2003-09/msg00406.html, and if
that one's no good, then at least it shows where the trouble is.

[Bug optimization/12198] [tree-ssa] Miscompilation of case ranges

[cvs-commit at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-09-07 21:52 -------
Subject: Bug 12198

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	tree-ssa-20020619-branch
Changes by:	steven@gcc.gnu.org	2003-09-07 21:52:51

Modified files:
	gcc            : tree-cfg.c ChangeLog.tree-ssa 

Log message:
	Fix PR optimization/12198
	* tree-cfg.c (value_matches_some_label): Handle integer
	case ranges.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-cfg.c.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.1.4.158&r2=1.1.4.159
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.tree-ssa.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.1.2.648&r2=1.1.2.649

[Bug optimization/12198] [tree-ssa] Miscompilation of case ranges

[steven at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


steven at gcc dot gnu dot org changed:

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


------- Additional Comments From steven at gcc dot gnu dot org  2003-09-07 21:53 -------
Fixed

[Bug optimization/12198] [tree-ssa] Miscompilation of case ranges

[cvs-commit at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-09-07 22:17 -------
Subject: Bug 12198

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	tree-ssa-20020619-branch
Changes by:	steven@gcc.gnu.org	2003-09-07 22:17:07

Modified files:
	gcc/testsuite  : ChangeLog.tree-ssa 
Added files:
	gcc/testsuite/gcc.dg/tree-ssa: 20030907-1.c 20030907-2.c 

Log message:
	PR optimization/12198
	* gcc.dg/tree-ssa/20030907-1.c: New test.
	
	PR optimization/12109
	* gcc.dg/tree-ssa/20030907-2.c: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.tree-ssa.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.1.2.63&r2=1.1.2.64
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/tree-ssa/20030907-1.c.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/tree-ssa/20030907-2.c.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=NONE&r2=1.1.2.1