Fix ICE when __builtin_calloc has no LHS (PR tree-optimization/91014).

2019-06-27  Martin Liska  <mliska@suse.cz>

	PR tree-optimization/91014
	* tree-ssa-dse.c (initialize_ao_ref_for_dse): Bail out
	when LHS is NULL_TREE.
2019-06-27  Martin Liska  <mliska@suse.cz>

	PR tree-optimization/91014
	* gcc.target/s390/pr91014.c: New test.

From-SVN: r272738

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 16d26bd..a1bd798 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,11 @@
 2019-06-27  Martin Liska  <mliska@suse.cz>
 
+       PR tree-optimization/91014
+       * tree-ssa-dse.c (initialize_ao_ref_for_dse): Bail out
+       when LHS is NULL_TREE.
+
+2019-06-27  Martin Liska  <mliska@suse.cz>
+
        * symbol-summary.h (traverse): Pass
        argument a to the call of callback.
        (gt_ggc_mx): Mark arguments as unused.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f7b774a..c48ceef 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2019-06-27  Martin Liska  <mliska@suse.cz>
+
+       PR tree-optimization/91014
+       * gcc.target/s390/pr91014.c: New test.
+
 2019-06-27  Richard Biener  <rguenther@suse.de>
 
        PR testsuite/91004

diff --git a/gcc/testsuite/gcc.target/s390/pr91014.c b/gcc/testsuite/gcc.target/s390/pr91014.c
new file mode 100644 (file)
index 0000000..eb37b33
--- /dev/null
+++ b/gcc/testsuite/gcc.target/s390/pr91014.c
@@ -0,0 +1,8 @@
+/* { dg-do compile } */
+/* { dg-options "-O" } */
+/* { dg-require-effective-target alloca } */
+
+void foo(void)
+{
+ __builtin_calloc (1, 1); /* { dg-warning "ignoring return value of '__builtin_calloc' declared with attribute 'warn_unused_result'" } */
+}

diff --git a/gcc/tree-ssa-dse.c b/gcc/tree-ssa-dse.c
index 1b1a9f3..df05a55 100644 (file)
--- a/gcc/tree-ssa-dse.c
+++ b/gcc/tree-ssa-dse.c
@@ -129,10 +129,11 @@ initialize_ao_ref_for_dse (gimple *stmt, ao_ref *write)
            {
              tree nelem = gimple_call_arg (stmt, 0);
              tree selem = gimple_call_arg (stmt, 1);
+             tree lhs;
              if (TREE_CODE (nelem) == INTEGER_CST
-                 && TREE_CODE (selem) == INTEGER_CST)
+                 && TREE_CODE (selem) == INTEGER_CST
+                 && (lhs = gimple_call_lhs (stmt)) != NULL_TREE)
                {
-                 tree lhs = gimple_call_lhs (stmt);
                  tree size = fold_build2 (MULT_EXPR, TREE_TYPE (nelem),
                                           nelem, selem);
                  ao_ref_init_from_ptr_and_size (write, lhs, size);