[Bug tree-optimization/21894] New: gcc crashes with -O1 on a call to nested function

[Bug tree-optimization/21894] New: gcc crashes with -O1 on a call to nested function

[fjahanian at apple dot com]

Following test ICEs with gcc mainline when compiled with -O1. Test was done on apple-ppc-darwin.
% gcc -c -O1 bad.c
bad.c: In function 'CheckFile':
bad.c:2: internal compiler error: Bus error
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://developer.apple.com/bugreporter> for instructions.

/* TEST */
typedef unsigned char uchar;
static void CheckFile () {
     uchar *p;
     uchar tagname[10]; uchar * a = tagname;

      void validate(uchar const * pp, uchar const * q){
        uchar const * p = pp;
        if (a == tagname+4)
          {
             uchar const * x = p;
          }
      }

      while(1){
            if(a == tagname)
              goto slip; 
              if (*p == '\"') 
                {
                  uchar const * const q = ++p; 
                  validate(q, p++);
                }
        }
  slip:
        ;
}

-- 
           Summary: gcc crashes with -O1 on a call to nested function
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: fjahanian at apple dot com
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: apple-ppa-darwin
  GCC host triplet: apple-ppc-darwin
GCC target triplet: apple-ppa-darwin


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

[Bug middle-end/21894] [4.0/4.1 Regression] Invalid operand to binary operator with nested function

[pinskia at gcc dot gnu dot org]

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


------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-02 23:33 -------
Confirmed, reduced testcase:
void CheckFile ()
{
     char tagname[10]; char * a = tagname;
      int validate()
      {
        return (a == tagname+4);
      }
      if(a == tagname)
        validate();
}

t.c: In function ‘CheckFile’:
t.c:11: error: Invalid operand to binary operator
FRAME.1D.1246.aD.1249;

t.c:11: 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.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rth at gcc dot gnu dot org
             Status|UNCONFIRMED                 |NEW
          Component|tree-optimization           |middle-end
     Ever Confirmed|                            |1
  GCC build triplet|apple-ppa-darwin            |
   GCC host triplet|apple-ppc-darwin            |
 GCC target triplet|apple-ppa-darwin            |
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2005-06-02 23:33:47
               date|                            |
            Summary|gcc crashes with -O1 on a   |[4.0/4.1 Regression] Invalid
                   |call to nested function     |operand to binary operator
                   |                            |with nested function
   Target Milestone|---                         |4.0.1


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

[Bug middle-end/21894] [4.0/4.1 Regression] Invalid operand to binary operator with nested function

[mmitchel at gcc dot gnu dot org]

------- Additional Comments From mmitchel at gcc dot gnu dot org  2005-07-06 17:02 -------
Postponed until 4.0.2.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.0.1                       |4.0.2


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

[Bug middle-end/21894] [4.0/4.1 Regression] Invalid operand to binary operator with nested function

[rth at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rth at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2005-06-02 23:33:47         |2005-08-05 23:20:17
               date|                            |


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

[Bug middle-end/21894] [4.0/4.1 Regression] Invalid operand to binary operator with nested function

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-08-07 19:01 -------
Subject: Bug 21894

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	rth@gcc.gnu.org	2005-08-07 19:01:09

Modified files:
	gcc            : ChangeLog tree-nested.c 
Added files:
	gcc/testsuite/gcc.c-torture/compile: nested-2.c 

Log message:
	PR 21894
	* tree-nested.c (convert_local_reference): Save and restore val_only
	around component_ref and friends.  Clear walk_subtrees by default.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9673&r2=2.9674
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-nested.c.diff?cvsroot=gcc&r1=2.28&r2=2.29
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/compile/nested-2.c.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug middle-end/21894] [4.0/4.1 Regression] Invalid operand to binary operator with nested function

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-08-08 17:32 -------
Subject: Bug 21894

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-4_0-branch
Changes by:	rth@gcc.gnu.org	2005-08-08 17:32:00

Modified files:
	gcc            : ChangeLog tree-nested.c 
Added files:
	gcc/testsuite/gcc.c-torture/compile: nested-2.c 

Log message:
	PR 21894
	* tree-nested.c (convert_local_reference): Save and restore val_only
	around component_ref and friends.  Clear walk_subtrees by default.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=2.7592.2.357&r2=2.7592.2.358
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-nested.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=2.24&r2=2.24.10.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/compile/nested-2.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1



-- 


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

[Bug middle-end/21894] [4.0/4.1 Regression] Invalid operand to binary operator with nested function

[rth at gcc dot gnu dot org]

------- Additional Comments From rth at gcc dot gnu dot org  2005-08-08 17:32 -------
Fixed.

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


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

[Bug middle-end/21894] [4.0/4.1 Regression] Invalid operand to binary operator with nested function

[fjahanian at apple dot com]

------- Additional Comments From fjahanian at apple dot com  2005-08-08 17:36 -------
Thanks. Test case should say PR 21894.
> Fixed.

-- 


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