[Bug c++/53239] [4.7 Regression] -ftree-vrp breaks min()

[pinskia at gcc dot gnu.org]

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

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-05-04 
21:54:03 UTC ---
  s_6 = this_5(D)->children_list_;
  x.4_39 = (long unsigned int) s_6;
  D.36426_37 = x.4_39 & 6;

I think the code is depending on undefined code dealing with alignment
requirements on pointers.