From e027bef26e25af8e3998d06942872bdcb36ee551 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 24 Mar 2017 23:43:45 +0000 Subject: Fixing stuff --- test_deliverable/testcases/test_EMPTY.c | 7 +++++++ test_deliverable/testcases/test_EMPTY_driver.c | 8 ++++++++ test_deliverable/testcases/test_FUNCCALL0.c | 6 ++++++ test_deliverable/testcases/test_FUNCCALL0_driver.c | 11 +++++++++++ 4 files changed, 32 insertions(+) create mode 100644 test_deliverable/testcases/test_EMPTY.c create mode 100644 test_deliverable/testcases/test_EMPTY_driver.c create mode 100644 test_deliverable/testcases/test_FUNCCALL0.c create mode 100644 test_deliverable/testcases/test_FUNCCALL0_driver.c (limited to 'test_deliverable') diff --git a/test_deliverable/testcases/test_EMPTY.c b/test_deliverable/testcases/test_EMPTY.c new file mode 100644 index 0000000..e37e8eb --- /dev/null +++ b/test_deliverable/testcases/test_EMPTY.c @@ -0,0 +1,7 @@ +void empty(int *a) +{ + ;;;;;;;;;;;;;;;;;;;;;;; + *a = 13; + ;;;;;;;;;;;;;;;;;;;;;;; + return; +} diff --git a/test_deliverable/testcases/test_EMPTY_driver.c b/test_deliverable/testcases/test_EMPTY_driver.c new file mode 100644 index 0000000..b23707a --- /dev/null +++ b/test_deliverable/testcases/test_EMPTY_driver.c @@ -0,0 +1,8 @@ +void empty(int *a); + +int main() +{ + int a = 39; + empty(&a); + return !( 13 == a ); +} diff --git a/test_deliverable/testcases/test_FUNCCALL0.c b/test_deliverable/testcases/test_FUNCCALL0.c new file mode 100644 index 0000000..a390817 --- /dev/null +++ b/test_deliverable/testcases/test_FUNCCALL0.c @@ -0,0 +1,6 @@ +int f(int, int, int, int, int); + +int g() +{ + return f(5, 3, 6, 4, 7); +} diff --git a/test_deliverable/testcases/test_FUNCCALL0_driver.c b/test_deliverable/testcases/test_FUNCCALL0_driver.c new file mode 100644 index 0000000..d13734e --- /dev/null +++ b/test_deliverable/testcases/test_FUNCCALL0_driver.c @@ -0,0 +1,11 @@ +int g(); + +int main() +{ + return !( 25 == g() ); +} + +int f(int a, int b, int c, int d, int e) +{ + return a+b+c+d+e; +} -- cgit