From: Richard Guenther <rguenther@suse.de>
Date: Tue, 12 Oct 2010 12:56:32 +0000 (+0000)
Subject: tree-ssa-structalias.c (get_constraint_for_1): Constants only point to nonlocal,... 
X-Git-Tag: releases/gcc-4.6.0~3586
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=1f181fdea6f08eface959ea0786917ccce898c6b;p=thirdparty%2Fgcc.git

tree-ssa-structalias.c (get_constraint_for_1): Constants only point to nonlocal, not anything.

2010-10-12  Richard Guenther  <rguenther@suse.de>

	* tree-ssa-structalias.c (get_constraint_for_1): Constants
	only point to nonlocal, not anything.

From-SVN: r165372
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index cf4ca0f4b1f7..9ce3832a99e1 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2010-10-12  Richard Guenther  <rguenther@suse.de>
+
+	* tree-ssa-structalias.c (get_constraint_for_1): Constants
+	only point to nonlocal, not anything.
+
 2010-10-11  Hariharan Sandanagobalane  <hariharan@picochip.com>
 
 	* config/picochip/picochip.c (TARGET_EXCEPT_UNWIND_INFO): Use sjlj
diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c
index 83cc95352f33..c2a82efa27cd 100644
--- a/gcc/tree-ssa-structalias.c
+++ b/gcc/tree-ssa-structalias.c
@@ -3335,7 +3335,7 @@ get_constraint_for_1 (tree t, VEC (ce_s, heap) **results, bool address_p,
       if (flag_delete_null_pointer_checks)
 	temp.var = nothing_id;
       else
-	temp.var = anything_id;
+	temp.var = nonlocal_id;
       temp.type = ADDRESSOF;
       temp.offset = 0;
       VEC_safe_push (ce_s, heap, *results, &temp);
@@ -3428,6 +3428,15 @@ get_constraint_for_1 (tree t, VEC (ce_s, heap) **results, bool address_p,
 	get_constraint_for_ssa_var (t, results, address_p);
 	return;
       }
+    case tcc_constant:
+      {
+	/* We cannot refer to automatic variables through constants.  */ 
+	temp.type = ADDRESSOF;
+	temp.var = nonlocal_id;
+	temp.offset = 0;
+	VEC_safe_push (ce_s, heap, *results, &temp);
+	return;
+      }
     default:;
     }