[Bug tree-optimization/51721] -Warray-bounds false positives and inconsistencies

[jakub at gcc dot gnu.org]

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-01 
00:18:06 UTC ---
Created attachment 26209
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26209
gcc47-pr51721.patch

So far completely untested patch to optimize that if (s >> 1 == 0) by VRP.