On 03/08/2017 03:12 AM, Richard Biener wrote:
FWIW, I want to do isolation of o-o-b array accesses and this would likely fit into that reasonably well.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.
jeff