tree.c (build_common_builtin_nodes): Always clear TREE_NOTHROW on…

tree.c (build_common_builtin_nodes): Always clear TREE_NOTHROW on BUILT_IN_ALLOCA if stack checking is enabled.

	* tree.c (build_common_builtin_nodes): Always clear TREE_NOTHROW on
	BUILT_IN_ALLOCA if stack checking is enabled.

From-SVN: r159457

gcc/ChangeLog

+2010-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* tree.c (build_common_builtin_nodes): Always clear TREE_NOTHROW on
+	BUILT_IN_ALLOCA if stack checking is enabled.
+
 2010-05-16  Richard Guenther  <rguenther@suse.de>
 
 	* var-tracking.c (vars_copy_1): Inline ...
@@ -33,7 +38,8 @@
 
 2010-05-15  Jan Hubicka  <jh@suse.cz>
 
-	* ipa-prop.c (ipa_prop_read_section): Add sanity check that node is analyzed.
+	* ipa-prop.c (ipa_prop_read_section): Add sanity check that node is
+	analyzed.
 	* passes.c (ipa_write_summaries): Write all analyzed nodes.
 
 2010-05-15  Steven Bosscher  <steven@gcc.gnu.org>

gcc/tree.c

@@ -9083,10 +9083,13 @@ build_common_builtin_nodes (void)
       tmp = tree_cons (NULL_TREE, size_type_node, void_list_node);
       ftype = build_function_type (ptr_type_node, tmp);
       local_define_builtin ("__builtin_alloca", ftype, BUILT_IN_ALLOCA,
-			    "alloca",
-			    ECF_MALLOC | (flag_stack_check ? 0 : ECF_NOTHROW));
+			    "alloca", ECF_MALLOC | ECF_NOTHROW);
     }
 
+  /* If we're checking the stack, `alloca' can throw.  */
+  if (flag_stack_check)
+    TREE_NOTHROW (built_in_decls[BUILT_IN_ALLOCA]) = 0;
+
   tmp = tree_cons (NULL_TREE, ptr_type_node, void_list_node);
   tmp = tree_cons (NULL_TREE, ptr_type_node, tmp);
   tmp = tree_cons (NULL_TREE, ptr_type_node, tmp);