[Bug middle-end/35360] Static (base/offset/size rule) should be extended to handle array elements

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2008-02-25 11:44 -------
Confirmed.  MEM_REF might help here as we'd get

  off_1 = IDX <0 + i * 8>
  MEM_REF <aa, off_1>

and

  off_2 = IDX <4 + j * 8>
  MEM_REF <aa, off_2>

where the alias-oracle should be able to see that the accesses cannot overlap.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org
           Severity|normal                      |enhancement
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |alias, missed-optimization
   Last reconfirmed|0000-00-00 00:00:00         |2008-02-25 11:44:45
               date|                            |
            Version|unknown                     |4.3.0


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