aboutsummaryrefslogtreecommitdiff
path: root/testcases
diff options
context:
space:
mode:
authorTeddy <[email protected]>2014-04-11 16:04:48 +0800
committerTeddy <[email protected]>2014-04-11 16:04:48 +0800
commite2a62314728202e71a4daa2b7ff418994334fb83 (patch)
treefc08f679900bed17070c520bddc74546c396bbf9 /testcases
parenta19c85b2b0c70db4e87efe129da38ea870f8971c (diff)
array length checking
Diffstat (limited to 'testcases')
-rw-r--r--testcases/array_complete.c4
-rw-r--r--testcases/function_returns_function.c1
-rw-r--r--testcases/incomp_param.c5
-rw-r--r--testcases/pass.c4
-rw-r--r--testcases/ref.c4
5 files changed, 18 insertions, 0 deletions
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);
+}