[Bug middle-end/27488] New: [4.1/4.2 regression] ICE in tree_expr_nonnegative_p

[Bug middle-end/27488] New: [4.1/4.2 regression] ICE in tree_expr_nonnegative_p

[reichelt at gcc dot gnu dot org]

The following invalid code snippet causes an ICE since GCC 4.1.0:

====================================================
extern double frexp (double x, int *e);
extern double fabs (double x);

void foo(int *p)
{
    fabs(frexp(0.., p));
}
====================================================

bug.c:6:16: error: too many decimal points in number
bug.c: In function 'foo':
bug.c:6: internal compiler error: tree check: expected class 'type', have
'exceptional' (error_mark) in tree_expr_nonnegative_p, at fold-const.c:11776
Please submit a full bug report, [etc.]


-- 
           Summary: [4.1/4.2 regression] ICE in tree_expr_nonnegative_p
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code, error-recovery, monitored
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org


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

[Bug middle-end/27488] [4.1/4.2 regression] ICE in tree_expr_nonnegative_p

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-05-08 15:41 -------
Confirmed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-05-08 15:41:51
               date|                            |
   Target Milestone|---                         |4.1.1


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

[Bug middle-end/27488] [4.1/4.2 regression] ICE in tree_expr_nonnegative_p

[reichelt at gcc dot gnu dot org]

------- Comment #2 from reichelt at gcc dot gnu dot org  2006-05-10 16:52 -------
Testing a patch.


-- 

reichelt at gcc dot gnu dot org changed:

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


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

[Bug middle-end/27488] [4.1/4.2 regression] ICE in tree_expr_nonnegative_p

[patchapp at dberlin dot org]

------- Comment #3 from patchapp at dberlin dot org  2006-05-11 07:15 -------
Subject: Bug number PR27488

A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is
http://gcc.gnu.org/ml/gcc-patches/2006-05/msg00444.html


-- 


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

[Bug middle-end/27488] [4.1/4.2 regression] ICE in tree_expr_nonnegative_p

[reichelt at gcc dot gnu dot org]

------- Comment #4 from reichelt at gcc dot gnu dot org  2006-05-11 14:59 -------
Subject: Bug 27488

Author: reichelt
Date: Thu May 11 14:58:54 2006
New Revision: 113699

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=113699
Log:
        PR middle-end/27488
        * fold-const.c (tree_expr_nonnegative_p): Return early on invalid
        expression.

        * gcc.dg/fold-nonneg-1.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/fold-nonneg-1.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug middle-end/27488] [4.1/4.2 regression] ICE in tree_expr_nonnegative_p

[reichelt at gcc dot gnu dot org]

------- Comment #5 from reichelt at gcc dot gnu dot org  2006-05-11 15:01 -------
Subject: Bug 27488

Author: reichelt
Date: Thu May 11 15:01:40 2006
New Revision: 113700

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=113700
Log:
        PR middle-end/27488
        * fold-const.c (tree_expr_nonnegative_p): Return early on invalid
        expression.

        * gcc.dg/fold-nonneg-1.c: New test.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/fold-nonneg-1.c
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/fold-const.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug middle-end/27488] [4.1/4.2 regression] ICE in tree_expr_nonnegative_p

[reichelt at gcc dot gnu dot org]

------- Comment #6 from reichelt at gcc dot gnu dot org  2006-05-11 15:02 -------
Fixed on mainline and 4.1 branch.


-- 

reichelt at gcc dot gnu dot org changed:

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


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

[Bug middle-end/27488] [4.1/4.2 regression] ICE in tree_expr_nonnegative_p

[patchapp at dberlin dot org]

------- Comment #7 from patchapp at dberlin dot org  2006-05-15 19:40 -------
Subject: Bug number PR27488

A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is
http://gcc.gnu.org/ml/gcc-patches/2006-05/msg00444.html


-- 


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