supported examples added

Author: belous-dp

integration-tests/c-example/lib/algorithm.c

@@ -0,0 +1,23 @@
+#include <stdlib.h>
+
+int abs_val(int x) {
+    if (x < 0 && abs(x) > 0) {
+        return -1;
+    } else if (x > 0) {
+        return 1;
+    }
+    return abs(x);
+}
+
+int sign(char const *str) {
+    int x = atoi(str);
+    if (x == 5) {
+        return 7;
+    }
+    if (x > 0) {
+        return 1;
+    } else if (x < 0) {
+        return -1;
+    }
+    return 0;
+}

integration-tests/c-example/lib/assertion_failures.h

@@ -4,7 +4,9 @@
 #include "assert.h"
 
 int buggy_function1(int a, int b);
+
 int buggy_function2(int a);
+
 int buggy_function3(int a, int b);
 
-#endif //UNITTESTBOT_SRC_ASSERT_FAIL_H
+#endif //SIMPLE_TEST_PROJECT_SRC_ASSERT_FAIL_H

integration-tests/c-example/lib/basic_functions.h

@@ -2,8 +2,11 @@
 #define SIMPLE_TEST_PROJECT_BASIC_FUNCTIONS_H
 
 int max_(int a, int b);
+
 int min(int a, int b);
+
 int sqr_positive(int a);
+
 int simple_loop(unsigned int n);
 
 #endif //SIMPLE_TEST_PROJECT_BASIC_FUNCTIONS_H

integration-tests/c-example/lib/compound_literals.c

@@ -0,0 +1,10 @@
+int f() {
+    struct s {
+        int i;
+    } *p = 0, *q;
+    int j = 0;
+    again:
+    q = p, p = &((struct s) { j++ });
+    if (j < 2) goto again;
+    return p == q && q->i == 1; // always returns 1
+}

integration-tests/c-example/lib/generic_selection.c

@@ -0,0 +1,21 @@
+#define typeid(x) _Generic((x), \
+        _Bool: 0,               \
+         char: 1,               \
+          int: 2,               \
+        float: 3,               \
+      default: 4)
+
+int get_typeid(unsigned short int casen) {
+    switch (casen) {
+        case 0:
+            return typeid((_Bool const) 0);
+        case 1:
+            return typeid((char) 'c');
+        case 2:
+            return typeid(24);
+        case 3:
+            return typeid(42.f);
+        default:
+            return typeid("char const *");
+    }
+}

integration-tests/c-example/lib/halt.c

@@ -1,6 +1,8 @@
 #include "halt.h"
 
-#include "signal.h"
+#include <signal.h>
+#include <stdio.h>
+#include <stdlib.h>
 
 int raise_by_num(int num) {
     return raise(num);
@@ -9,3 +11,15 @@ int raise_by_num(int num) {
 int raise_stop(int _) {
     return raise(SIGSTOP);
 }
+
+void cleanup() {
+    fprintf(stderr, "Normal program termination with cleaning up\n");
+}
+
+int call_abort() {
+    if (atexit(cleanup)) {
+        return EXIT_FAILURE;
+    }
+    fprintf(stderr, "Going to abort the program\n");
+    abort();
+}

integration-tests/c-example/lib/halt.h

@@ -5,4 +5,8 @@ int raise_by_num(int num);
 
 int raise_stop(int _);
 
+void cleanup();
+
+int call_abort();
+
 #endif

integration-tests/c-example/lib/loops.c

@@ -0,0 +1,56 @@
+#include "loops.h"
+#include <stdbool.h>
+
+unsigned int while_loop(unsigned int n) {
+    unsigned int i = 0;
+    while (i < n) {
+        i = i + 1;
+        if (n % i == 37U)
+            return 1;
+        else if (i == 50U)
+            return 2U;
+    }
+    return 0U;
+}
+
+int do_while_loop(int n) {
+    int i = 0;
+    do {
+        i = i + 1;
+        if (n % i == 37)
+            return 1;
+        else if (i == 50)
+            return 2;
+    } while (i < n);
+    return 0;
+}
+
+int continue_break(int n) {
+    int i = n, res = 0;
+    do {
+        res += i;
+        if (res > 100) {
+            break;
+        }
+        if (i < 20) {
+            continue;
+        }
+    } while (false);
+    return res;
+}
+
+int goto_keyword(unsigned int a) {
+    unsigned int sum = 0;
+    do {
+        if (a == 15) {
+            goto RET;
+        }
+        sum += a;
+        a++;
+    } while (a < 22);
+    if (sum > 1000) {
+        return 1;
+    }
+    return 2;
+    RET: return -1;
+}

integration-tests/c-example/lib/loops.h

@@ -0,0 +1,12 @@
+#ifndef C_EXAMPLE_LOOPS_H
+#define C_EXAMPLE_LOOPS_H
+
+unsigned int while_loop(unsigned int n);
+
+int do_while_loop(int n);
+
+int continue_break(int n);
+
+int goto_keyword(unsigned int a);
+
+#endif //C_EXAMPLE_LOOPS_H

integration-tests/c-example/lib/memory.c

@@ -1,5 +1,5 @@
-#include "stdlib.h"
-#include "string.h"
+#include <stdlib.h>
+#include <string.h>
 
 int out_of_bound_access_to_heap(int num) {
     int *p = calloc(5, sizeof(int));