adlint 1.6.0 → 1.8.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.6.0 User's Guide
+@settitle AdLint 1.8.0 User's Guide
 
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
@@ -2536,7 +2536,7 @@ context_line
 * W0535::A comma operator is used in a 'for' statement.
 * W0538::This 'default' label is not final label in this 'switch' statement.
 * W0540::A function which the blank formal argument list is declared. `void' is omitted.
-* W0541::This function mixed weaves C code with inline assembly code.
+* W0541::Inline assembly code should be encapsulated by macro.
 * W0542::There are identifiers in the part of formal argument in a function declaration.
 * W0543::The identifier of formal argument in this function declaration is different from the past declaration of it.
 * W0544::The identifier of formal argument in the function declaration is different from the declaration of function pointer.
@@ -2601,8 +2601,8 @@ context_line
 * W0627::There is a dead letter (only `;') in the following other code.
 * W0628::A function `%s' is defined, but this is not used in this project.
 * W0629::A static function `%s()' is not used in this translation unit.
-* W0632::If `'' or `/*' use in `#include <%s>', it will unspecify behavior.
-* W0633::If `'' or `/*' use in `#include "%s"', it will unspecify behavior.
+* W0632::Using ' or " characters in `#include <%s>' directive makes undefined behavior.
+* W0633::Using ' character in `#include "%s"' directive makes undefined behavior.
 * W0634::`\' is used in `#include' line. `/' is recommended for the path delimiter.
 * W0635::The type doesn't match with %sth conversion specifier and the corresponding actual argument.
 * W0636::An actual argument doesn't exist correspond to %sth conversion specifier.
@@ -2653,9 +2653,9 @@ context_line
 * W0685::A character preceding the `-' in scanset o `[]' is bigger than a character following the `-'.
 * W0686::The same characters are described in scanset (characters enclosed by `[]').
 * W0687::#undef is using to delete #defined operator.
-* W0688::There is no line number in 1 to 32767 ranges after '#line'.
-* W0689::#line command syntax doesn't match `#line volatile integer constant value "string"'.
-* W0690::This is not line number after '#line' value'.
+* W0688::There is no line number in 1 to 32767 ranges after #line directive.
+* W0689::#line directive syntax doesn't match `#line integer constant \"string\"'.
+* W0690::No line number after #line directive.
 * W0691::The result of `##' operator is not valid preprocessing token.
 * W0692::A function-like macro doesn't given an actual argument.
 * W0693::A function-like macro is called by actual argument which its definition is smaller.
@@ -23620,7 +23620,7 @@ None.
 
 @subsection Message body
 
-This function mixed weaves C code with inline assembly code.
+Inline assembly code should be encapsulated by macro.
 
 @subsection Content
 
@@ -23629,6 +23629,8 @@ Under construction.
 @subsection Sample code
 
 @verbatim
+#define ASM_CODE asm("movl %ecx, %eax")
+
 void foo(int arg1, int *arg2, int arg3)
 {
     asm("movl %ecx, %eax"); /* W0541 */
@@ -23638,6 +23640,8 @@ void foo(int arg1, int *arg2, int arg3)
         xorl eax, eax
     }
 
+    ASM_CODE; /* OK */
+
     __asm__ volatile ( /* W0541 */
             "int $0x80"
             : "=a" (r)
@@ -25337,17 +25341,16 @@ An integer expression which the value which the value is minus converted to unsi
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-int a = func();
-
-if (a < 0) {
-    unsigned int b = a; /* W0607 */
+void func(int a)
+{
+    if (a < 0) {
+        unsigned int b = (unsigned int) a; /* W0607 */
+    }
 }
 @end verbatim
 
@@ -25359,7 +25362,7 @@ if (a < 0) {
 
 @subsection Since
 
-2.0.0 (planned)
+1.8.0
 
 @node W0608
 @section W0608
@@ -25371,14 +25374,19 @@ An integer expression which the value might be minus converted to unsigned type.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+void fuu(int a)
+{
+    unsigned char b;
+
+    if (a < 256) {
+        b = (unsigned char) a; /* W0608 */
+    }
+}
 @end verbatim
 
 @subsection Related message
@@ -25389,7 +25397,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.8.0
 
 @node W0609
 @section W0609
@@ -25723,14 +25731,19 @@ None.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+typedef int *INT_PTR; /* W0625 */
+
+extern INT_PTR func(void);
+
+INT_PTR func(void)
+{
+    return 0;
+}
 @end verbatim
 
 @subsection Related message
@@ -25739,7 +25752,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.8.0
 
 @node W0626
 @section W0626
@@ -25885,30 +25898,28 @@ int func2(void)
 
 @subsection Message body
 
-If `'' or `/*' use in `#include <%s>', it will unspecify behavior.
+Using ' or " characters in `@code{#include <%s>}' directive makes undefined behavior.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+#include <NG'_header.h> /* W0632 */
 @end verbatim
 
 @subsection Related message
 
 @itemize
-@item @ref{W0633} If `'' or `/*' use in `#include "%s"', it will unspecify behavior.
+@item @ref{W0633} Using ' character in `#include "%s"' directive makes undefined behavior.
 @item @ref{W0634} `\' is used in `#include' line. `/' is recommended for the path delimiter.
 @end itemize
 
 @subsection Since
 
-2.0.0 (planned)
+1.8.0
 
 @node W0633
 @section W0633
@@ -25916,30 +25927,28 @@ Under construction.
 
 @subsection Message body
 
-If `'' or `/*' use in `#include \"%s\"', it will unspecify behavior.
+Using ' character in `@code{#include "%s"}' directive makes undefined behavior.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+#include "NG'_header.h" /* W0633 */
 @end verbatim
 
 @subsection Related message
 
 @itemize
-@item @ref{W0632} If `'' or `/*' use in `#include <%s>', it will unspecify behavior.
+@item @ref{W0632} Using ' or " characters in `#include <%s>' directive makes undefined behavior.
 @item @ref{W0634} `\' is used in `#include' line. `/' is recommended for the path delimiter.
 @end itemize
 
 @subsection Since
 
-2.0.0 (planned)
+1.8.0
 
 @node W0634
 @section W0634
@@ -25951,26 +25960,25 @@ Under construction.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+#include "..\ng\header.h" /* W0634 */
+#include "..\\ng\\header.h" /* W0634 */
 @end verbatim
 
 @subsection Related message
 
 @itemize
-@item @ref{W0632} If `'' or `/*' use in `#include <%s>', it will unspecify behavior.
-@item @ref{W0633} If `'' or `/*' use in `#include "%s"', it will unspecify behavior.
+@item @ref{W0632} Using ' or " characters in `#include <%s>' directive makes undefined behavior.
+@item @ref{W0633} Using ' character in `#include "%s"' directive makes undefined behavior.
 @end itemize
 
 @subsection Since
 
-2.0.0 (planned)
+1.8.0
 
 @node W0635
 @section W0635
@@ -26217,15 +26225,18 @@ It is impossible to get the array's address which declared with 'register'.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-register int arr1[3]; /* W0642 */
-int* p = arr1;
+void func(void)
+{
+    register int a[3];
+
+    int *p1 = a; /* W0642 */
+    int *p2 = &a[1]; /* W0642 */
+}
 @end verbatim
 
 @subsection Related message
@@ -26239,7 +26250,7 @@ int* p = arr1;
 
 @subsection Since
 
-2.0.0 (planned)
+1.8.0
 
 @node W0643
 @section W0643
@@ -28512,9 +28523,9 @@ Under construction.
 @subsection Related message
 
 @itemize
-@item @ref{W0688} There is no line number in 1 to 32767 ranges after '#line'.
-@item @ref{W0689} #line command syntax doesn't match `#line volatile integer constant value "string"'.
-@item @ref{W0690} This is not line number after '#line' value'.
+@item @ref{W0688} There is no line number in 1 to 32767 ranges after #line directive.
+@item @ref{W0689} #line directive syntax doesn't match `#line integer constant \"string\"'.
+@item @ref{W0690} No line number after #line directive.
 @item @ref{W0691} The result of `##' operator is not valid preprocessing token.
 @end itemize
 
@@ -28528,7 +28539,7 @@ Under construction.
 
 @subsection Message body
 
-There is no line number in 1 to 32767 ranges after '#line'
+There is no line number in 1 to 32767 ranges after #line directive.
 
 @subsection Content
 
@@ -28544,8 +28555,8 @@ Under construction.
 
 @itemize
 @item @ref{W0687} #undef is using to delete #defined operator.
-@item @ref{W0689} #line command syntax doesn't match `#line volatile integer constant value "string"'.
-@item @ref{W0690} This is not line number after '#line' value'.
+@item @ref{W0689} #line directive syntax doesn't match `#line integer constant \"string\"'.
+@item @ref{W0690} No line number after #line directive.
 @item @ref{W0691} The result of `##' operator is not valid preprocessing token.
 @end itemize
 
@@ -28559,7 +28570,7 @@ Under construction.
 
 @subsection Message body
 
-#line command syntax doesn't match `#line volatile integer constant value \"string\"'.
+#line directive syntax doesn't match `#line integer constant \"string\"'.
 
 @subsection Content
 
@@ -28578,8 +28589,8 @@ Under construction.
 
 @itemize
 @item @ref{W0687} #undef is using to delete #defined operator.
-@item @ref{W0688} There is no line number in 1 to 32767 ranges after '#line'.
-@item @ref{W0690} This is not line number after '#line' value'.
+@item @ref{W0688} There is no line number in 1 to 32767 ranges after #line directive.
+@item @ref{W0690} No line number after #line directive.
 @item @ref{W0691} The result of `##' operator is not valid preprocessing token.
 @end itemize
 
@@ -28593,7 +28604,7 @@ Under construction.
 
 @subsection Message body
 
-This is not line number after '#line' value.'
+No line number after #line directive.
 
 @subsection Content
 
@@ -28610,8 +28621,8 @@ Under construction.
 
 @itemize
 @item @ref{W0687} #undef is using to delete #defined operator.
-@item @ref{W0688} There is no line number in 1 to 32767 ranges after '#line'.
-@item @ref{W0689} #line command syntax doesn't match `#line volatile integer constant value "string"'.
+@item @ref{W0688} There is no line number in 1 to 32767 ranges after #line directive.
+@item @ref{W0689} #line directive syntax doesn't match `#line integer constant \"string\"'.
 @item @ref{W0691} The result of `##' operator is not valid preprocessing token.
 @end itemize
 
@@ -28643,9 +28654,9 @@ Under construction.
 
 @itemize
 @item @ref{W0687} #undef is using to delete #defined operator.
-@item @ref{W0688} There is no line number in 1 to 32767 ranges after '#line'.
-@item @ref{W0689} #line command syntax doesn't match `#line volatile integer constant value "string"'.
-@item @ref{W0690} This is not line number after '#line' value'.
+@item @ref{W0688} There is no line number in 1 to 32767 ranges after #line directive.
+@item @ref{W0689} #line directive syntax doesn't match `#line integer constant \"string\"'.
+@item @ref{W0690} No line number after #line directive.
 @end itemize
 
 @subsection Since
@@ -29117,14 +29128,15 @@ Right operand of relational operator is a substantive 'boolean' expression.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-x = (a + b) > (c > d); /* W0711 */
+int func(int a, int b, int c, int d)
+{
+    return (a + b) > (c > d); /* W0711 */
+}
 @end verbatim
 
 @subsection Related message
@@ -29136,7 +29148,7 @@ x = (a + b) > (c > d); /* W0711 */
 
 @subsection Since
 
-2.0.0 (planned)
+1.8.0
 
 @node W0712
 @section W0712
@@ -29148,14 +29160,15 @@ Left operand of relational operator is a substantive 'boolean' expression.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-x = (a > b) > (c + d); /* W0712 */
+int func(int a, int b, int c, int d)
+{
+    return (a > b) > (c + d); /* W0712 */
+}
 @end verbatim
 
 @subsection Related message
@@ -29167,7 +29180,7 @@ x = (a > b) > (c + d); /* W0712 */
 
 @subsection Since
 
-2.0.0 (planned)
+1.8.0
 
 @node W0713
 @section W0713
@@ -29179,14 +29192,15 @@ Both sides of relational operator is substantive 'boolean' expressions.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-x = (a > b) > (c > d); /* W0713 */
+int func(int a, int b, int c, int d)
+{
+    return (a > b) > (c > d); /* W0713 */
+}
 @end verbatim
 
 @subsection Related message
@@ -29198,7 +29212,7 @@ x = (a > b) > (c > d); /* W0713 */
 
 @subsection Since
 
-2.0.0 (planned)
+1.8.0
 
 @node W0714
 @section W0714
@@ -29210,14 +29224,15 @@ Both sides of `&' operator is substantive 'boolean' expressions.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+int func(int a, int b, int c, int d)
+{
+    return (a > b) & (c > d); /* W0714 */
+}
 @end verbatim
 
 @subsection Related message
@@ -29231,7 +29246,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.8.0
 
 @node W0715
 @section W0715
@@ -29243,14 +29258,15 @@ Both sides of `|' operator is substantive 'boolean' expressions.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+int func(int a, int b, int c, int d)
+{
+    return (a > b) | (c > d); /* W0715 */
+}
 @end verbatim
 
 @subsection Related message
@@ -29264,7 +29280,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.8.0
 
 @node W0716
 @section W0716
@@ -29688,7 +29704,7 @@ enum Fruits { APPLE, BANANA, ORANGE };
 void func(void)
 {
     enum Color c;
-    
+
     c = ORANGE; /* W0729 */
 }
 @end verbatim
@@ -32824,14 +32840,33 @@ An inline assembly syntax is using. This is the language extension. This code wi
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+#define ASM_CODE asm("movl %ecx, %eax")
+
+void foo(int arg1, int *arg2, int arg3)
+{
+    asm("movl %ecx, %eax"); /* W0832 */
+    __asm__("movl %ecx, (%eax)"); /* W0832 */
+
+    asm { /* W0832 */
+        xorl eax, eax
+    }
+
+    ASM_CODE; /* W0832 */
+
+    __asm__ volatile ( /* W0832 */
+            "int $0x80"
+            : "=a" (r)
+              "+b" (arg1),
+              "+c" (arg2),
+              "+d" (arg3)
+            : "a" (128)
+            : "memory", "cc");
+}
 @end verbatim
 
 @subsection Related message
@@ -32842,7 +32877,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.8.0
 
 @node W0833
 @section W0833