[Bug tree-optimization/15791] fold misses that two ADDR_EXPR of an arrary obvious not equal

[rguenth at tat dot physik dot uni-tuebingen dot de]

------- Additional Comments From rguenth at tat dot physik dot uni-tuebingen dot de  2005-01-26 14:35 -------
Could we, in general, fold  &a[i] TRUTHOP &a[j] to i TRUTHOP j?  I guess the
only special case would be for sizeof(a[i]) == 0 -- but that is not allowed
by the standard?  I'll be wading through fold tomorrow and look where to add
this transformation.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at tat dot physik
                   |                            |dot uni-tuebingen dot de


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