new file mode 100644
@@ -0,0 +1,11 @@
+/* { dg-do compile } */
+/* We fail to diagnose the invalid __builtin_va_arg_pack use with -flto. */
+/* { dg-skip-if "" { *-*-* } { "-flto" } { "" } } */
+
+void log_bad_request();
+void foo(a, b)
+ int a, b;
+{
+ log_bad_request(0, __builtin_va_arg_pack()); /* { dg-error "invalid use" } */
+ foo(0);
+}
@@ -2117,7 +2117,13 @@ copy_bb (copy_body_data *id, basic_block bb,
size_t nargs = nargs_caller;
for (p = DECL_ARGUMENTS (id->src_fn); p; p = DECL_CHAIN (p))
- nargs--;
+ {
+ /* Avoid crashing on invalid IL that doesn't have a
+ varargs function or that passes not enough arguments. */
+ if (nargs == 0)
+ break;
+ nargs--;
+ }
/* Create the new array of arguments. */
size_t nargs_callee = gimple_call_num_args (call_stmt);