🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Thread View: gmane.comp.gcc.bugs
5 messages
5 total messages Started by "zsojka at sezna Thu, 28 Oct 2010 19:28
[Bug tree-optimization/46215] New: ICE: verify_stmts failed: type mismatch in comparison expression with -fstrict-overflow -fno-tree-ch -ftree-loop-linear
#298154
Author: "zsojka at sezna
Date: Thu, 28 Oct 2010 19:28
48 lines
1459 bytes
http://gcc.gnu.org/bugzilla/show_bug.cgi?idF215

           Summary: ICE: verify_stmts failed: type mismatch in comparison
                    expression with -fstrict-overflow -fno-tree-ch
                    -ftree-loop-linear
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz


Created attachment 22194
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id"194
reduced testcase

Compiler output (trunk, 4.5):
$ gcc -O -fstrict-overflow -fno-tree-ch -ftree-loop-linear pr46215.c
pr46215.c: In function 'foo':
pr46215.c:3:1: error: type mismatch in comparison expression
_Bool
long int
int
if (uboundvar.2_6 >= perfectiv.1_10)

pr46215.c:3:1: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Compiler output (4.4):
$ gcc -O -fstrict-overflow -fno-tree-ch -ftree-loop-linear pr46215.c
pr46215.c: In function 'foo':
pr46215.c:3: internal compiler error: in copy_to_mode_reg, at explow.c:623
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r166029 - crash
r153685 - crash
4.5 r165781 - crash
4.4 r165754 - crash
4.4 r149995 - crash

[Bug tree-optimization/46215] ICE: verify_stmts failed: type mismatch in comparison expression with -fstrict-overflow -fno-tree-ch -ftree-loop-linear
#307000
Author: "spop at gcc dot
Date: Tue, 18 Jan 2011 20:55
20 lines
544 bytes
http://gcc.gnu.org/bugzilla/show_bug.cgi?idF215

--- Comment #1 from Sebastian Pop <spop at gcc dot gnu.org> 2011-01-18 20:54:50 UTC ---
Author: spop
Date: Tue Jan 18 20:54:46 2011
New Revision: 168966

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev8966
Log:
Add testcase for PR46215.

2011-01-18  Sebastian Pop  <sebastian.pop@amd.com>

    PR tree-optimization/46215
    * gcc.dg/graphite/pr46215.c: New.

Added:
    branches/graphite/gcc/testsuite/gcc.dg/graphite/pr46215.c
Modified:
    branches/graphite/gcc/ChangeLog.graphite
[Bug tree-optimization/46215] ICE: verify_stmts failed: type mismatch in comparison expression with -fstrict-overflow -fno-tree-ch -ftree-loop-linear
#307006
Author: "spop at gcc dot
Date: Tue, 18 Jan 2011 20:59
15 lines
726 bytes
http://gcc.gnu.org/bugzilla/show_bug.cgi?idF215

Sebastian Pop <spop at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2011.01.18 20:58:20
                 CC|                            |spop at gcc dot gnu.org
         AssignedTo|unassigned at gcc dot       |spop at gcc dot gnu.org
                   |gnu.org                     |
     Ever Confirmed|0                           |1

--- Comment #2 from Sebastian Pop <spop at gcc dot gnu.org> 2011-01-18 20:58:20 UTC ---
Fixed on the graphite branch.
[Bug tree-optimization/46215] ICE: verify_stmts failed: type mismatch in comparison expression with -fstrict-overflow -fno-tree-ch -ftree-loop-linear
#307886
Author: "spop at gcc dot
Date: Tue, 25 Jan 2011 21:27
20 lines
521 bytes
http://gcc.gnu.org/bugzilla/show_bug.cgi?idF215

--- Comment #3 from Sebastian Pop <spop at gcc dot gnu.org> 2011-01-25 21:25:26 UTC ---
Author: spop
Date: Tue Jan 25 21:25:13 2011
New Revision: 169256

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev9256
Log:
Add testcase for PR46215.

2011-01-18  Sebastian Pop  <sebastian.pop@amd.com>

    PR tree-optimization/46215
    * gcc.dg/graphite/pr46215.c: New.

Added:
    trunk/gcc/testsuite/gcc.dg/graphite/pr46215.c
Modified:
    trunk/gcc/testsuite/ChangeLog
[Bug tree-optimization/46215] ICE: verify_stmts failed: type mismatch in comparison expression with -fstrict-overflow -fno-tree-ch -ftree-loop-linear
#307890
Author: "spop at gcc dot
Date: Tue, 25 Jan 2011 21:28
11 lines
442 bytes
http://gcc.gnu.org/bugzilla/show_bug.cgi?idF215

Sebastian Pop <spop at gcc dot gnu.org> changed:

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

--- Comment #4 from Sebastian Pop <spop at gcc dot gnu.org> 2011-01-25 21:28:02 UTC ---
Fixed.
Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads