diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 60697f85199..b953cd04d71 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2012-01-23  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* tree-ssa-structalias.c (intra_create_variable_infos): Do not create
+	fake variables for restrict-qualified pointers whose pointed-to type
+	contains a placeholder.
+
 2012-01-23  Richard Guenther  <rguenther@suse.de>
 
 	PR tree-optimization/51949
diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c
index 5a55d1651ff..b65f5aac02c 100644
--- a/gcc/tree-ssa-structalias.c
+++ b/gcc/tree-ssa-structalias.c
@@ -5664,7 +5664,8 @@ intra_create_variable_infos (void)
 	 Treat restrict qualified references the same.  */
       if (TYPE_RESTRICT (TREE_TYPE (t))
 	  && ((DECL_BY_REFERENCE (t) && POINTER_TYPE_P (TREE_TYPE (t)))
-	      || TREE_CODE (TREE_TYPE (t)) == REFERENCE_TYPE))
+	      || TREE_CODE (TREE_TYPE (t)) == REFERENCE_TYPE)
+	  && !type_contains_placeholder_p (TREE_TYPE (TREE_TYPE (t))))
 	{
 	  struct constraint_expr lhsc, rhsc;
 	  varinfo_t vi;