#4 Flag for "Function parameter declared as manifest array"

[Y Giridhar Appaji Nag]

From http://bugs.debian.org/171434

samu@chuan~$cat blah.c
typedef int arr[1];
void test(arr);
samu@chuan~$splint blah.c
Splint 3.1.1 --- 08 May 2003

blah.c:2:11: Unnamed function parameter 1 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)

Finished checking --- 1 code warning

the splint author replied to this bug saying:

"Okay, but it still seems confusing to me. The size if part of the type, even if it isn't explicit in the declaration. Perhaps there should be a separate flat to control this."

[Y Giridhar Appaji Nag]

Logged In: YES
user_id=73891
Originator: YES

From: Vincent Lefevre <vincent@vinc17.org>

I think that a separate flag to control this warning would be a good solution.