[vincent@vinc17.org: Bug#171434: splint: Useless warning "Function parameter declared as manifest array"]

[Samuele Giovanni Tonon]

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