[Bug tree-optimization/18727] [4.0 Regression] ACATS c43214c fails at runtime (aliasing pb)

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2005-02-22 09:47 -------
Hum, this one is really tricky.  It's indeed an aliasing problem and I think
your reduced, reduced testcase demonstrates that there might be a hole in the
flow-insensitive alias analysis for pointers that escape but are neither
explicitly dereferenced nor passed as explicit arguments to a function.  I'll
ask the powers that be about this.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.0 Regression] ACATS      |[4.0 Regression] ACATS
                   |c43214c fails at runtime    |c43214c fails at runtime
                   |(tree-dce/aliasing bug)     |(aliasing pb)


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