------- Additional Comments From pinskia at gcc dot gnu dot org 2005-04-30 01:46 ------- For VRP to catch this, extract_range_from_unary_expr has to be enhanced to deal with ADDR_EXPR. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21294