adlint 1.4.0 → 1.6.0

data/share/doc/users_guide_en.texi

@@ -2,7 +2,7 @@
 @setfilename users_guide_en.info
 @documentlanguage en
 @documentencoding utf-8
-@settitle AdLint 1.4.0 User's Guide
+@settitle AdLint 1.6.0 User's Guide
 
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
@@ -3260,7 +3260,7 @@ case 1:
 case 2:
     value = 2;
     break;
-case 3;
+case 3:
     value = 3;
     break; /* W0003 */
 }
@@ -23624,14 +23624,29 @@ This function mixed weaves C code with inline assembly code.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+void foo(int arg1, int *arg2, int arg3)
+{
+    asm("movl %ecx, %eax"); /* W0541 */
+    __asm__("movl %ecx, (%eax)"); /* W0541 */
+
+    asm { /* W0541 */
+        xorl eax, eax
+    }
+
+    __asm__ volatile ( /* W0541 */
+            "int $0x80"
+            : "=a" (r)
+              "+b" (arg1),
+              "+c" (arg2),
+              "+d" (arg3)
+            : "a" (128)
+            : "memory", "cc");
+}
 @end verbatim
 
 @subsection Related message
@@ -23640,7 +23655,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W0542
 @section W0542
@@ -24484,8 +24499,6 @@ A `-' character in scanset in `[]' is implementation defined.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
@@ -24501,7 +24514,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W0574
 @section W0574
@@ -24662,8 +24675,6 @@ Cast from compound expression of volatile integer type to bigger type.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
@@ -24681,7 +24692,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W0580
 @section W0580
@@ -26210,13 +26221,13 @@ It is impossible to get the array's address which declared with 'register'.
 
 Under construction.
 
+@subsection Sample code
+
 @verbatim
 register int arr1[3]; /* W0642 */
 int* p = arr1;
 @end verbatim
 
-Under construction.
-
 @subsection Related message
 
 @itemize
@@ -28372,14 +28383,13 @@ A character preceding the `-' in scanset o `[]' is bigger than a character follo
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+char c;
+scanf("%[z-a]", &c); /* W0685 */
 @end verbatim
 
 @subsection Related message
@@ -28420,7 +28430,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W0686
 @section W0686
@@ -28432,14 +28442,13 @@ The same characters are described in scanset (characters enclosed by `[]').
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+char c;
+scanf("%[abcda]", &c); /* W0686 */
 @end verbatim
 
 @subsection Related message
@@ -28480,7 +28489,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W0687
 @section W0687
@@ -31691,14 +31700,36 @@ This 'switch' statement have only one path. It's verbose.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+int foo(const int i)
+{
+    if (i > 5) {
+        switch (i) { /* W0781 */
+        case 0:
+            return 1;
+        case 5:
+            return 2;
+        default:
+            return 3;
+        }
+    }
+
+    switch (i) { /* OK */
+    case 0:
+        return 4;
+    default:
+        switch (i) { /* W0781 */
+        case 10:
+            return 5;
+        default:
+            return 6;
+        }
+    }
+}
 @end verbatim
 
 @subsection Related message
@@ -31707,7 +31738,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W0783
 @section W0783
@@ -31837,14 +31868,22 @@ A type of `%s' is different from the past declaration in the different scope.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+void func1(void)
+{
+    extern int num;
+    extern void func3(void);
+}
+
+void func2(void)
+{
+    extern double num; /* W0787 */
+    extern void func3(int); /* W0787 */
+}
 @end verbatim
 
 @subsection Related message
@@ -31856,7 +31895,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W0788
 @section W0788
@@ -31868,14 +31907,18 @@ A type of `%s' is different from the past declaration in the same scope.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+extern int func(void);
+
+void func(void) /* W0788 */
+{
+    typedef int num;
+    double num; /* W0788 */
+}
 @end verbatim
 
 @subsection Related message
@@ -31887,7 +31930,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W0789
 @section W0789
@@ -31899,14 +31942,19 @@ A type of `%s' is different from the past declaration in the wider scope.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+int num = 0;
+extern int func1(void);
+
+void func2(void)
+{
+    extern double num; /* W0789 */
+    extern void func1(void); /* W0789 */
+}
 @end verbatim
 
 @subsection Related message
@@ -31918,7 +31966,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W0790
 @section W0790
@@ -32495,14 +32543,12 @@ It is trying to delete pre-defined macro `%s'.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+#undef __STDC_VERSION__ /* W0807 */
 @end verbatim
 
 @subsection Related message
@@ -32514,7 +32560,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W0808
 @section W0808
@@ -32526,14 +32572,12 @@ It is trying to redefine pre-defined macro `%s'.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+#define __FILE__ "test.c" /* W0808 */
 @end verbatim
 
 @subsection Related message
@@ -32545,7 +32589,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W0809
 @section W0809
@@ -32557,14 +32601,14 @@ An identifier `%s' is reserved by the library.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+extern int __value; /* W0809 */
+int _VAL = 10; /* W0809 */
+static void _func(void); /* W0809 */
 @end verbatim
 
 @subsection Related message
@@ -32573,7 +32617,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W0810
 @section W0810
@@ -33137,14 +33181,27 @@ A label `%s' is used more than two times in this function.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+void func(int a, int b)
+{
+    if (a == 0) {
+        int c = 0;
+RETRY:
+        b = 10;
+    }
+
+    if (b != 0) {
+        goto RETRY;
+    }
+RETRY: /* W1030 */
+    b = 1;
+
+    ...snip...
+}
 @end verbatim
 
 @subsection Related message
@@ -33153,7 +33210,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W1031
 @section W1031
@@ -33848,14 +33905,19 @@ A numeric constants is passed to an actual argument which formal argument is enu
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+
+extern void func1(enum Color);
+
+void func2(void)
+{
+    func1(4); /* W1053 */
+}
 @end verbatim
 
 @subsection Related message
@@ -33877,7 +33939,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W1054
 @section W1054
@@ -33889,14 +33951,19 @@ A non enumeration type expression is substituted for the enumeration type.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+
+extern enum Color col;
+
+void func2(void)
+{
+    col = 4; /* W1054 */
+}
 @end verbatim
 
 @subsection Related message
@@ -33918,7 +33985,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W1055
 @section W1055
@@ -33930,14 +33997,17 @@ A non enumeration type expression is returned from the function which return val
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+
+enum Color func(void)
+{
+    return 4; /* W1055 */
+}
 @end verbatim
 
 @subsection Related message
@@ -33959,7 +34029,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W1056
 @section W1056
@@ -33971,14 +34041,20 @@ An object of actual argument is different enumeration type which formal argument
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+enum Color { RED = 1, GREEN= 2, BLUE = 4 };
+enum Season { SPRING = 1, SUMMER, AUTUMN, WINTER };
+
+extern void func1(enum Color);
+
+void func2(enum Season ssn)
+{
+    func1(ssn); /* W1056 */
+}
 @end verbatim
 
 @subsection Related message
@@ -34000,7 +34076,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W1057
 @section W1057
@@ -34012,14 +34088,20 @@ An enumeration value is substituted for different enumeration type object.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+enum Season { SPRING = 1, SUMMER, AUTUMN, WINTER };
+
+extern enum Color col;
+
+void func(enum Season ssn)
+{
+    col = ssn; /* W1057 */
+}
 @end verbatim
 
 @subsection Related message
@@ -34041,7 +34123,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W1058
 @section W1058
@@ -34053,14 +34135,18 @@ A different enumeration type of value is returned from a function which return v
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+enum Color { RED  = 1, GREEN = 2, BLUE = 4 };
+enum Season { SPRING = 1, SUMMER, AUTUMN, WINTER };
+
+enum Color func(enum Season ssn)
+{
+    return ssn; /* W1058 */
+}
 @end verbatim
 
 @subsection Related message
@@ -34082,7 +34168,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W1059
 @section W1059
@@ -34094,14 +34180,19 @@ An enumeration value is passed to actual argument which formal argument is not e
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+
+extern void func1(int num);
+
+void func2(enum Color col)
+{
+    func1(col); /* W1059 */
+}
 @end verbatim
 
 @subsection Related message
@@ -34123,7 +34214,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W1060
 @section W1060
@@ -34135,14 +34226,17 @@ An enumeration value is returned from a function which return value is not enume
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+
+int func2(enum Color col)
+{
+    return col; /* W1060 */
+}
 @end verbatim
 
 @subsection Related message
@@ -34164,7 +34258,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W1061
 @section W1061
@@ -34176,14 +34270,19 @@ Non constant expression of non enumeration type is passed to actual argument whi
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+
+extern void func1(enum Color);
+
+void func2(int num)
+{
+    func1(num); /* W1061 */
+}
 @end verbatim
 
 @subsection Related message
@@ -34205,7 +34304,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W1062
 @section W1062
@@ -34217,13 +34316,20 @@ Non constant expression is substituted for the enumeration type object.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
-Under construction.
+@verbatim
+enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+
+extern enum Color col;
+
+void func(int num)
+{
+    col = num + 1; /* W1062 */
+}
+@end verbatim
 
 @subsection Related message
 
@@ -34244,7 +34350,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W1063
 @section W1063
@@ -34256,14 +34362,17 @@ The return value returned from enumeration type function to non constant express
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+
+enum Color func(int num)
+{
+    return num / 2; /* W1063 */
+}
 @end verbatim
 
 @subsection Related message
@@ -34285,7 +34394,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.6.0
 
 @node W1064
 @section W1064