Use make_constraint_from in intra_create_variable_infos

2015-10-23  Tom de Vries  <tom@codesourcery.com>

	* tree-ssa-structalias.c (intra_create_variable_infos): Use
	make_constraint_from.

From-SVN: r229219

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 230cc05..13aec6f 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,10 @@
 2015-10-23  Tom de Vries  <tom@codesourcery.com>
 
+       * tree-ssa-structalias.c (intra_create_variable_infos): Use
+       make_constraint_from.
+
+2015-10-23  Tom de Vries  <tom@codesourcery.com>
+
        * tree-ssa-structalias.c (create_variable_info_for_1): Add missing
        setting of is_full_var in case of a single field.
 

diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c
index db0ab1e..66a04b2 100644 (file)
--- a/gcc/tree-ssa-structalias.c
+++ b/gcc/tree-ssa-structalias.c
@@ -5867,20 +5867,13 @@ intra_create_variable_infos (struct function *fn)
          && TYPE_RESTRICT (TREE_TYPE (t))
          && !type_contains_placeholder_p (TREE_TYPE (TREE_TYPE (t))))
        {
-         struct constraint_expr lhsc, rhsc;
          varinfo_t vi;
          tree heapvar = build_fake_var_decl (TREE_TYPE (TREE_TYPE (t)));
          DECL_EXTERNAL (heapvar) = 1;
          vi = create_variable_info_for_1 (heapvar, "PARM_NOALIAS");
          vi->is_restrict_var = 1;
          insert_vi_for_tree (heapvar, vi);
-         lhsc.var = p->id;
-         lhsc.type = SCALAR;
-         lhsc.offset = 0;
-         rhsc.var = vi->id;
-         rhsc.type = ADDRESSOF;
-         rhsc.offset = 0;
-         process_constraint (new_constraint (lhsc, rhsc));
+         make_constraint_from (p, vi->id);
          for (; vi; vi = vi_next (vi))
            if (vi->may_have_pointers)
              {