Commit 0becf354 by Tom de Vries Committed by Tom de Vries

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
parent 498dbe0a
2015-10-23 Tom de Vries <tom@codesourcery.com> 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 * tree-ssa-structalias.c (create_variable_info_for_1): Add missing
setting of is_full_var in case of a single field. setting of is_full_var in case of a single field.
...@@ -5867,20 +5867,13 @@ intra_create_variable_infos (struct function *fn) ...@@ -5867,20 +5867,13 @@ intra_create_variable_infos (struct function *fn)
&& TYPE_RESTRICT (TREE_TYPE (t)) && TYPE_RESTRICT (TREE_TYPE (t))
&& !type_contains_placeholder_p (TREE_TYPE (TREE_TYPE (t)))) && !type_contains_placeholder_p (TREE_TYPE (TREE_TYPE (t))))
{ {
struct constraint_expr lhsc, rhsc;
varinfo_t vi; varinfo_t vi;
tree heapvar = build_fake_var_decl (TREE_TYPE (TREE_TYPE (t))); tree heapvar = build_fake_var_decl (TREE_TYPE (TREE_TYPE (t)));
DECL_EXTERNAL (heapvar) = 1; DECL_EXTERNAL (heapvar) = 1;
vi = create_variable_info_for_1 (heapvar, "PARM_NOALIAS"); vi = create_variable_info_for_1 (heapvar, "PARM_NOALIAS");
vi->is_restrict_var = 1; vi->is_restrict_var = 1;
insert_vi_for_tree (heapvar, vi); insert_vi_for_tree (heapvar, vi);
lhsc.var = p->id; make_constraint_from (p, vi->id);
lhsc.type = SCALAR;
lhsc.offset = 0;
rhsc.var = vi->id;
rhsc.type = ADDRESSOF;
rhsc.offset = 0;
process_constraint (new_constraint (lhsc, rhsc));
for (; vi; vi = vi_next (vi)) for (; vi; vi = vi_next (vi))
if (vi->may_have_pointers) if (vi->may_have_pointers)
{ {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment