tree-ssa-structalias.c (create_function_info_for): Add missing constraint from…

tree-ssa-structalias.c (create_function_info_for): Add missing constraint from nonlocal for DECL_RESULT.

2015-12-10  Richard Biener  <rguenther@suse.de>

	* tree-ssa-structalias.c (create_function_info_for): Add missing
	constraint from nonlocal for DECL_RESULT.

From-SVN: r231496

gcc/ChangeLog

 2015-12-10  Richard Biener  <rguenther@suse.de>
 
+	* tree-ssa-structalias.c (create_function_info_for): Add missing
+	constraint from nonlocal for DECL_RESULT.
+
+2015-12-10  Richard Biener  <rguenther@suse.de>
+
 	* tree-if-conv.c: Include params.h.
 	(ifcvt_memrefs_wont_trap): Use PARAM_ALLOW_STORE_DATA_RACES
 	instead of flag_tree_loop_if_convert_stores to guard cases

gcc/tree-ssa-structalias.c

@@ -5631,6 +5631,11 @@ create_function_info_for (tree decl, const char *name, bool add_id,
       if (DECL_RESULT (decl))
 	insert_vi_for_tree (DECL_RESULT (decl), resultvi);
 
+      if (nonlocal_p
+	  && DECL_RESULT (decl)
+	  && DECL_BY_REFERENCE (DECL_RESULT (decl)))
+	make_constraint_from (resultvi, nonlocal_id);
+
       gcc_assert (prev_vi->offset < resultvi->offset);
       prev_vi->next = resultvi->id;
       prev_vi = resultvi;