re PR middle-end/59827 (ICE on array with incomplete element type)

	PR middle-end/59827
	* gimple-low.c (gimple_check_call_args): Don't use DECL_ARG_TYPE if
	it is error_mark_node.
testsuite/
	* gcc.dg/pr59827.c: New test.

From-SVN: r206665

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index edcbb91e4002a1f0a9d1f5ceac571879f3dc1e67..1fd13ea2b012bea28e160efdac8818fe854a764f 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,12 @@
+2014-01-16  Marek Polacek  <polacek@redhat.com>
+
+       Backport from mainline
+       2014-01-16  Marek Polacek  <polacek@redhat.com>
+
+       PR middle-end/59827
+       * gimple-low.c (gimple_check_call_args): Don't use DECL_ARG_TYPE if
+       it is error_mark_node.
+
 2014-01-14  Uros Bizjak  <ubizjak@gmail.com>
 
        Revert:

diff --git a/gcc/gimple-low.c b/gcc/gimple-low.c
index 293d4d7b82b148c958e1556f20622c3e8cf36aa1..1f74512e7f699a79eb2698685d8b54bc9f6c5701 100644 (file)
--- a/gcc/gimple-low.c
+++ b/gcc/gimple-low.c
@@ -249,6 +249,7 @@ gimple_check_call_args (gimple stmt, tree fndecl)
            break;
          arg = gimple_call_arg (stmt, i);
          if (p == error_mark_node
+             || DECL_ARG_TYPE (p) == error_mark_node
              || arg == error_mark_node
              || (!types_compatible_p (DECL_ARG_TYPE (p), TREE_TYPE (arg))
                  && !fold_convertible_p (DECL_ARG_TYPE (p), arg)))

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 520a15ab9332b11a7a7f145fd22858146d5c8733..23c358b894e8ba6ee132b6001b209270b050443d 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,11 @@
+2014-01-16  Marek Polacek  <polacek@redhat.com>
+
+       Backport from mainline
+       2014-01-16  Marek Polacek  <polacek@redhat.com>
+
+       PR middle-end/59827
+       * gcc.dg/pr59827.c: New test.
+
 2014-01-10  Richard Earnshaw  <rearnsha@arm.com>
 
        PR rtl-optimization/54300

diff --git a/gcc/testsuite/gcc.dg/pr59827.c b/gcc/testsuite/gcc.dg/pr59827.c
new file mode 100644 (file)
index 0000000..77e1e9c
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr59827.c
@@ -0,0 +1,15 @@
+/* PR middle-end/59827 */
+/* { dg-do compile } */
+
+int
+foo (int p[2][]) /* { dg-error "array type has incomplete element type" } */
+{
+  return p[0][0];
+}
+
+void
+bar (void)
+{
+  int p[2][1];
+  foo (p); /* { dg-error "type of formal parameter 1 is incomplete" } */
+}