| Message ID | 20180415090423.22600-1-luc.vanoostenryck@gmail.com (mailing list archive) |
|---|---|
| State | Mainlined, archived |
| Headers | show |
diff --git a/validation/typediff-arraysize.c b/validation/typediff-arraysize.c new file mode 100644 index 000000000..dd7a2ca5a --- /dev/null +++ b/validation/typediff-arraysize.c @@ -0,0 +1,12 @@ +extern int ok0[]; int ok0[1]; // OK +extern int ok1[1]; int ok1[]; // OK but size should be 1 +extern int ko1[1]; int ko1[2]; // KO + +/* + * check-name: typediff-arraysize + * check-known-to-fail + * + * check-error-start +typediff-arraysize.c:3:29: error: symbol 'ko1' redeclared with different type (originally declared at typediff-arraysize.c:3) - different array sizes + * check-error-end + */
Currently, type_difference() ignore array sizes. Add some testcases for this. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com> --- validation/typediff-arraysize.c | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 validation/typediff-arraysize.c