tree-optimization: Fix use of uninitialized variable [PR94774]

Array retval is not necessarily initialized by function is_call_safe and
may be used afterwards.  Thus, initialize it explicitly.

gcc/ChangeLog:

2020-04-29  Stefan Schulze Frielinghaus  <stefansf@linux.ibm.com>

	PR tree-optimization/94774
	* gimple-ssa-sprintf.c (try_substitute_return_value): Initialize
	variable retval.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a1100623dc9b2b51f39cb9eed63de5eef9dd0c8e..f33193b0ec08908d9527d87a5eb7a0f5c33f97d9 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2020-04-29  Stefan Schulze Frielinghaus  <stefansf@linux.ibm.com>
+
+       PR tree-optimization/94774
+       * gimple-ssa-sprintf.c (try_substitute_return_value): Initialize
+       variable retval.
+
 2020-04-29  Richard Sandiford  <richard.sandiford@arm.com>
 
        * calls.h (cxx17_empty_base_field_p): Turn into a function declaration.

diff --git a/gcc/gimple-ssa-sprintf.c b/gcc/gimple-ssa-sprintf.c
index 1879686ce0a77eaa167ae4fc8d24b7eacbcb8c15..011c3e21e6359b90a5627688680ae38f9f091800 100644 (file)
--- a/gcc/gimple-ssa-sprintf.c
+++ b/gcc/gimple-ssa-sprintf.c
@@ -4120,7 +4120,7 @@ try_substitute_return_value (gimple_stmt_iterator *gsi,
   bool removed = false;
 
   /* The minimum and maximum return value.  */
-  unsigned HOST_WIDE_INT retval[2];
+  unsigned HOST_WIDE_INT retval[2] = {0};
   bool safe = is_call_safe (info, res, true, retval);
 
   if (safe