adlint 1.0.0

data/share/demo/static_paths/static_paths.c

@@ -0,0 +1,153 @@
+static int foo(int i)
+{
+    if (i == 0) {
+        /* (1) [1,1] [1,1] [1,0] */
+        i = 0;
+    }
+    /* (1) [1,1] [1] [1,1] */
+    else {
+        /* (2) [1,1] [1,1] [1,1] */
+        i = 1;
+    }
+    /* (2) [1] [2] [1] */
+    return i;
+}
+
+static int bar(int i)
+{
+    if (i == 0) {
+        /* (1) [1,1] [1,1] [1,0] */
+        i = 0;
+    }
+    /* (1) [1,1] [1] [1,1] */
+    else {
+        /* (2) [1,1] [1,1] [1,1] */
+        goto end;
+    }
+    /* (2) [1] [2] [1] */
+end:
+    return i;
+}
+
+static int hoge(int i)
+{
+    if (i == 0) {
+        /* (1) [1,1] [1,1] [1,0] */
+        i = 0;
+    }
+    /* (2) [1] [2] [1] */
+
+    if (i == 1) {
+        /* (2) [1,2] [2,2] [1,0] */
+        i = 1;
+    }
+    /* (4) [1] [4] [1] */
+
+    if (i == 2) {
+        /* (4) [1,4] [4,4] [1,0] */
+        i = 2;
+    }
+    /* (8) [1] [8] [1] */
+
+    return i;
+}
+
+static int baz(int i)
+{
+    switch (i) {
+    case 0:
+        /* (1) [1,1] [1,1] [1,0] */
+        if (rand()) {
+            /* (1) [1,1,1] [1,1,1] [1,0,0] */
+            i = 0;
+        }
+        /* (1) [1,1,1] [1,1] [1,0,1] */
+        else {
+            /* (2) [1,1,1] [1,1,1] [1,0,1] */
+            i = 0;
+        }
+        /* (2) [1,1] [1,2] [1,0] */
+        i = 0;
+        break;
+    /* (2) [1,1] [1] [1,2] */
+    default:
+        /* (3) [1,1] [1,1] [1,2] */
+        if (rand()) {
+            /* (3) [1,1,1] [1,1,1] [1,2,0] */
+            i = 1;
+        }
+        /* (3) [1,1,1] [1,1] [1,2,1] */
+        else {
+            /* (4) [1,1,1] [1,1,1] [1,2,1] */
+            i = 1;
+        }
+        /* (4) [1,1] [1,2] [1,2] */
+        i = 1;
+        break;
+    }
+    /* (4) [1] [4] [1] */
+    return i;
+}
+
+static int baz2(int i)
+{
+    switch (i) {
+    case 0:
+        /* (1) [1,1] [1,1] [1,0] */
+        if (rand()) {
+            /* (1) [1,1,1] [1,1,1] [1,0,0] */
+            goto hoge;
+        }
+        /* (1) [1,1,1] [1,1] [1,0,1] */
+        else {
+            /* (2) [1,1,1] [1,1,1] [1,0,1] */
+            break;
+        }
+        /* (2) [1,1] [1,2] [1,0] */
+    hoge:
+        i = 0;
+        break;
+    /* (2) [1,1] [1] [1,2] */
+    default:
+        /* (3) [1,1] [1,1] [1,2] */
+        if (rand()) {
+            /* (3) [1,1,1] [1,1,1] [1,2,0] */
+            break;
+        }
+        /* (3) [1,1,1] [1,1] [1,2,1] */
+        else {
+            /* (4) [1,1,1] [1,1,1] [1,2,1] */
+            goto hogehoge;
+        }
+        /* (4) [1,1] [1,2] [1,2] */
+    hogehoge:
+        i = 1;
+        break;
+    }
+    /* (4) [1] [4] [1] */
+    return i;
+}
+
+static int qux(const int i)
+{
+    while (i < 5) {
+        /* (1) [1,1] [1,1] [1,0] */
+        if (i == 0) {
+            /* (1) [1,1,1] [1,1,1] [1,0,0] */
+            return 0;
+        }
+        /* (2) [1,1] [1,1] [1,0] */
+        if (i == 1) {
+            /* (2) [1,1,1] [1,1,1] [1,0,0] */
+            return 1;
+        }
+        /* (3) [1,1] [1,1] [1,0] */
+    }
+    /* (4) [1] [2] [1] */
+    if (i == 2) {
+        /* (4) [1,2] [2,2] [1,0] */
+        return 2;
+    }
+    /* (6) [1] [2] [1] */
+    return 3;
+}

data/share/demo/static_vars/static_vars.c

@@ -0,0 +1,39 @@
+static int i = 0;
+static int ii = 0;
+static int iii = 0;
+
+void foo(void)
+{
+    i = 1;
+}
+
+int bar(void)
+{
+    return i;
+}
+
+static void baz(void)
+{
+    ii = 1;
+}
+
+static int qux(void)
+{
+    static int ii = 0;
+    return ii;
+}
+
+static int a[];
+static int a[3];
+
+static struct Foo s1;
+static struct Foo s2[];
+static struct Foo s3[3];
+
+static union Bar u1;
+static union Bar u2[];
+static union Bar u3[3];
+
+static enum Baz e1;
+static enum Baz e2[];
+static enum Baz e3[3];

data/share/demo/tag_hiding/tag_hiding.c

@@ -0,0 +1,18 @@
+struct struct_tag {
+    int i;
+    int j;
+};
+
+union union_tag {
+    int i;
+    int j;
+};
+
+enum enum_tag { ONE = 1, TWO, THREE };
+
+static void foo(void)
+{
+    struct struct_tag {};
+    union union_tag {};
+    enum enum_tag { A, B, C };
+}

data/share/demo/tricky_incdec/tricky_incdec.c

@@ -0,0 +1,12 @@
+extern int foo(int);
+
+void bar(int n, int *p)
+{
+    int r;
+
+    ++n;
+    (*p)--;
+
+    r = ++n;
+    foo(r++);
+}

data/share/demo/undefined_macro/undefined_macro.c

@@ -0,0 +1,17 @@
+#define FOO (3)
+
+#if FOO == 3
+int i;
+#endif
+
+#if BAR == 1
+int ii;
+#endif
+
+#if !defined(BAR)
+int iii;
+#endif
+
+#ifndef BAR
+int iiii;
+#endif

data/share/demo/uninit_vars/uninit_vars.c

@@ -0,0 +1,28 @@
+extern int rand(void);
+
+int foo(void)
+{
+    int i;
+    const int r = rand();
+
+    if (r == 0) {
+        i = 1;
+    }
+    else if (r == 1) {
+        i = 2;
+    }
+
+    return 3 / i; /* i is not set when rand() returns !(0 or 1) */
+}
+
+int bar(int n)
+{
+    int i;
+    int c;
+
+    for (c = 0; c < n; c++) {
+        i = c;
+    }
+
+    return 3 / i; /* i is not set when n < 1 */
+}

data/share/demo/union_type/union_type.c

@@ -0,0 +1,23 @@
+struct event {
+    int type;
+    union {
+        void *p;
+        int i;
+    } body;
+};
+
+union foo {
+    int i;
+    unsigned short s;
+};
+
+int main(void)
+{
+    struct event e1;
+    const struct event e2 = {0, 0};
+    union foo u1;
+
+    e1.body.i = 0;
+
+    return e2.body.i;
+}

data/share/demo/unmatch_decl/unmatch_decl_1.c

@@ -0,0 +1,12 @@
+#include "unmatch_decl_1.h"
+
+int g1;
+struct Point g2;
+
+struct Point *bar(int i)
+{
+    static struct Point p;
+    p.x = i;
+    p.y = i * 2;
+    return &p;
+}

data/share/demo/unmatch_decl/unmatch_decl_1.h

@@ -0,0 +1,8 @@
+extern int g1;
+extern struct Point { int x, y; } g2;
+
+extern int foo(void);
+extern struct Point *bar(int);
+extern int baz(void);
+
+extern int hoge(void);

data/share/demo/unmatch_decl/unmatch_decl_2.c

@@ -0,0 +1,10 @@
+#include "unmatch_decl_2.h"
+
+long g1;
+struct Color g2;
+
+struct Color *bar(void)
+{
+    static struct Color c;
+    return &c;
+}

data/share/demo/unmatch_decl/unmatch_decl_2.h

@@ -0,0 +1,8 @@
+extern long g1;
+extern struct Color { int r, g, b; } g2;
+
+extern long foo(int);
+extern struct Color *bar(void);
+extern void baz(int);
+
+extern float hoge(void);

data/share/demo/unmatch_decl/unmatch_decl_3.c

@@ -0,0 +1,7 @@
+#include "unmatch_decl_1.h"
+#include "unmatch_decl_2.h"
+
+int main(void)
+{
+    return foo() + hoge();
+}

data/share/demo/unmatch_paren_macro/unmatch_paren_macro.c

@@ -0,0 +1,15 @@
+#define OM_1 ((x) + (x)
+
+#define OM_2 { int x; foo(&x); bar(x);
+
+#define OM_3 (buf[x]1])
+
+#define FM_1(x) ((x) + (x)
+
+#define FM_2(x) { int x; foo(&x); bar(x);
+
+#define FM_3(x) (buf[x]1])
+
+#define VALID_OM ((x) + (x))
+
+#define VALID_FM(x) ((x) + (x))

data/share/demo/unreachable/unreachable.c

@@ -0,0 +1,34 @@
+int main(void)
+{
+    int i = rand();
+
+    if (i == 0) {
+        if (i > 0) {
+            i = 1;
+        }
+    }
+
+    if (i < 0) {
+        if (i > 3) {
+            i = 2;
+        }
+    }
+
+    switch (i) {
+    case 0:
+        if (i < 0) {
+            i = 3;
+        }
+        break;
+    case 1:
+        if (5 < i) {
+            i = 4;
+        }
+        break;
+    }
+
+    for (int ii = 0; ii < i; ii++) {
+    }
+
+    return 0;
+}

data/share/demo/useless_exp_funs/useless_exp_funs_1.c

@@ -0,0 +1,14 @@
+int bar(int i)
+{
+    return i + 1;
+}
+
+int baz(int i)
+{
+    return i * 2;
+}
+
+int foo(void)
+{
+    return bar(1) + baz(2);
+}

data/share/demo/useless_exp_funs/useless_exp_funs_1.h

@@ -0,0 +1 @@
+extern int foo(void);

data/share/demo/useless_exp_funs/useless_exp_funs_2.c

@@ -0,0 +1,6 @@
+#include "useless_exp_funs_1.h"
+
+int main(void)
+{
+    return foo();
+}

data/share/demo/useless_exp_vars/useless_export_1.c

@@ -0,0 +1,8 @@
+int error_code;
+
+char *mesg_tbl[] = {"error-1", "error-2", "error-3"};
+
+void get_error_mesg(void)
+{
+    return mesg_tbl[error_code];
+}

data/share/demo/useless_exp_vars/useless_export_1.h

@@ -0,0 +1 @@
+extern void get_error_mesg(void);

data/share/demo/useless_exp_vars/useless_export_2.c

@@ -0,0 +1,7 @@
+#include "useless_export_1.h"
+
+int main(void)
+{
+    puts(get_error_mesg());
+    return 0;
+}

data/share/demo/useless_expr/useless_expr.c

@@ -0,0 +1,17 @@
+int main(void)
+{
+    int *p = (int *) malloc(sizeof(int));
+
+    if (p) {
+        *p = 0;
+    }
+    else {
+        return 1;
+    }
+
+    *p;
+    *p++;
+    (*p)++;
+
+    return 0;
+}

data/share/demo/useless_funs/useless_funs_1.c

@@ -0,0 +1,21 @@
+#include "useless_funs_1.h"
+
+int foo(void)
+{
+    return 0;
+}
+
+int bar(const int i) /* no caller of bar() in this project */
+{
+    return i + 1;
+}
+
+int baz(const int i) /* no caller of baz() in this project */
+{
+    return i * 2;
+}
+
+static int qux(void) /* no caller of qux() in this translation unit */
+{
+    return 1;
+}

data/share/demo/useless_funs/useless_funs_1.h

@@ -0,0 +1,8 @@
+#if !defined(USELESS_FUNS_1_H)
+#define USELESS_FUNS_1_H
+
+extern int foo(void);
+extern int bar(const int);
+extern int baz(const int);
+
+#endif

data/share/demo/useless_funs/useless_funs_2.c

@@ -0,0 +1,6 @@
+#include "useless_funs_1.h"
+
+int main(void)
+{
+    return foo();
+}

data/share/demo/useless_header/useless_header.c

@@ -0,0 +1,9 @@
+#include "useless_header_1.h"
+#include "useless_header_3.h"
+#include "useless_header_4.h" /* contents never referred in this file */
+
+int main(void)
+{
+    const Color color = { 0xFFU, 0x55U, 0xAAU };
+    return (int) (color.r | color.g | color.b);
+}

data/share/demo/useless_header/useless_header_1.h

@@ -0,0 +1,12 @@
+#if !defined(USELESS_HEADER_1_H)
+#define USELESS_HEADER_1_H
+
+struct ColorTag {
+    unsigned int r;
+    unsigned int g;
+    unsigned int b;
+};
+
+#include "useless_header_2.h"
+
+#endif

data/share/demo/useless_header/useless_header_2.h

@@ -0,0 +1,6 @@
+#if !defined(USELESS_HEADER_2_H)
+#define USELESS_HEADER_2_H
+
+typedef struct ColorTag Color;
+
+#endif

data/share/demo/useless_header/useless_header_3.h

@@ -0,0 +1,9 @@
+#if !defined(USELESS_HEADER_3_H)
+#define USELESS_HEADER_3_H
+
+typedef struct {
+    int x;
+    int y;
+} Point;
+
+#endif

data/share/demo/useless_header/useless_header_4.h

@@ -0,0 +1,3 @@
+#include "useless_header_3.h" /* already included by useless_header.c */
+
+extern const Point *get_point(void);

data/share/demo/useless_vars/useless_vars.c

@@ -0,0 +1,17 @@
+int foo(int i)
+{
+    return 0;
+}
+
+int main(void)
+{
+    int i = foo(0);
+    int ii;
+    int iii = 0;
+
+    if (i == 0) {
+        ii = foo(ii);
+    }
+
+    return foo(iii);
+}

data/share/demo/va_funcall/va_funcall.c

@@ -0,0 +1,25 @@
+typedef int FILE;
+
+extern FILE *stdout;
+
+extern int printf(const char *format, ...);
+extern int fprintf(FILE* stream, const char *format, ...);
+
+extern void foo(int i, long l, double d, ...);
+
+int main(void)
+{
+    printf("%d\n", 10);
+    fprintf(stdout, "%d\n", 10);
+
+    printf();
+    fprintf(stdout);
+
+    foo();
+    foo(1);
+    foo(1, 2);
+    foo(1, 2, 3.0);
+    foo(1, 2, 3.0, 4);
+
+    return 0;
+}

data/share/demo/various_fundef/various_fundef.c

@@ -0,0 +1,36 @@
+static int foo(const int i)
+{
+    return i * 2;
+}
+
+static int bar(i)
+    const int i;
+{
+    return i * 2;
+}
+
+static
+int
+baz
+(const int i)
+{
+    return i * 2;
+}
+
+inline
+static
+struct
+hoge
+{
+    int i;
+}
+*
+qux
+(
+ const
+ int
+ i
+ )
+{
+    return (struct hoge *) i;
+}

data/share/demo/wchar_wstring/wchar_wstring.c

@@ -0,0 +1,7 @@
+typedef unsigned int wchar_t; /* コメント */
+
+#define MESG L"日本語" /* 注釈 */
+
+const wchar_t *mesg = MESG; /* 説明 */
+
+const wchar_t ch = L'あ'; /* コメント */

data/share/demo/wrap_around/wrap_around.c

@@ -0,0 +1,38 @@
+static void foo(const unsigned int ui)
+{
+    unsigned int r;
+
+    if (ui > 3000000000U) {
+        r = ui * 5U;
+        r = ui + ui;
+    }
+    else {
+        r = ui - 4000000000U;
+    }
+}
+
+static void bar(const unsigned int ui)
+{
+    unsigned int r;
+
+    if (ui > 1000U) {
+        r = ui * 5U;
+        r = ui + ui;
+    }
+    else {
+        r = ui - 1000U;
+    }
+}
+
+static void baz(const char uc)
+{
+    unsigned char r;
+
+    if (uc > 128U) {
+        r = uc * 5U;
+        r = uc + ui;
+    }
+    else {
+        r = uc - 128U;
+    }
+}