------- Comment #18 from mueller at gcc dot gnu dot org 2007-03-07 22:03 ------- IIRC there are some cases that are only caught in the 2nd vrp run. It is still a possibility if this bug cannot be fixed otherwise.
However, I don't see the issue with this testcase. a) its not a flex array b) the unrolled loop produces out of bounds accesses c) hence, the unrolled version cannot ever be used d) it shouldn't be produced in the first place. we can turn this bug about a false positive warning into a code bloat regression by removing the warning (or disabling it from -Wall). That doesn't fix it though. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31058
