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 96ae59a0a7e..03f490fbf37 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +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 diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c index 390d5bba2fd..c043e5ec3a6 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.30.2