diff options
author | Richard Biener <rguenther@suse.de> | 2020-03-18 09:13:17 +0100 |
---|---|---|
committer | Richard Biener <rguenther@suse.de> | 2020-03-18 09:14:48 +0100 |
commit | 4e3d3e40726e1b68bf52fa205c68495124ea60b8 (patch) | |
tree | c40b5b145bca1448d3196a5857b9fd30bbd77c8f /gcc/asan.c | |
parent | af8656be8df68ac26840f7844430fd595255ebd2 (diff) | |
download | gcc-4e3d3e40726e1b68bf52fa205c68495124ea60b8.zip gcc-4e3d3e40726e1b68bf52fa205c68495124ea60b8.tar.gz gcc-4e3d3e40726e1b68bf52fa205c68495124ea60b8.tar.bz2 |
middle-end/94188 fix fold of addr expression generation
This adds a missing type conversion to build_fold_addr_expr and adjusts
fallout - build_fold_addr_expr was used as a convenience to build an
ADDR_EXPR but some callers do not expect the result to be simplified
to something else.
2020-03-18 Richard Biener <rguenther@suse.de>
PR middle-end/94188
* fold-const.c (build_fold_addr_expr): Convert address to
correct type.
* asan.c (maybe_create_ssa_name): Strip useless type conversions.
* gimple-fold.c (gimple_fold_stmt_to_constant_1): Use build1
to build the ADDR_EXPR which we don't really want to simplify.
* tree-ssa-dom.c (record_equivalences_from_stmt): Likewise.
* tree-ssa-loop-im.c (gather_mem_refs_stmt): Likewise.
* tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Likewise.
(simplify_builtin_call): Strip useless type conversions.
* tree-ssa-strlen.c (new_strinfo): Likewise.
* gcc.dg/pr94188.c: New testcase.
Diffstat (limited to 'gcc/asan.c')
-rw-r--r-- | gcc/asan.c | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -62,6 +62,7 @@ along with GCC; see the file COPYING3. If not see #include "builtins.h" #include "fnmatch.h" #include "tree-inline.h" +#include "tree-ssa.h" /* AddressSanitizer finds out-of-bounds and use-after-free bugs with <2x slowdown on average. @@ -2061,10 +2062,10 @@ static tree maybe_create_ssa_name (location_t loc, tree base, gimple_stmt_iterator *iter, bool before_p) { + STRIP_USELESS_TYPE_CONVERSION (base); if (TREE_CODE (base) == SSA_NAME) return base; - gimple *g = gimple_build_assign (make_ssa_name (TREE_TYPE (base)), - TREE_CODE (base), base); + gimple *g = gimple_build_assign (make_ssa_name (TREE_TYPE (base)), base); gimple_set_location (g, loc); if (before_p) gsi_insert_before (iter, g, GSI_SAME_STMT); |