]> andersk Git - splint.git/blame - test/innerarray.c
noexpand always false.
[splint.git] / test / innerarray.c
CommitLineData
f9e62f40 1#include <stdio.h>
2#include <stdlib.h>
3
4int fn(int arr[/*7*/][10]) /* better without the 7 */
5{
6 return 0;
7}
8
9int fn2(int arr[10][]) /* bad */
10{
11 return 0;
12}
13
14int fn3(int arr[][]) /* bad */
15{
16 return 0;
17}
18
19int fn4(int arr[][10][7][4])
20{
21 return 0;
22}
23
24int fn5(int arr[][10][][4]) /* bad */
25{
26 return 0;
27}
28
29int main()
30{
31 int array[10][]; /* incomplete type bad */
32 int array2[][10]; /* array size missing */
33 return fn(array);
34}
This page took 0.149536 seconds and 5 git commands to generate.