Various minor fixes for compiler/linter (other then splint itself) warnings.
[splint-patched.git] / test / innerarray.c
blobf05b40a96b8b03380469d7198625b9c473cef225
1 #include <stdio.h>
2 #include <stdlib.h>
4 int fn(int arr[/*7*/][10]) /* better without the 7 */
6 return 0;
9 int fn2(int arr[10][]) /* bad */
11 return 0;
14 int fn3(int arr[][]) /* bad */
16 return 0;
19 int fn4(int arr[][10][7][4])
21 return 0;
24 int fn5(int arr[][10][][4]) /* bad */
26 return 0;
29 int main()
31 int array[10][]; /* incomplete type bad */
32 int array2[][10]; /* array size missing */
33 return fn(array);