PR tree-optimization/40792

	* tree.c (build_function_type_skip_args): Remove bogus assert.

	* gcc.dg/pr40792.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149822 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 82a3ab0..c24dbe3 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2009-07-20  Jakub Jelinek  <jakub@redhat.com>
+
+       PR tree-optimization/40792
+       * tree.c (build_function_type_skip_args): Remove bogus assert.
+
 2009-07-20  Jan Hubicka  <jh@suse.cz>
             Martin Jambor  <mjambor@suse.cz>
 

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index daac3e8..2e778c6 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2009-07-20  Jakub Jelinek  <jakub@redhat.com>
+
+       PR tree-optimization/40792
+       * gcc.dg/pr40792.c: New test.
+
 2009-07-20  Ira Rosen  <irar@il.ibm.com>
 
        * gcc.dg/vect/vect-cond-1.c, gcc.dg/vect/vect-cond-2.c,

diff --git a/gcc/testsuite/gcc.dg/pr40792.c b/gcc/testsuite/gcc.dg/pr40792.c
new file mode 100644 (file)
index 0000000..41f080e
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr40792.c
@@ -0,0 +1,21 @@
+/* PR tree-optimization/40792 */
+/* { dg-do compile } */
+/* { dg-options "-O3" } */
+
+void foo (int, char *, int *);
+
+void
+bar (int *a, int *b, ...)
+{
+  int c;
+  char d[256];
+  foo (*b, d, &c);
+}
+
+static int a, b;
+
+void
+baz (int c)
+{
+  bar (&a, &b);
+}

diff --git a/gcc/tree.c b/gcc/tree.c
index b32e209..44178af 100644 (file)
--- a/gcc/tree.c
+++ b/gcc/tree.c
@@ -6299,7 +6299,6 @@ build_function_type_skip_args (tree orig_type, bitmap args_to_skip)
       else
        new_reversed = void_list_node;
     }
-    gcc_assert (new_reversed);
 
   /* Use copy_node to preserve as much as possible from original type
      (debug info, attribute lists etc.)