[Bug tree-optimization/30125] New: [4.3 regression] Wrong-code due to aliasing

[Bug tree-optimization/30125] New: [4.3 regression] Wrong-code due to aliasing

[reichelt at gcc dot gnu dot org]

Since 2006-12-05 the following test is failing (used to be PR 27768):
FAIL: g++.dg/opt/alias4.C execution test

According to the testresults mailing list, the bug appeared between
rev. 119481 ( http://gcc.gnu.org/ml/gcc-testresults/2006-12/msg00154.html )
and rev. 119532 ( http://gcc.gnu.org/ml/gcc-testresults/2006-12/msg00197.html )

The testcase works correctly with -fno-strict-aliasing.


-- 
           Summary: [4.3 regression] Wrong-code due to aliasing
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: wrong-code, monitored
          Severity: normal
          Priority: P3
         Component: tree-optimization
        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=30125

[Bug tree-optimization/30125] [4.3 regression] Wrong-code due to aliasing

[reichelt at gcc dot gnu dot org]

-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.3.0


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

[Bug tree-optimization/30125] [4.3 regression] Wrong-code due to aliasing

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-12-08 21:45 -------
This should have been fixed by:
2006-12-05  Daniel Berlin  <dberlin@dberlin.org>

        * tree-ssa-structalias.c (set_used_smts): Re-fix pr29156.
        Optimize to avoid marking more SMT's as used when they aren't.


-- 


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

[Bug tree-optimization/30125] [4.3 regression] Wrong-code due to aliasing

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-12-08 21:46 -------
In fact it was:
http://gcc.gnu.org/ml/gcc-testresults/2006-12/msg00343.html


-- 

pinskia at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/30125] [4.3 regression] Wrong-code due to aliasing

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-12-08 22:16 -------
Woops wrong testcase.


-- 

pinskia at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/30125] [4.3 regression] Wrong-code due to aliasing

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |blocker
           Keywords|                            |alias


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

[Bug tree-optimization/30125] [4.3 regression] Wrong-code due to aliasing

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2006-12-13 09:00 -------
Fixed now, I don't know by what off hand but I think it was:
2006-12-11  Daniel Berlin  <dberlin@dberlin.org>

        * tree-ssa-structalias.c (handle_ptr_arith): Return false when we
        can't handle the pointer arithmetic.


-- 

pinskia at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/30125] [4.3 regression] Wrong-code due to aliasing

[bonzini at gcc dot gnu dot org]

------- Comment #5 from bonzini at gnu dot org  2007-03-16 09:03 -------
Subject: Bug 30125

Author: bonzini
Date: Fri Mar 16 09:03:10 2007
New Revision: 122980

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=122980
Log:
2007-03-16  Paolo Bonzini  <bonzini@gnu.org>

        PR rtl-optimization/30125
        * df.h (df_get_live_out): New prototype.
        * df-problems.c (df_get_live_out): New.
        (df_ri_bb_compute): Use it.

Modified:
    branches/dataflow-branch/gcc/ChangeLog.dataflow
    branches/dataflow-branch/gcc/df-problems.c
    branches/dataflow-branch/gcc/df.h


-- 


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