diff options
| author | Richard Biener <rguenther@suse.de> | 2017-03-02 13:42:05 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2017-03-02 13:42:05 +0000 |
| commit | e80facb4afaaa4d42b17f6970e9738f7c293f522 (patch) | |
| tree | 1ae9c4a7112cdf29926e13b25e432f7a93f48b81 /gcc/tree-ssa-alias.h | |
| parent | f03e92172a78fbb7beab293ced88b161b2cfb4c5 (diff) | |
re PR tree-optimization/79345 (passing yet-uninitialized member as argument to base class constructor should warn (-Wunitialized))
2017-03-02 Richard Biener <rguenther@suse.de>
PR tree-optimization/79345
PR c++/42000
* tree-ssa-alias.c (walk_aliased_vdefs_1): Take a limit
param and abort the walk, returning -1 if it is hit.
(walk_aliased_vdefs): Take a limit param and pass it on.
* tree-ssa-alias.h (walk_aliased_vdefs): Add a limit param,
defaulting to 0 and return a signed int.
* tree-ssa-uninit.c (struct check_defs_data): New struct.
(check_defs): New helper.
(warn_uninitialized_vars): Use walk_aliased_vdefs to warn
about uninitialized memory.
* fixed-value.c (fixed_from_string): Use ulow/uhigh to avoid
bogus uninitialized warning.
(fixed_convert_from_real): Likewise.
* g++.dg/warn/Wuninitialized-7.C: New testcase.
* c-c++-common/ubsan/bounds-2.c: Add -Wno-uninitialized.
* gcc.dg/uninit-pr19430-2.c: Add expected warning.
From-SVN: r245840
Diffstat (limited to 'gcc/tree-ssa-alias.h')
| -rw-r--r-- | gcc/tree-ssa-alias.h | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/gcc/tree-ssa-alias.h b/gcc/tree-ssa-alias.h index a8c437676b7..8c89c693c39 100644 --- a/gcc/tree-ssa-alias.h +++ b/gcc/tree-ssa-alias.h @@ -131,10 +131,11 @@ extern void *walk_non_aliased_vuses (ao_ref *, tree, void *(*)(ao_ref *, tree, void *, bool *), tree (*)(tree), void *); -extern unsigned int walk_aliased_vdefs (ao_ref *, tree, - bool (*)(ao_ref *, tree, void *), - void *, bitmap *, - bool *function_entry_reached = NULL); +extern int walk_aliased_vdefs (ao_ref *, tree, + bool (*)(ao_ref *, tree, void *), + void *, bitmap *, + bool *function_entry_reached = NULL, + unsigned int limit = 0); extern void dump_alias_info (FILE *); extern void debug_alias_info (void); extern void dump_points_to_solution (FILE *, struct pt_solution *); |