tree-ssa-structalias.c (intra_create_variable_infos): Do not create fake…

tree-ssa-structalias.c (intra_create_variable_infos): Do not create fake variables for restrict-qualified pointers whose pointed-to...

	* tree-ssa-structalias.c (intra_create_variable_infos): Do not create
	fake variables for restrict-qualified pointers whose pointed-to type
	contains a placeholder.

From-SVN: r183427

gcc/ChangeLog

+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

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;