On 03/08/2017 03:12 AM, Richard Biener wrote:

The following avoids warning about completely out-of-bound accesses
as uninitialized.

For GCC8 we likely want to enhance path isolation to catch those
cases (and eventually issue a diagnostic about them).  And we
finally want to fix complete peeling to not introduce those
accesses.
FWIW, I want to do isolation of o-o-b array accesses and this would likely fit into that reasonably well.

jeff

Reply via email to