[Bug tree-optimization/22319] New: tree check: expected integer_cst, have cond_expr tree-ssa-structalias.c:2410

[Bug tree-optimization/22319] New: tree check: expected integer_cst, have cond_expr tree-ssa-structalias.c:2410

[danglin at gcc dot gnu dot org]

../../xgcc -B../../  -c -g -O2 -fPIC -DELF=1 -DLINUX=1      -W -Wall -gnatpg  g-
socket.adb -o g-socket.o
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050705 (experimental) (hppa-unknown-linux-gnu) GCC error:        |
| tree check: expected integer_cst, have cond_expr in                      |
|    do_structure_copy, at tree-ssa-structalias.c:2410                     |
| Error detected at g-socket.adb:2246: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.

Doesn't fail at -O0.

-- 
           Summary: tree check: expected integer_cst, have cond_expr tree-
                    ssa-structalias.c:2410
           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=22319

[Bug tree-optimization/22319] [4.1 Regression] tree check: expected integer_cst, have cond_expr tree-ssa-structalias.c:2410

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-06 01:59 -------
And I just ran into this too.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia 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      |hppa-linux-gnu, powerpc-
                   |                            |darwin
           Keywords|                            |build, ice-on-valid-code
            Summary|tree check: expected        |[4.1 Regression] tree check:
                   |integer_cst, have cond_expr |expected integer_cst, have
                   |tree-ssa-structalias.c:2410 |cond_expr tree-ssa-
                   |                            |structalias.c:2410
   Target Milestone|---                         |4.1.0


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

[Bug tree-optimization/22319] [4.1 Regression] tree check: expected integer_cst, have cond_expr tree-ssa-structalias.c:2410

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dberlin at gcc dot gnu dot
                   |                            |org


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

[Bug tree-optimization/22319] [4.1 Regression] tree check: expected integer_cst, have cond_expr tree-ssa-structalias.c:2410

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-06 02:05 -------
This looks like PR 22140.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22140


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

[Bug tree-optimization/22319] [4.1 Regression] tree check: expected integer_cst, have cond_expr tree-ssa-structalias.c:2410

[schwab at suse dot de]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |schwab at suse dot de


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

[Bug tree-optimization/22319] [4.1 Regression] tree check: expected integer_cst, have cond_expr tree-ssa-structalias.c:2410

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2005-07-06 12:20 -------
It has also been reported on ia64-linux by Geert.

http://gcc.gnu.org/ml/gcc/2005-07/msg00209.html

bt on my x86_64-linux machine

#0  internal_error (gmsgid=0xb4e6c0 "tree check: %s, have %s in %s, at %s:%d")
at /home/guerby/work/gcc/version-head/gcc/diagnostic.c:530
#1  0x00000000008e793d in tree_check_failed (node=0x2a9661fe10, file=0xb53dd0
"/home/guerby/work/gcc/version-head/gcc/tree-ssa-structalias.c", line=2410,
function=0xcc2490 "do_structure_copy")
    at /home/guerby/work/gcc/version-head/gcc/tree.c:5612
#2  0x000000000092817e in do_structure_copy (lhsop=0x2a95c9f240,
rhsop=0x2a95c9e270) at
/home/guerby/work/gcc/version-head/gcc/tree-ssa-structalias.c:2410
#3  0x00000000009284b6 in find_func_aliases (t=0x2a95ca0320) at
/home/guerby/work/gcc/version-head/gcc/tree-ssa-structalias.c:2495
#4  0x000000000092b51b in create_alias_vars () at
/home/guerby/work/gcc/version-head/gcc/tree-ssa-structalias.c:3201
#5  0x0000000000910cc6 in execute_one_pass (pass=0xcc27c0) at
/home/guerby/work/gcc/version-head/gcc/passes.c:776
#6  0x0000000000910dec in execute_pass_list (pass=0xcc27c0) at
/home/guerby/work/gcc/version-head/gcc/passes.c:808
#7  0x0000000000910dfe in execute_pass_list (pass=0xcb0040) at
/home/guerby/work/gcc/version-head/gcc/passes.c:809
#8  0x000000000064a7e5 in tree_rest_of_compilation (fndecl=0x2a9677c5b0) at
/home/guerby/work/gcc/version-head/gcc/tree-optimize.c:419
#9  0x000000000041bfa3 in gnat_expand_body (gnu_decl=0x2a9677c5b0) at
/home/guerby/work/gcc/version-head/gcc/ada/misc.c:636
#10 0x0000000000957cb6 in cgraph_expand_function (node=0x2a959da340) at
/home/guerby/work/gcc/version-head/gcc/cgraphunit.c:1033
#11 0x0000000000959b26 in cgraph_optimize () at
/home/guerby/work/gcc/version-head/gcc/cgraphunit.c:1099
#12 0x000000000041b49a in gnat_parse_file (set_yydebug=Variable "set_yydebug" is
not available.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
 GCC target triplet|hppa-linux-gnu, powerpc-    |hppa-linux-gnu, powerpc-
                   |darwin                      |darwin,x86_64-linux
   Last reconfirmed|0000-00-00 00:00:00         |2005-07-06 12:20:52
               date|                            |


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

[Bug tree-optimization/22319] [4.1 Regression] tree check: expected integer_cst, have cond_expr tree-ssa-structalias.c:2410

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-06 13:37 -------
I can confirm this is fixed by the patch for PR 22140, posted here: 
http://gcc.gnu.org/ml/gcc/2005-07/msg00216.html

-- 


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

[Bug tree-optimization/22319] [4.1 Regression] tree check: expected integer_cst, have cond_expr tree-ssa-structalias.c:2410

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-07-06 16:50 -------
Subject: Bug 22319

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	dberlin@gcc.gnu.org	2005-07-06 16:50:00

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

Log message:
	2005-07-06  Daniel Berlin  <dberlin@dberlin.org>
	
	Fix PR tree-optimization/22319
	Fix PR tree-optimization/22140
	Fix PR tree-optimization/22310
	
	* tree-ssa-structalias.c (do_structure_copy): Give up earlier on
	variable sized types.
	Use correct type for intermediate structure on *a = *b structure
	copies.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9356&r2=2.9357
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-structalias.c.diff?cvsroot=gcc&r1=2.12&r2=2.13



-- 


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

[Bug tree-optimization/22319] [4.1 Regression] tree check: expected integer_cst, have cond_expr tree-ssa-structalias.c:2410

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-06 17:31 -------
Fixed.

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


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

[Bug tree-optimization/22319] [4.1 Regression] tree check: expected integer_cst, have cond_expr tree-ssa-structalias.c:2410

[pinskia at gcc dot gnu dot org]

-- 
Bug 22319 depends on bug 22140, which changed state.

Bug 22140 Summary: [4.1 Regression] ACATS ICE c37213j c37213l do_structure_copy, at tree-ssa-structalias.c:2372
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22140

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED

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