 @@ -1,15 +1,22 @@
-/*	$NetBSD: d_lint_assert.c,v 1.3 2021/02/21 09:07:58 rillig Exp $	*/
+/*	$NetBSD: d_lint_assert.c,v 1.4 2021/07/10 12:10:39 rillig Exp $	*/
 # 3 "d_lint_assert.c"
 /*
  * Trigger the various assertions in the lint1 code.  Several of them are
  * just hard to trigger, but not impossible.
 */
 enum {
 	// Before decl.c 1.118 from 2021-01-10:
 	// lint: assertion "sym->s_scl == EXTERN || sym->s_scl == STATIC"
 	// failed in check_global_variable at decl.c:3135
 	// near d_lint_assert.c:14
 	A = +++
 };				/* expect: 249 */
 /*
  * Before decl.c 1.196 from 2021-07-10, lint ran into an assertion failure
  * for 'sym->s_type != NULL' in declare_argument.
  */
 /* expect+1: warning: old style declaration; add 'int' [1] */
 c(void());

 @@ -1,14 +1,14 @@
-/* $NetBSD: decl.c,v 1.195 2021/07/05 19:55:51 rillig Exp $ */
+/* $NetBSD: decl.c,v 1.196 2021/07/10 12:10:39 rillig Exp $ */
 /*
  * Copyright (c) 1996 Christopher G. Demetriou.  All Rights Reserved.
  * Copyright (c) 1994, 1995 Jochen Pohl
  * All Rights Reserved.
+ *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  * 1. Redistributions of source code must retain the above copyright
  *    notice, this list of conditions and the following disclaimer.
  * 2. Redistributions in binary form must reproduce the above copyright
  *    notice, this list of conditions and the following disclaimer in the
 @@ -28,27 +28,27 @@
  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
 #if HAVE_NBTOOL_CONFIG_H
 #include "nbtool_config.h"
 #endif
 #include <sys/cdefs.h>
 #if defined(__RCSID) && !defined(lint)
-__RCSID("$NetBSD: decl.c,v 1.195 2021/07/05 19:55:51 rillig Exp $");
+__RCSID("$NetBSD: decl.c,v 1.196 2021/07/10 12:10:39 rillig Exp $");
 #endif
 #include <sys/param.h>
 #include <limits.h>
 #include <stdlib.h>
 #include <string.h>
 #include "lint1.h"
 const	char *unnamed = "<unnamed>";
 /* shared type structures for arithmetic types and void */
 static	type_t	*typetab;
 @@ -2420,45 +2420,47 @@ declare_argument(sym_t *sym, bool initfl
+	}
 	if (!sym->s_arg) {
 		/* declared argument %s is missing */
 		error(53, sym->s_name);
 		sym->s_arg = true;
+	}
 	if (initflg) {
 		/* cannot initialize parameter: %s */
 		error(52, sym->s_name);
+	}
-	lint_assert(sym->s_type != NULL);
+	if (sym->s_type == NULL)	/* for c(void()) */
 		sym->s_type = gettyp(VOID);
 	if ((t = sym->s_type->t_tspec) == ARRAY) {
 		sym->s_type = derive_type(sym->s_type->t_subt, PTR);
 	} else if (t == FUNC) {
 		if (tflag)
 			/* a function is declared as an argument: %s */
 			warning(50, sym->s_name);
 		sym->s_type = derive_type(sym->s_type, PTR);
 	} else if (t == FLOAT) {
 		if (tflag)
 			sym->s_type = gettyp(DOUBLE);
+	}
 	if (dcs->d_inline)
 		/* argument declared inline: %s */
 		warning(269, sym->s_name);
 	/*
-	 * Arguments must have complete types. lengths() prints the needed
+	 * Arguments must have complete types. length() prints the needed
 	 * error messages (null dimension is impossible because arrays are
 	 * converted to pointers).
 	 */
 	if (sym->s_type->t_tspec != VOID)
 		(void)length(sym->s_type, sym->s_name);
 	sym->s_used = dcs->d_used;
 	mark_as_set(sym);
 	return sym;
+}
 void