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
