[Bug ada/21076] New: ACATs ICE cxg2009 and cxh1001 at tree-vrp.c:124

[Bug ada/21076] New: ACATs ICE cxg2009 and cxh1001 at tree-vrp.c:124

[laurent at guerby dot net]

Present both on x86 and x86_64.

/home/guerby/work/gcc/build/build-20050417T162122/gcc/xgcc -c
-B/home/guerby/work/gcc/build/build-20050417T162122/gcc/ -gnatws -O2
-I/home/guerby/work/gcc/build/build-20050417T162122/gcc/testsuite/ada/acats/support
cxg2009.adb
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050417 (experimental) (i686-pc-linux-gnu) GCC error:             |
| in set_value_range, at tree-vrp.c:124                                    |
| Error detected at cxg2009.adb:421:5                                      |


/home/guerby/work/gcc/build/build-20050417T162122/gcc/xgcc -c
-B/home/guerby/work/gcc/build/build-20050417T162122/gcc/ -gnatws -O2
-I/home/guerby/work/gcc/build/build-20050417T162122/gcc/testsuite/ada/acats/support
cxh1001_0.adb
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050417 (experimental) (i686-pc-linux-gnu) GCC error:             |
| in set_value_range, at tree-vrp.c:124                                    |
| Error detected at cxh1001_0.adb:153:1                                    |

-- 
           Summary: ACATs ICE cxg2009 and cxh1001 at tree-vrp.c:124
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: laurent at guerby dot net
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug tree-optimization/21076] [4.1 Regression] ACATs ICE cxg2009 and cxh1001 at tree-vrp.c:124

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dnovillo at gcc dot gnu dot
                   |                            |org
          Component|ada                         |tree-optimization
            Summary|ACATs ICE cxg2009 and       |[4.1 Regression] ACATs ICE
                   |cxh1001 at tree-vrp.c:124   |cxg2009 and cxh1001 at tree-
                   |                            |vrp.c:124
   Target Milestone|---                         |4.1.0


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

[Bug tree-optimization/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2005-04-30 20:47 -------
cxg2009 is no longer failing, it started to PASS between

LAST_UPDATED: Tue Apr 26 21:38:28 UTC 2005
LAST_UPDATED: Sat Apr 30 15:50:39 UTC 2005

Still same ICE on cxh1001.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.1 Regression] ACATs ICE  |[4.1 Regression] ACATs ICE
                   |cxg2009 and cxh1001 at tree-|cxh1001 at tree-vrp.c:124
                   |vrp.c:124                   |


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

[Bug tree-optimization/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2005-05-05 11:56 -------
Seems to be fixed on HEAD as of LAST_UPDATED: Thu May  5 08:05:40 UTC 2005
on x86 and x86_64-linux:

http://gcc.gnu.org/ml/gcc-testresults/2005-05/msg00284.html
http://gcc.gnu.org/ml/gcc-testresults/2005-05/msg00285.html


-- 


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

[Bug tree-optimization/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124

[kazu at cs dot umass dot edu]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |18373


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

[Bug tree-optimization/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-19 15:26 -------
I think I fixed the bug which removed the non useless casts.  Diego wasn't there a workaround in VRP 
for this bug?

-- 


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

[Bug tree-optimization/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2005-06-19 15:53 -------
Likely workaround'ed by the following commit:

2005-05-02  Diego Novillo  <dnovillo@redhat.com>

	* tree-vrp.c (set_value_range_to_nonnull): Declare inline.
	(set_value_range_to_null): Likewise.
	(set_value_range_to_varying): New function.  Use it in all
	call sites that used to call set_value_range (vr, VR_VARYING, ...).
	(extract_range_from_assert): If the integral type has a
	super-type, and LIMIT is not within MIN and MAX values of that
	type, set the resulting range to VR_VARYING.

May be we should confirm or close this one? Or is there something still pending?


-- 


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

[Bug tree-optimization/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-19 23:15 -------
(In reply to comment #3)
> I think I fixed the bug which removed the non useless casts.  Diego wasn't there a workaround in VRP 
> for this bug?

I should say the following patch fixed the removing of the non useless casts:
        * tree-ssa.c (tree_ssa_useless_type_conversion_1): Conversions between
        integer types whos ranges are different are not useless.
Which was PR 21923, we had got another ICE in VRP because of that.

-- 


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

[Bug middle-end/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124 (fold bug)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-07 19:52 -------
See also:
http://gcc.gnu.org/ml/gcc/2005-06/msg01071.html
and
http://gcc.gnu.org/ml/gcc/2005-06/msg01065.html

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
          Component|tree-optimization           |middle-end
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-07-07 19:52:19
               date|                            |
            Summary|[4.1 Regression] ACATs ICE  |[4.1 Regression] ACATs ICE
                   |cxh1001 at tree-vrp.c:124   |cxh1001 at tree-vrp.c:124
                   |                            |(fold bug)


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

[Bug middle-end/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124 (fold bug)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-11 05:45 -------
I am taking care of this since I am touching build_range_check already for another type problem.

-- 
           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=21076

[Bug middle-end/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124 (fold bug)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-11 19:38 -------
Patch posted here: <http://gcc.gnu.org/ml/gcc-patches/2005-07/msg00771.html>.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2005-
                   |                            |07/msg00771.html
           Keywords|                            |patch


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

[Bug middle-end/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124 (fold bug)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-14 02:20 -------
No longer working on this.

-- 
           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=21076

[Bug middle-end/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124 (fold bug)

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2005-09-08 18:25 -------

What's the status of this bug?  Do we still ICE?


-- 


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

[Bug middle-end/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124 (fold bug)

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2005-09-08 18:29 -------
Passing on x86 and x86_64-linux (same situation as in my #4 comment).

-- 


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

[Bug middle-end/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124 (fold bug)

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2005-09-08 18:33 -------
(In reply to comment #11)
> Passing on x86 and x86_64-linux (same situation as in my #4 comment).
>
OK, thanks.  Closing.  It can always be re-opened later.



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


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

[Bug middle-end/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124 (fold bug)

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2005-09-08 18:35 -------
> Passing on x86 and x86_64-linux (same situation as in my #4 comment).

Yup.


-- 


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

[Bug middle-end/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124 (fold bug)

[pinskia at gcc dot gnu dot org]

-- 
Bug 21076 depends on bug 18373, which changed state.

Bug 18373 Summary: [meta-bug] VRP Value Range Propagation
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18373

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

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