From e2a62314728202e71a4daa2b7ff418994334fb83 Mon Sep 17 00:00:00 2001 From: Teddy Date: Fri, 11 Apr 2014 16:04:48 +0800 Subject: array length checking --- testcases/array_complete.c | 4 ++++ testcases/function_returns_function.c | 1 + testcases/incomp_param.c | 5 +++++ testcases/pass.c | 4 ++++ testcases/ref.c | 4 ++++ 5 files changed, 18 insertions(+) create mode 100644 testcases/array_complete.c create mode 100644 testcases/function_returns_function.c create mode 100644 testcases/incomp_param.c create mode 100644 testcases/ref.c (limited to 'testcases') diff --git a/testcases/array_complete.c b/testcases/array_complete.c new file mode 100644 index 0000000..79c5c8a --- /dev/null +++ b/testcases/array_complete.c @@ -0,0 +1,4 @@ +struct A arr[1]; +struct A {int x;}; +int main() { +} diff --git a/testcases/function_returns_function.c b/testcases/function_returns_function.c new file mode 100644 index 0000000..e590ddb --- /dev/null +++ b/testcases/function_returns_function.c @@ -0,0 +1 @@ +int main()() {} diff --git a/testcases/incomp_param.c b/testcases/incomp_param.c new file mode 100644 index 0000000..c1ece5f --- /dev/null +++ b/testcases/incomp_param.c @@ -0,0 +1,5 @@ +int f(struct A a, int b) { + +} +int main() { +} diff --git a/testcases/pass.c b/testcases/pass.c index e762a5b..d70d9d8 100644 --- a/testcases/pass.c +++ b/testcases/pass.c @@ -90,6 +90,10 @@ int incomp(struct I a); void (*bsd_signal(int sig, void (*func)(int a)))(int b); +void array() { + int a[(1 + 1 == 2) * 2]; +} + struct Node n; struct Node {int x, y;} n; /* global forward declaration is ok */ diff --git a/testcases/ref.c b/testcases/ref.c new file mode 100644 index 0000000..4644127 --- /dev/null +++ b/testcases/ref.c @@ -0,0 +1,4 @@ +int main() { + int a, b; + &(a + b); +} -- cgit v1.2.3