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

["pinskia at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-06-03 23:20 -------
And the reason why it can dect that &b == &c is always false comes from:
      /* If this is an equality comparison of the address of two non-weak,
         unaliased symbols neither of which are extern (since we do not
         have access to attributes for externs), then we know the result.  */

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|fold misses that two        |fold misses that two
                   |ADDR_EXPR of an arrary      |ADDR_EXPR of an arrary
                   |obvious not equal           |obvious not equal


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