diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1e68758cdac098c2bd149f650ff2fa92a37c7de6..eee44a7cdda871e7651a0099a6e6fb327c963fdd 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2015-12-13 Tom de Vries <tom@codesourcery.com> + + * tree-ssa-structalias.c (find_func_clobbers): Handle sizes and kinds + parameters of GOACC_paralllel. + 2015-12-10 Jan Hubicka <hubicka@ucw.cz> * cgraph.c (cgraph_node::get_untransformed_body): Pass compressed diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c index 7420ce16f8178a992babc61e4ddde5f2a1f2259b..b34c955146d0677d76c74481641efe43e7faa6df 100644 --- a/gcc/tree-ssa-structalias.c +++ b/gcc/tree-ssa-structalias.c @@ -5089,6 +5089,8 @@ find_func_clobbers (struct function *fn, gimple *origt) case BUILT_IN_GOACC_PARALLEL: { unsigned int fnpos, argpos; + unsigned int implicit_use_args[2]; + unsigned int num_implicit_use_args = 0; switch (DECL_FUNCTION_CODE (decl)) { case BUILT_IN_GOMP_PARALLEL: @@ -5101,6 +5103,8 @@ find_func_clobbers (struct function *fn, gimple *origt) sizes, kinds, ...). */ fnpos = 1; argpos = 3; + implicit_use_args[num_implicit_use_args++] = 4; + implicit_use_args[num_implicit_use_args++] = 5; break; default: gcc_unreachable (); @@ -5121,6 +5125,18 @@ find_func_clobbers (struct function *fn, gimple *origt) process_constraint (new_constraint (lhs, *rhsp)); rhsc.truncate (0); + /* Handle parameters used by the call, but not used in cfi, as + implicitly used by cfi. */ + lhs = get_function_part_constraint (cfi, fi_uses); + for (unsigned i = 0; i < num_implicit_use_args; ++i) + { + tree arg = gimple_call_arg (t, implicit_use_args[i]); + get_constraint_for (arg, &rhsc); + FOR_EACH_VEC_ELT (rhsc, j, rhsp) + process_constraint (new_constraint (lhs, *rhsp)); + rhsc.truncate (0); + } + /* The caller clobbers what the callee does. */ lhs = get_function_part_constraint (fi, fi_clobbers); rhs = get_function_part_constraint (cfi, fi_clobbers);