diff options
author | Richard Biener <rguenther@suse.de> | 2022-12-07 14:42:24 +0100 |
---|---|---|
committer | Richard Biener <rguenther@suse.de> | 2022-12-11 14:34:44 +0100 |
commit | f8d136e50e6f82cba793483d910a2b2643108508 (patch) | |
tree | 3339f7ecb0d9cd8b0b2bb00b2f8990e99dcc0a89 /gcc/tree.h | |
parent | 045592f665bcb67b75dc6b86badbe2fd44aed3e6 (diff) | |
download | gcc-f8d136e50e6f82cba793483d910a2b2643108508.zip gcc-f8d136e50e6f82cba793483d910a2b2643108508.tar.gz gcc-f8d136e50e6f82cba793483d910a2b2643108508.tar.bz2 |
tree-optimization/106904 - bogus -Wstringopt-overflow with vectors
The following avoids CSE of &ps->wp to &ps->wp.hwnd confusing
-Wstringopt-overflow by making sure to produce addresses to the
biggest container from vectorization. For this I introduce
strip_zero_offset_components which turns &ps->wp.hwnd into
&(*ps) and use that to base the vector data references on.
That will also work for addresses with variable components,
alternatively emitting pointer arithmetic via calling
get_inner_reference and gimplifying that would be possible
but likely more intrusive.
This is by no means a complete fix for all of those issues
(avoiding ADDR_EXPRs in favor of pointer arithmetic might be).
Other passes will have similar issues.
In theory that might now cause false negatives.
PR tree-optimization/106904
* tree.h (strip_zero_offset_components): Declare.
* tree.cc (strip_zero_offset_components): Define.
* tree-vect-data-refs.cc (vect_create_addr_base_for_vector_ref):
Strip zero offset components before building the address.
* gcc.dg/Wstringop-overflow-pr106904.c: New testcase.
Diffstat (limited to 'gcc/tree.h')
-rw-r--r-- | gcc/tree.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -5369,6 +5369,7 @@ extern bool tree_nop_conversion_p (const_tree, const_tree); extern tree tree_strip_nop_conversions (tree); extern tree tree_strip_sign_nop_conversions (tree); extern const_tree strip_invariant_refs (const_tree); +extern tree strip_zero_offset_components (tree); extern tree lhd_gcc_personality (void); extern void assign_assembler_name_if_needed (tree); extern bool warn_deprecated_use (tree, tree); |