diff options
| author | Richard Biener <rguenther@suse.de> | 2021-05-19 10:20:37 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2021-05-19 14:53:50 +0200 |
| commit | 2e6ad1ba532fe684633edac766c598be19ad3b59 (patch) | |
| tree | 5bd49ea00c2490aa6e960bbaa72cb1afa54cec1b /gcc/builtins.c | |
| parent | 1467100fc72562a59f70cdd4e05f6c810d1fadcc (diff) | |
| download | gcc-2e6ad1ba532fe684633edac766c598be19ad3b59.zip gcc-2e6ad1ba532fe684633edac766c598be19ad3b59.tar.gz gcc-2e6ad1ba532fe684633edac766c598be19ad3b59.tar.bz2 | |
Enable more WITH_SIZE_EXPR processing
This enables the alias machinery for WITH_SIZE_EXPR which can appear
in call LHS and arguments. In particular this drops the NULL
return from get_base_address and it adjusts get_ref_base_and_extent
and friends to use the size information in WITH_SIZE_EXPR and
look through it for further processing.
2021-05-19 Richard Biener <rguenther@suse.de>
* builtins.c (get_object_alignment_1): Strip outer
WITH_SIZE_EXPR.
* tree-dfa.c (get_ref_base_and_extent): Handle outer
WITH_SIZE_EXPR for size processing and process the
containing ref.
* tree-ssa-alias.c (ao_ref_base_alias_set): Strip
outer WITH_SIZE_EXPR.
(ao_ref_base_alias_ptr_type): Likewise.
(refs_may_alias_p_2): Allow WITH_SIZE_EXPR in ref->ref
and handle that accordingly, stripping it for the
core alias workers.
* tree.c (get_base_address): Handle WITH_SIZE_EXPR by
looking through it instead of returning NULL.
Diffstat (limited to 'gcc/builtins.c')
| -rw-r--r-- | gcc/builtins.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/builtins.c b/gcc/builtins.c index 6a2875e..b0c880d 100644 --- a/gcc/builtins.c +++ b/gcc/builtins.c @@ -924,6 +924,10 @@ bool get_object_alignment_1 (tree exp, unsigned int *alignp, unsigned HOST_WIDE_INT *bitposp) { + /* Strip a WITH_SIZE_EXPR, get_inner_reference doesn't know how to deal + with it. */ + if (TREE_CODE (exp) == WITH_SIZE_EXPR) + exp = TREE_OPERAND (exp, 0); return get_object_alignment_2 (exp, alignp, bitposp, false); } |