[Bug ada/22026] New: ACATS FAIL C45331A fixed point wrong code

[Bug ada/22026] New: ACATS FAIL C45331A fixed point wrong code

[laurent at guerby dot net]

4.1.0 20050611 on x86_64
Fri Jun 10 20:07:24 UTC 2005

,.,. C45331A ACATS 2.5 05-06-11 23:20:58
---- C45331A CHECK THAT FOR FIXED POINT TYPES THE OPERATORS "+" AND "-" 
                PRODUCE CORRECT RESULTS - BASIC TYPES.
   * C45331A -1000.0 + 1000.0 /= 0.0.
**** C45331A FAILED ****************************.

-- 
           Summary: ACATS FAIL C45331A fixed point wrong code
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: wrong-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=22026

[Bug ada/22026] [4.1 Regression] ACATS FAIL C45331A fixed point wrong code

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-14 02:32 -------
Also happens on powerpc-darwin, might be a generic bug, I have not looked into what is going wrong.  

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
 GCC target triplet|                            |powerpc-darwin, x86_64-pc-
                   |                            |linux-gnu
            Summary|ACATS FAIL C45331A fixed    |[4.1 Regression] ACATS FAIL
                   |point wrong code            |C45331A fixed point wrong
                   |                            |code
   Target Milestone|---                         |4.1.0


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

[Bug ada/22026] [4.1 Regression] ACATS FAIL C45331A fixed point wrong code

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-18 17:57 -------
VRP is causing it:
   min.14_397 = min.14_393;
   max.6_398 = max.6_377;
   D.554_399 = min.14_397 + max.6_398;
-  if (D.554_399 != 0) goto <L29>; else goto <L30>;
-
-<L29>:;
   D.555 = C.17;



-- 


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

[Bug tree-optimization/22026] [4.1 Regression] ACATS FAIL C45331A fixed point wrong code

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-18 18:02 -------
Confirmed, C testcase:
int f(int x, int y)
{
  if (x != 0)
    if (y != 0)
      {
        int t = x + y;
        if (t != 0)
          return 1;
      }
  return 0;
}
void abort ();
int main (void)
{
  int t = f(1, -1);
  if (t != 0)
   abort ();
}

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dnovillo at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
          Component|ada                         |tree-optimization
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-06-18 18:02:32
               date|                            |


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

[Bug tree-optimization/22026] [4.1 Regression] ACATS FAIL C45331A fixed point wrong code (VRP related)

[kazu at cs dot umass dot edu]

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

[Bug tree-optimization/22026] [4.1 Regression] ACATS FAIL C45331A fixed point wrong code (VRP related)

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2005-06-21 20:10 -------
Kazu, your patch does fix the problem, thanks!

http://gcc.gnu.org/ml/gcc-testresults/2005-06/msg01293.html

-- 


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

[Bug tree-optimization/22026] [4.1 Regression] ACATS FAIL C45331A fixed point wrong code (VRP related)

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-06-26 03:49 -------
Subject: Bug 22026

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	kazu@gcc.gnu.org	2005-06-26 03:49:20

Modified files:
	gcc            : ChangeLog tree-vrp.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.dg/tree-ssa: pr22026.c 

Log message:
	gcc/
	PR tree-optimization/22026
	* tree-vrp.c (extract_range_from_binary_expr): Drop to
	VR_VARYING if a binary expression involving VR_ANTI_RANGE is
	PLUS_EXPR, MINUS_EXPR, or unsigned MULT_EXPR.
	
	testsuite/
	PR tree-optimization/22026
	* gcc.dg/tree-ssa/pr22026.c: New.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9227&r2=2.9228
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-vrp.c.diff?cvsroot=gcc&r1=2.35&r2=2.36
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.5685&r2=1.5686
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/tree-ssa/pr22026.c.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug tree-optimization/22026] [4.1 Regression] ACATS FAIL C45331A fixed point wrong code (VRP related)

[kazu at cs dot umass dot edu]

------- Additional Comments From kazu at cs dot umass dot edu  2005-06-26 03:51 -------
Just checked in a patch.


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


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