diff options
| author | Richard Biener <rguenther@suse.de> | 2016-11-11 12:53:36 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2016-11-11 12:53:36 +0000 |
| commit | d07f8c591acf1ed2f99873464093b8729a8da0f2 (patch) | |
| tree | 0252505042f9bed107f88180981e1af3b6ada3e7 /gcc/tree-ssa-uninit.c | |
| parent | 495d8b0f033533909bc9bcc4aa246864ccb9136b (diff) | |
re PR middle-end/78295 (Spurious -Wuninitialized warning for vector element assignment)
2016-11-11 Richard Biener <rguenther@suse.de>
PR middle-end/78295
* tree-ssa-uninit.c (warn_uninitialized_vars): Do not warn
about uninitialized destination arg of BIT_INSERT_EXPR.
* gcc.dg/uninit-pr78295.c: New testcase.
From-SVN: r242068
Diffstat (limited to 'gcc/tree-ssa-uninit.c')
| -rw-r--r-- | gcc/tree-ssa-uninit.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/tree-ssa-uninit.c b/gcc/tree-ssa-uninit.c index 13448548e0e..dfee0ea72d1 100644 --- a/gcc/tree-ssa-uninit.c +++ b/gcc/tree-ssa-uninit.c @@ -212,6 +212,14 @@ warn_uninitialized_vars (bool warn_possibly_uninitialized) can warn about. */ FOR_EACH_SSA_USE_OPERAND (use_p, stmt, op_iter, SSA_OP_USE) { + /* BIT_INSERT_EXPR first operand should not be considered + a use for the purpose of uninit warnings. */ + if (gassign *ass = dyn_cast <gassign *> (stmt)) + { + if (gimple_assign_rhs_code (ass) == BIT_INSERT_EXPR + && use_p->use == gimple_assign_rhs1_ptr (ass)) + continue; + } use = USE_FROM_PTR (use_p); if (always_executed) warn_uninit (OPT_Wuninitialized, use, SSA_NAME_VAR (use), |