[PATCH] Fix PRs 79955 and 79956 (hopefully)

Jakub Jelinek jakub@redhat.com
Wed Mar 8 10:18:00 GMT 2017


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  <rguenther@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



More information about the Gcc-patches mailing list