diff options
| author | Richard Biener <rguenther@suse.de> | 2018-08-29 14:12:25 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2018-08-29 14:12:25 +0000 |
| commit | 6214d5c7e7470bdd5ecbeae668c2522551bfebbc (patch) | |
| tree | 7abbd12de9fe52419e5e7738b933a729107ffe6e /gcc/tree.h | |
| parent | 66e5825973556c8db6fc2cf19179397506b0b101 (diff) | |
| download | gcc-6214d5c7e7470bdd5ecbeae668c2522551bfebbc.zip gcc-6214d5c7e7470bdd5ecbeae668c2522551bfebbc.tar.gz gcc-6214d5c7e7470bdd5ecbeae668c2522551bfebbc.tar.bz2 | |
tree-core.h: Document use of deprecated_flag in SSA_NAME.
2018-08-29 Richard Biener <rguenther@suse.de>
* tree-core.h: Document use of deprecated_flag in SSA_NAME.
* tree.h (SSA_NAME_POINTS_TO_READONLY_MEMORY): Define.
* tree-into-ssa.c (pass_build_ssa::execute): Initialize
function parameters SSA_NAME_POINTS_TO_READONLY_MEMORY from fnspec.
* tree-ssa-sccvn.c (const_parms, init_const_parms): Remove.
(vn_reference_lookup_3): Remove use of const_parms.
(free_rpo_vn): Do not free const_parms.
(do_rpo_vn): Do not call init_const_parms.
* tree-ssa-alias.c (refs_may_alias_p_1): Honor
SSA_NAME_POINTS_TO_READONLY_MEMORY.
(call_may_clobber_ref_p_1): Likewise.
From-SVN: r263958
Diffstat (limited to 'gcc/tree.h')
| -rw-r--r-- | gcc/tree.h | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -1743,6 +1743,13 @@ extern tree maybe_wrap_with_location (tree, location_t); #define SSA_NAME_IS_DEFAULT_DEF(NODE) \ SSA_NAME_CHECK (NODE)->base.default_def_flag +/* Nonzero if this SSA_NAME is known to point to memory that may not + be written to. This is set for default defs of function parameters + that have a corresponding r or R specification in the functions + fn spec attribute. This is used by alias analysis. */ +#define SSA_NAME_POINTS_TO_READONLY_MEMORY(NODE) \ + SSA_NAME_CHECK (NODE)->base.deprecated_flag + /* Attributes for SSA_NAMEs for pointer-type variables. */ #define SSA_NAME_PTR_INFO(N) \ SSA_NAME_CHECK (N)->ssa_name.info.ptr_info |