* gimple-ssa-warn-alloca.c

	(alloca_type_and_limit::alloca_type_and_limit): Initialize limit
	field for ALLOCA_BOUND_*_LARGE.

From-SVN: r264227

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 17aa2a10da62ad0d75c9e0148f20c4d5bcf7119a..f5468ca65c1a816ba8ec95e68ce21c727db7c66e 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2018-09-12  Aldy Hernandez  <aldyh@redhat.com>
+
+       * gimple-ssa-warn-alloca.c
+       (alloca_type_and_limit::alloca_type_and_limit): Initialize limit
+       field for ALLOCA_BOUND_*_LARGE.
+
 2018-09-11  Nathan Sidwell  <nathan@acm.org>
 
        * gcc.c (load_specs, execute, run_attempt): Use %qs not '%s'.

diff --git a/gcc/gimple-ssa-warn-alloca.c b/gcc/gimple-ssa-warn-alloca.c
index 4d5aed866e1b696e7e28b37313126b7feaca321d..d1b1de4a2d5b51c98f16f621559737c152a05422 100644 (file)
--- a/gcc/gimple-ssa-warn-alloca.c
+++ b/gcc/gimple-ssa-warn-alloca.c
@@ -128,7 +128,11 @@ struct alloca_type_and_limit {
   alloca_type_and_limit ();
   alloca_type_and_limit (enum alloca_type type,
                         wide_int i) : type(type), limit(i) { }
-  alloca_type_and_limit (enum alloca_type type) : type(type) { }
+  alloca_type_and_limit (enum alloca_type type) : type(type)
+  { if (type == ALLOCA_BOUND_MAYBE_LARGE
+       || type == ALLOCA_BOUND_DEFINITELY_LARGE)
+      limit = wi::to_wide (integer_zero_node);
+  }
 };
 
 /* Return the value of the argument N to -Walloca-larger-than= or