From 1dc5814cc55f11a4256d3c41563fb7cde31d060b Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Fri, 17 Feb 2017 10:43:27 +0000 Subject: [PATCH] re PR inline-asm/79552 (Wrong code generation due to -fschedule-insns, with __restrict__ and inline asm) 2017-02-17 Richard Biener PR tree-optimization/79552 * tree-ssa-structalias.c (visit_loadstore): Properly verify default defs. From-SVN: r245528 --- gcc/ChangeLog | 6 ++++++ gcc/tree-ssa-structalias.c | 10 ++++++++-- 2 files changed, 14 insertions(+), 2 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 96ae59a..03f490f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2017-02-17 Richard Biener + PR tree-optimization/79552 + * tree-ssa-structalias.c (visit_loadstore): Properly verify + default defs. + +2017-02-17 Richard Biener + PR bootstrap/79567 * genmatch.c (output_line_directive): Handle DIR_SEPARATOR_2. diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c index 390d5bb..c043e5e 100644 --- a/gcc/tree-ssa-structalias.c +++ b/gcc/tree-ssa-structalias.c @@ -7296,9 +7296,15 @@ visit_loadstore (gimple *, tree base, tree ref, void *data) || TREE_CODE (base) == TARGET_MEM_REF) { tree ptr = TREE_OPERAND (base, 0); - if (TREE_CODE (ptr) == SSA_NAME - && ! SSA_NAME_IS_DEFAULT_DEF (ptr)) + if (TREE_CODE (ptr) == SSA_NAME) { + /* For parameters, get at the points-to set for the actual parm + decl. */ + if (SSA_NAME_IS_DEFAULT_DEF (ptr) + && (TREE_CODE (SSA_NAME_VAR (ptr)) == PARM_DECL + || TREE_CODE (SSA_NAME_VAR (ptr)) == RESULT_DECL)) + ptr = SSA_NAME_VAR (ptr); + /* We need to make sure 'ptr' doesn't include any of the restrict tags we added bases for in its points-to set. */ varinfo_t vi = lookup_vi_for_tree (ptr); -- 2.7.4