[Bug tree-optimization/20936] New: [4.1 Regression] tree check: accessed operand 2 of view_convert_expr with 1 operands

[Bug tree-optimization/20936] New: [4.1 Regression] tree check: accessed operand 2 of view_convert_expr with 1 operands

[danglin at gcc dot gnu dot org]

stage1/xgcc -Bstage1/ -B/home/dave/opt/gnu/gcc/gcc-4.1.0/hppa-linux/bin/ -c -g -
O2      -gnatpg -gnata -I- -I. -Iada -I../../gcc/gcc/ada ../../gcc/gcc/ada/errou
t.adb -o ada/errout.o
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050410 (experimental) (hppa-unknown-linux-gnu) GCC error:        |
| tree check: accessed operand 2 of view_convert_expr with 1 operands      |
|    in visit_assignment, at tree-ssa-ccp.c:1074                           |
| Error detected at errout.adb:2563:1                                      |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Use a subject line meaningful to you and us to track the bug.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.

../../gcc/gcc/ada/errout.adb
../../gcc/gcc/ada/errout.ads
../../gcc/gcc/ada/err_vars.ads
../../gcc/gcc/ada/types.ads
../../gcc/gcc/ada/uintp.ads
../../gcc/gcc/ada/alloc.ads
../../gcc/gcc/ada/table.ads
../../gcc/gcc/ada/erroutc.ads
../../gcc/gcc/ada/atree.ads
../../gcc/gcc/ada/sinfo.ads
../../gcc/gcc/ada/urealp.ads
../../gcc/gcc/ada/einfo.ads
../../gcc/gcc/ada/snames.ads
../../gcc/gcc/ada/casing.ads
../../gcc/gcc/ada/csets.ads
../../gcc/gcc/ada/debug.ads
../../gcc/gcc/ada/fname.ads
../../gcc/gcc/ada/hostparm.ads
../../gcc/gcc/ada/lib.ads
../../gcc/gcc/ada/namet.ads
../../gcc/gcc/ada/opt.ads
../../gcc/gcc/ada/gnatvsn.ads
../../gcc/gcc/ada/nlists.ads
../../gcc/gcc/ada/output.ads
../../gcc/gcc/ada/scans.ads
../../gcc/gcc/ada/sinput.ads
../../gcc/gcc/ada/stand.ads
../../gcc/gcc/ada/style.ads
../../gcc/gcc/ada/styleg.ads
../../gcc/gcc/ada/styleg-c.ads
../../gcc/gcc/ada/uname.ads
../../gcc/gcc/ada/table.adb
../../gcc/gcc/ada/tree_io.ads
../../gcc/gcc/ada/atree.adb
../../gcc/gcc/ada/elists.ads


raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:381
make[2]: *** [ada/errout.o] Error 1
make[2]: Leaving directory `/home/dave/gcc-4.1/objdir/gcc'
make[1]: *** [stage2_build] Error 2
make[1]: Leaving directory `/home/dave/gcc-4.1/objdir/gcc'
make: *** [bootstrap] Error 2
Sun Apr 10 15:08:11 PDT 2005

I hit this after "fixing" the varasm.c bug noted in PR 20934.

-- 
           Summary: [4.1 Regression] tree check: accessed operand 2 of
                    view_convert_expr with 1 operands
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: danglin at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: hppa-unknown-linux-gnu
  GCC host triplet: hppa-unknown-linux-gnu
GCC target triplet: hppa-unknown-linux-gnu


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

[Bug tree-optimization/20936] [4.1 Regression] tree check: accessed operand 2 of view_convert_expr with 1 operands

[danglin at gcc dot gnu dot org]

------- Additional Comments From danglin at gcc dot gnu dot org  2005-04-10 22:44 -------
Created an attachment (id=8581)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8581&action=view)
Hot/cold patch.

I think there was some mention of this bug on the gcc list.

-- 


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

[Bug tree-optimization/20936] [4.1 Regression] tree check: accessed operand 2 of view_convert_expr with 1 operands

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-04-10 22:46 -------
This is reproducable every where and is a latent bug in tree-ssa-ccp on the 4.0 branch.
See <http://gcc.gnu.org/ml/gcc/2005-04/msg00443.html>
<http://gcc.gnu.org/ml/gcc/2005-04/msg00439.html>.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |kenner at vlsi1 dot ultra
                   |                            |dot nyu dot edu
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
  GCC build triplet|hppa-unknown-linux-gnu      |
   GCC host triplet|hppa-unknown-linux-gnu      |
 GCC target triplet|hppa-unknown-linux-gnu      |
           Keywords|                            |build, ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2005-04-10 22:46:45
               date|                            |
   Target Milestone|---                         |4.1.0


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

[Bug tree-optimization/20936] [4.1 Regression] tree check: accessed operand 2 of view_convert_expr with 1 operands

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-04-11 01:50 -------
(From update of attachment 8581)
Wrong PR, I am attaching this right now to PR 20934.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
Attachment #8581 is|0                           |1
           obsolete|                            |


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

[Bug tree-optimization/20936] [4.1 Regression] tree check: accessed operand 2 of view_convert_expr with 1 operands

[kazu at cs dot umass dot edu]

------- Additional Comments From kazu at cs dot umass dot edu  2005-04-15 04:05 -------
Testing the obvious fix.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |kazu at cs dot umass dot edu
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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

[Bug tree-optimization/20936] [4.1 Regression] tree check: accessed operand 2 of view_convert_expr with 1 operands

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-04-15 14:06 -------
Subject: Bug 20936

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	kazu@gcc.gnu.org	2005-04-15 14:06:11

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

Log message:
	PR tree-optimization/20936.
	* tree-ssa-ccp.c (visit_assignment): Fix a typo.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.8303&r2=2.8304
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-ccp.c.diff?cvsroot=gcc&r1=2.64&r2=2.65



-- 


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

[Bug tree-optimization/20936] [4.1 Regression] tree check: accessed operand 2 of view_convert_expr with 1 operands

[kazu at cs dot umass dot edu]

------- Additional Comments From kazu at cs dot umass dot edu  2005-04-15 14:07 -------
Just checked in a patch.


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


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