On Wed, Mar 08, 2017 at 11:12:47AM +0100, 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.
>
> Bootstrap and regtest running on x86_64-unknown-linux-gnu.
LGTM, thanks.
> 2017-03-08 Richard Biener <rguent...@suse.de>
>
> PR tree-optimization/79955
> PR tree-optimization/79956
> * tree-ssa-uninit.c (warn_uninitialized_vars): Do not warn
> for accesses that are completely outside of the variable.
>
> * gcc.dg/uninit-24.c: New testcase.
Jakub
