------- Comment #21 from rakdver at atrey dot karlin dot mff dot cuni dot cz 2007-03-08 15:43 ------- Subject: Re: overflow warnings should not be enabled with -Wall
> I think the description doesn't match the real bug, as explained in comment > #14 > and #18. > > And comment #6 may have a wink but I think it summarises why the testcase in > comment #3 deserves a warning. > > I have my own opinion about whether "out-of-bounds array access warnings > should > not be enabled by -Wall" but I don't think this bug report is about that, so > those advocating the former should open a new bug report with testcases to > support their position and the description of this bug should be something > similar to "fprefetch-loop-arrays generates code known unreachable at compile > time". "suspected to be unreachable at compile time". It would be valid for the array to extend beyond the structure, hence the compiler cannot prove that the unrolled loop body is really unreachable. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31058
