hi, i'm forwarding this wishlist that comes from a debian user.
----- Forwarded message from Vincent Lefevre <[EMAIL PROTECTED]> ----- Subject: Bug#171434: splint: Useless warning "Function parameter declared as manifest array" Reply-To: Vincent Lefevre <[EMAIL PROTECTED]>, [EMAIL PROTECTED] Resent-From: Vincent Lefevre <[EMAIL PROTECTED]> Resent-To: [EMAIL PROTECTED] Resent-CC: Samuele Giovanni Tonon <[EMAIL PROTECTED]>, [EMAIL PROTECTED] Resent-Date: Mon, 02 Dec 2002 14:18:04 GMT Resent-Message-ID: <[EMAIL PROTECTED]> X-Debian-PR-Message: report 171434 X-Debian-PR-Package: splint X-Debian-PR-Keywords: From: Vincent Lefevre <[EMAIL PROTECTED]> To: [EMAIL PROTECTED] Resent-Sender: Debian BTS <[EMAIL PROTECTED]> X-Spam-Status: No, hits=-1.3 required=5.0 tests=DEBIAN_BTS_BUG,FORGED_RCVD_FOUND,RESENT_TO, SPAM_PHRASE_00_01,X_LOOP version=2.43 X-Spam-Level: Package: splint Version: 3.0.1.6-3 Severity: wishlist Consider the following C source blah.c: typedef int arr[1]; void test(arr); "splint blah.c" says: blah.c:2:11: Function parameter declared as manifest array (size constant is meaningless) A formal parameter is declared as an array with size. The size of the array is ignored in this context, since the array formal parameter is treated as a pointer. (Use -fixedformalarray to inhibit warning) but IMHO, as the array size isn't explicit in the parameter, thus not confusing, the warning shouldn't be given. Of course, -fixedformalarray can inhibit the corresponding warning, but it would inhibit warnings even when the size is explicitly given. -- System Information Debian Release: testing/unstable Kernel Version: Linux ay 2.4.18-newpmac #1 Thu Mar 14 22:44:49 EST 2002 ppc 7410, altivec supported GNU/Linux Versions of the packages splint depends on: ii libc6 2.2.5-14.3 GNU C Library: Shared libraries and Timezone ----- End forwarded message ----- -- Samuele Giovanni Tonon <[EMAIL PROTECTED]> http://www.linuxasylum.net/~samu/ Acid -- better living through chemistry. Timothy Leary