public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug middle-end/30142]  New: [meta-bug] invalid gimple
@ 2006-12-11  0:07 pinskia at gcc dot gnu dot org
  2006-12-11  0:08 ` [Bug middle-end/30142] " pinskia at gcc dot gnu dot org
                   ` (6 more replies)
  0 siblings, 7 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2006-12-11  0:07 UTC (permalink / raw)
  To: gcc-bugs

Some passes can create invalid gimple which is not checked for currently.
I will attach my patch which adds more checking.


-- 
           Summary: [meta-bug] invalid gimple
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: meta-bug
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org


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


^ permalink raw reply	[flat|nested] 9+ messages in thread
* [Bug middle-end/30142] [meta-bug] invalid gimple
  2006-12-11  0:07 [Bug middle-end/30142] New: [meta-bug] invalid gimple pinskia at gcc dot gnu dot org
@ 2006-12-11  0:08 ` pinskia at gcc dot gnu dot org
  2006-12-11  0:12 ` pinskia at gcc dot gnu dot org
                   ` (5 subsequent siblings)
  6 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2006-12-11  0:08 UTC (permalink / raw)
  To: gcc-bugs



-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |30140, 30141
         AssignedTo|unassigned at gcc dot gnu   |pinskia at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-12-11 00:08:06
               date|                            |


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


^ permalink raw reply	[flat|nested] 9+ messages in thread
* [Bug middle-end/30142] [meta-bug] invalid gimple
  2006-12-11  0:07 [Bug middle-end/30142] New: [meta-bug] invalid gimple pinskia at gcc dot gnu dot org
  2006-12-11  0:08 ` [Bug middle-end/30142] " pinskia at gcc dot gnu dot org
@ 2006-12-11  0:12 ` pinskia at gcc dot gnu dot org
  2008-07-14 12:45 ` pinskia at gcc dot gnu dot org
                   ` (4 subsequent siblings)
  6 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2006-12-11  0:12 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #1 from pinskia at gcc dot gnu dot org  2006-12-11 00:12 -------
Created an attachment (id=12778)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12778&action=view)
Patch which adds more checking for invalid gimple

This adds checking for the following issues:
The operand of INDIRECT_REF has to be a gimple register or a constant.
One side of a modify expression has to be a gimple register or the right hand
side can be a constant except for aggregates.


-- 


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


^ permalink raw reply	[flat|nested] 9+ messages in thread
* [Bug middle-end/30142] [meta-bug] invalid gimple
  2006-12-11  0:07 [Bug middle-end/30142] New: [meta-bug] invalid gimple pinskia at gcc dot gnu dot org
  2006-12-11  0:08 ` [Bug middle-end/30142] " pinskia at gcc dot gnu dot org
  2006-12-11  0:12 ` pinskia at gcc dot gnu dot org
@ 2008-07-14 12:45 ` pinskia at gcc dot gnu dot org
  2009-01-01 22:08 ` pinskia at gcc dot gnu dot org
                   ` (3 subsequent siblings)
  6 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2008-07-14 12:45 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #2 from pinskia at gcc dot gnu dot org  2008-07-14 12:44 -------
I am no longer to fix this one, Guess nobody cares about the invalid gimple
that is produced.  Hopefully tuples fixes up most of these issues.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|pinskia at gcc dot gnu dot  |unassigned at gcc dot gnu
                   |org                         |dot org
             Status|ASSIGNED                    |NEW


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


^ permalink raw reply	[flat|nested] 9+ messages in thread
* [Bug middle-end/30142] [meta-bug] invalid gimple
  2006-12-11  0:07 [Bug middle-end/30142] New: [meta-bug] invalid gimple pinskia at gcc dot gnu dot org
                   ` (2 preceding siblings ...)
  2008-07-14 12:45 ` pinskia at gcc dot gnu dot org
@ 2009-01-01 22:08 ` pinskia at gcc dot gnu dot org
  2009-01-01 22:09 ` pinskia at gcc dot gnu dot org
                   ` (2 subsequent siblings)
  6 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2009-01-01 22:08 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #3 from pinskia at gcc dot gnu dot org  2009-01-01 22:06 -------
I will test the patch for the invalid INDIRECT_REF issue but the other one
needs a slight rewrite as it no longer applies to tuples.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |pinskia at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


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


^ permalink raw reply	[flat|nested] 9+ messages in thread
* [Bug middle-end/30142] [meta-bug] invalid gimple
  2006-12-11  0:07 [Bug middle-end/30142] New: [meta-bug] invalid gimple pinskia at gcc dot gnu dot org
                   ` (3 preceding siblings ...)
  2009-01-01 22:08 ` pinskia at gcc dot gnu dot org
@ 2009-01-01 22:09 ` pinskia at gcc dot gnu dot org
  2009-01-01 23:52 ` pinskia at gcc dot gnu dot org
  2009-01-02  0:17 ` pinskia at gcc dot gnu dot org
  6 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2009-01-01 22:09 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #4 from pinskia at gcc dot gnu dot org  2009-01-01 22:07 -------
Well that and make MODIFY_EXPR invalid for tuples.


-- 


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


^ permalink raw reply	[flat|nested] 9+ messages in thread
* [Bug middle-end/30142] [meta-bug] invalid gimple
  2006-12-11  0:07 [Bug middle-end/30142] New: [meta-bug] invalid gimple pinskia at gcc dot gnu dot org
                   ` (4 preceding siblings ...)
  2009-01-01 22:09 ` pinskia at gcc dot gnu dot org
@ 2009-01-01 23:52 ` pinskia at gcc dot gnu dot org
  2009-01-02  0:17 ` pinskia at gcc dot gnu dot org
  6 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2009-01-01 23:52 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #5 from pinskia at gcc dot gnu dot org  2009-01-01 23:51 -------
The INDIRECT_REF part was posted at
http://gcc.gnu.org/ml/gcc-patches/2009-01/msg00023.html

I have to redo the other part later because of tuples changes,
MODIFY_EXPR/GIMPLE_MODIFY_STMT is lost.


-- 


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


^ permalink raw reply	[flat|nested] 9+ messages in thread
* [Bug middle-end/30142] [meta-bug] invalid gimple
  2006-12-11  0:07 [Bug middle-end/30142] New: [meta-bug] invalid gimple pinskia at gcc dot gnu dot org
                   ` (5 preceding siblings ...)
  2009-01-01 23:52 ` pinskia at gcc dot gnu dot org
@ 2009-01-02  0:17 ` pinskia at gcc dot gnu dot org
  6 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2009-01-02  0:17 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #6 from pinskia at gcc dot gnu dot org  2009-01-02 00:16 -------
Subject: Bug 30142

Author: pinskia
Date: Fri Jan  2 00:14:47 2009
New Revision: 143001

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143001
Log:
2009-01-01  Andrew Pinski  <pinskia@gmail.com>

        PR middle-end/30142
        * tree-cfg.c (verify_expr): Add INDIRECT_REF case.  Change MODIFY_EXPR
        case to be an error.



Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-cfg.c


-- 


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


^ permalink raw reply	[flat|nested] 9+ messages in thread
* [Bug middle-end/30142] [meta-bug] invalid gimple
       [not found] <bug-30142-4@http.gcc.gnu.org/bugzilla/>
@ 2011-11-17 22:01 ` pinskia at gcc dot gnu.org
  0 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu.org @ 2011-11-17 22:01 UTC (permalink / raw)
  To: gcc-bugs

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.6.0

--- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> 2011-11-17 21:58:55 UTC ---
This has now been fixed so close it as such.


^ permalink raw reply	[flat|nested] 9+ messages in thread
end of thread, other threads:[~2011-11-17 21:59 UTC | newest]

Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-12-11  0:07 [Bug middle-end/30142] New: [meta-bug] invalid gimple pinskia at gcc dot gnu dot org
2006-12-11  0:08 ` [Bug middle-end/30142] " pinskia at gcc dot gnu dot org
2006-12-11  0:12 ` pinskia at gcc dot gnu dot org
2008-07-14 12:45 ` pinskia at gcc dot gnu dot org
2009-01-01 22:08 ` pinskia at gcc dot gnu dot org
2009-01-01 22:09 ` pinskia at gcc dot gnu dot org
2009-01-01 23:52 ` pinskia at gcc dot gnu dot org
2009-01-02  0:17 ` pinskia at gcc dot gnu dot org
     [not found] <bug-30142-4@http.gcc.gnu.org/bugzilla/>
2011-11-17 22:01 ` pinskia at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).