adlint 1.14.0 → 1.16.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.14.0 User's Guide
+@settitle AdLint 1.16.0 User's Guide
 
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
@@ -2657,7 +2657,7 @@ context_line
 * 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.
+* W0692::A function-like macro `%s' doesn't given an actual argument.
 * W0693::A function-like macro is called by actual argument which its definition is smaller.
 * W0694::'assert' macro is inhibited to call the function named `assert'. This result is undefined.
 * W0695::If #undef the 'assert' macro, and enable to call its name function, the result is undefined.
@@ -2793,7 +2793,7 @@ context_line
 * W1037::`%s' which has external coupling is declared more than one, this is incompatible.
 * W1039::`ll' is used in conversion specifier.
 * W1040::An unrecognizable string is described after preprocessing directive.
-* W1041::`#%s' is not official preprocessing directive of ISO C standards.
+* W1041::`%s' is not official preprocessing directive of ISO C standards.
 * W1042::'sizeof' operator is using in preprocessing directive. This is the language extension.
 * W1043::`@@ address' is not supported ISO C standards. It will be considered as language extension.
 * W1044::An expression which includes the statement is not supported ISO C standards. It will be considered as language extension.
@@ -26279,14 +26279,13 @@ This string literal constituted by a macro is illegal form unenclosed by `\"'. `
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+#define MACRO(x) #x
+const char *str = MACRO(foo\); /* W0643 */
 @end verbatim
 
 @subsection Related message
@@ -26300,7 +26299,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.16.0
 
 @node W0644
 @section W0644
@@ -26383,14 +26382,12 @@ A normal string literal and a wide string literal are contiguous.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+static const char *str = "foo" L"bar"; /* W0646 */
 @end verbatim
 
 @subsection Related message
@@ -26404,7 +26401,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.16.0
 
 @node W0649
 @section W0649
@@ -28658,14 +28655,14 @@ The result of `##' operator is not valid preprocessing token.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+#define MACRO(a, b) a ## b
+
+double d = (double) MACRO(-, 123); /* W0691 */
 @end verbatim
 
 @subsection Related message
@@ -28679,7 +28676,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.16.0
 
 @node W0692
 @section W0692
@@ -28687,18 +28684,18 @@ Under construction.
 
 @subsection Message body
 
-A function-like macro doesn't given an actual argument.
+A function-like macro `%s' doesn't given an actual argument.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+#define MACRO(a) #a
+
+const char *s = (char *) MACRO(); /* W0692 */
 @end verbatim
 
 @subsection Related message
@@ -28709,7 +28706,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.16.0
 
 @node W0693
 @section W0693
@@ -28734,7 +28731,7 @@ Under construction.
 @subsection Related message
 
 @itemize
-@item @ref{W0692} A function-like macro doesn't given an actual argument.
+@item @ref{W0692} A function-like macro `%s' doesn't given an actual argument.
 @end itemize
 
 @subsection Since
@@ -28751,14 +28748,18 @@ After 2.0.0 (planned)
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+#undef assert
+extern void assert(int);
+
+void foo(void)
+{
+    assert("should not be reached" == ""); /* W0694 */
+}
 @end verbatim
 
 @subsection Related message
@@ -28767,7 +28768,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.16.0
 
 @node W0695
 @section W0695
@@ -32544,14 +32545,14 @@ An identifier to be actual argument doesn't find in `defined'.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-#if defined() /* W0805 */
+#if defined "foo" /* W0805 */
+int i = 0;
+#endif
 @end verbatim
 
 @subsection Related message
@@ -32562,7 +32563,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.16.0
 
 @node W0806
 @section W0806
@@ -32733,14 +32734,16 @@ The `defined' token which the expanded result of this macro doesn't allowed.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+#define COND defined(FOO)
+
+#if COND /* W0811 */
+int i = 0;
+#endif
 @end verbatim
 
 @subsection Related message
@@ -32749,7 +32752,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.16.0
 
 @node W0827
 @section W0827
@@ -33552,26 +33555,34 @@ An unrecognizable string is described after preprocessing directive.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+#define TEST
+
+#ifdef TEST
+#if defined(CASE_1)
+int i = 1;
+#elif defined(CASE_2)
+int i = 2;
+#endif CASE /* W1040 */
+#else
+int i = 0;
+#endif TEST /* W1040 */
 @end verbatim
 
 @subsection Related message
 
 @itemize
-@item @ref{W1041} `#%s' is not official preprocessing directive of ISO C standards.
+@item @ref{W1041} `%s' is not official preprocessing directive of ISO C standards.
 @item @ref{W1042} 'sizeof' operator is using in preprocessing directive. This is the language extension.
 @end itemize
 
 @subsection Since
 
-2.0.0 (planned)
+1.16.0
 
 @node W1041
 @section W1041
@@ -33579,18 +33590,16 @@ Under construction.
 
 @subsection Message body
 
-`#%s' is not official preprocessing directive of ISO C standards.
+`%s' is not official preprocessing directive of ISO C standards.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+#compiler_specific_extension 1 2.3 "4" /* W1041 */
 @end verbatim
 
 @subsection Related message
@@ -33602,7 +33611,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.16.0
 
 @node W1042
 @section W1042
@@ -33628,7 +33637,7 @@ Under construction.
 
 @itemize
 @item @ref{W1040} An unrecognizable string is described after preprocessing directive.
-@item @ref{W1041} `#%s' is not official preprocessing directive of ISO C standards.
+@item @ref{W1041} `%s' is not official preprocessing directive of ISO C standards.
 @end itemize
 
 @subsection Since
@@ -33738,14 +33747,15 @@ A space character is ignored between `\' and line feed.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+#define FOO(a, b)   /* OK */    \
+    (               /* W1046 */ \ 
+        (a) + (b)   /* W1046 */ \	
+    )
 @end verbatim
 
 @subsection Related message
@@ -33754,7 +33764,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.16.0
 
 @node W1047
 @section W1047
@@ -34826,14 +34836,20 @@ A return value of function `%s' is not used.。
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+extern int bar(void);
+static void foo(void)
+{
+    int i;
+    int j;
+    for (i = 0, bar(); i < 10; i++) { /* W1073 */
+        j = bar(); /* OK */
+    }
+}
 @end verbatim
 
 @subsection Related message
@@ -34842,7 +34858,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.16.0
 
 @node W1074
 @section W1074
@@ -34854,14 +34870,22 @@ Side-effects in `sizeof' operand will not be recorded because the operand will n
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-int i = sizeof(data++); /* W1074 */
+static int foo(void)
+{
+    int i = 0;
+
+    if (sizeof(i++) == 4) { /* W1074 */
+        return 0;
+    }
+    else {
+        return 1;
+    }
+}
 @end verbatim
 
 @subsection Related message
@@ -34870,7 +34894,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.16.0
 
 @node W1075
 @section W1075
@@ -34882,8 +34906,6 @@ This declaration has no `static' storage-class-specifier while the declaring obj
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
@@ -34902,7 +34924,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.16.0
 
 @node W1076
 @section W1076
@@ -34914,8 +34936,6 @@ None.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
@@ -34923,8 +34943,7 @@ Under construction.
 @verbatim
 static int func(void) /* W1076 */
 {
-    ...
-    return ret;
+    return 0;
 }
 @end verbatim
 
@@ -34934,7 +34953,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.16.0
 
 @node W1077
 @section W1077
@@ -34946,14 +34965,12 @@ Declaring array object without a size.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-extern int array[]; /* W1077 */
+extern int a[]; /* W1077 */
 @end verbatim
 
 @subsection Related message
@@ -34962,8 +34979,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
-
+1.16.0
 
 @node W9001
 @section W9001