adlint 1.10.0 → 1.12.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.10.0 User's Guide
+@settitle AdLint 1.12.0 User's Guide
 
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
@@ -2818,8 +2818,21 @@ context_line
 * W1063::The return value returned from enumeration type function to non constant expression.
 * W1064::A integer constant is used in switch statement where case label is enumeration type.
 * W1065::A value of different enumeration type is used in switch statement  where case label is an enumeration type.
+* W1066::A value of the `float' typed compound expression is explicitly converted into a `double' value.
+* W1067::A value of the `float' typed compound expression is explicitly converted into a `long double' value.
+* W1068::A value of the `double' typed compound expression is explicitly converted into a `long double' value.
+* W1069::No trailing `else' clause is found in this `if-else-if' statements chain.
+* W1070::This `switch' statement can be translated into `if-else' statement because there are only 2 execution paths.
+* W1071::Function `%s' has multiple termination points.
+* W1072::`A `goto' statement is found.
+* W1073::A return value of function `%s' is not used.。
+* W1074::Side-effects in `sizeof' operand will not be recorded because the operand will not be executed actually.
+* W1075::This declaration has no `static' storage-class-specifier while the declaring object has internal-linkage.
+* W1076::`%s' is defined as internal-linkage, but it has no forward declaration.
+* W1077::Declaring array object without a size.
 * W9001::This statement doesn't reach the control.
 * W9002::There is no line feed character at the end of file.
+* W9003::An object typed `%s' is implicitly converted into an object of other type.
 * C0001::A warning is detected in external identifier name `%s'.
 @end menu
 
@@ -28707,7 +28720,7 @@ A function-like macro is called by actual argument which its definition is small
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
+@b{This message will be supported after AdLint 2.0.0}
 
 Under construction.
 
@@ -28725,7 +28738,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+After 2.0.0 (planned)
 
 @node W0694
 @section W0694
@@ -29566,7 +29579,7 @@ An unrecognized preprocessing directive is ignored by conditional include direct
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
+@b{This message will be supported after AdLint 2.0.0}
 
 Under construction.
 
@@ -29582,7 +29595,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+After 2.0.0 (planned)
 
 @node W0726
 @section W0726
@@ -29821,14 +29834,20 @@ Both operand of `&&'operator is bit operator or arithmetic operator.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+extern void func(unsigned int a, unsigned int b,unsigned int c, unsigned int d)
+{
+    int r;
+    r = (a + b) && (c - d); /* W0732 */
+    r = (a * b) && (c / d); /* W0732 */
+
+    r = (a << b) && (c << d); /* W0732 */
+    r = (a >> b) && (c >> d); /* W0732 */
+}
 @end verbatim
 
 @subsection Related message
@@ -29841,7 +29860,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.12.0
 
 @node W0733
 @section W0733
@@ -29853,14 +29872,20 @@ Both operand of `||'operator is bit operator or arithmetic operator.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+extern void func(unsigned int a, unsigned int b,unsigned int c, unsigned int d)
+{
+    int r;
+    r = (a + b) || (c - d); /* W0733 */
+    r = (a * b) || (c / d); /* W0733 */
+
+    r = (a << b) || (c << d); /* W0733 */
+    r = (a >> b) || (c >> d); /* W0733 */
+}
 @end verbatim
 
 @subsection Related message
@@ -29873,7 +29898,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.12.0
 
 @node W0734
 @section W0734
@@ -29885,14 +29910,20 @@ A left operand of logical operator is bit operator or arithmetic operator.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+extern void func(unsigned int a, unsigned int b, unsigned int c)
+{
+    int r;
+    r = (a + b) && c; /* W0734 */
+    r = (a - b) && c; /* W0734 */
+
+    r = (a << b) || c; /* W0734 */
+    r = (a >> b) || c; /* W0734 */
+}
 @end verbatim
 
 @subsection Related message
@@ -29905,7 +29936,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.12.0
 
 @node W0735
 @section W0735
@@ -29917,14 +29948,20 @@ A right operand of logical operator is the expression of bit operator or arithme
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+extern void func(unsigned int a, unsigned int b, unsigned int c)
+{
+    int r;
+    r = a && (b + c); /* W0735 */
+    r = a && (b - c); /* W0735 */
+
+    r = a || (b >> c); /* W0735 */
+    r = a || (b << c); /* W0735 */
+}
 @end verbatim
 
 @subsection Related message
@@ -29937,7 +29974,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.12.0
 
 @node W0736
 @section W0736
@@ -31802,7 +31839,7 @@ The nonstandard escape sequence is used.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
+@b{This message will be supported after AdLint 2.0.0}
 
 Under construction.
 
@@ -31818,7 +31855,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+After 2.0.0 (planned)
 
 @node W0785
 @section W0785
@@ -32420,7 +32457,7 @@ A form of after `#include' preprocessing directive is not <file name> nor \"file
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
+@b{This message will be supported after AdLint 2.0.0}
 
 Under construction.
 
@@ -32439,7 +32476,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+After 2.0.0 (planned)
 
 @node W0803
 @section W0803
@@ -32451,7 +32488,7 @@ A preprocessing directive is described in actual argument of function-like macro
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
+@b{This message will be supported after AdLint 2.0.0}
 
 Under construction.
 
@@ -32467,7 +32504,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+After 2.0.0 (planned)
 
 @node W0804
 @section W0804
@@ -32957,7 +32994,7 @@ A macro which receives variable argument is defined.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
+@b{This message will be supported after AdLint 2.0.0}
 
 Under construction.
 
@@ -32973,7 +33010,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+After 2.0.0 (planned)
 
 @node W0947
 @section W0947
@@ -33394,7 +33431,7 @@ None.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
+@b{This message will be supported after AdLint 2.0.0}
 
 Under construction.
 
@@ -33412,7 +33449,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+After 2.0.0 (planned)
 
 @node W1036
 @section W1036
@@ -33424,7 +33461,7 @@ Under construction.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
+@b{This message will be supported after AdLint 2.0.0}
 
 Under construction.
 
@@ -33442,7 +33479,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+After 2.0.0 (planned)
 
 @node W1037
 @section W1037
@@ -33578,7 +33615,7 @@ Under construction.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
+@b{This message will be supported after AdLint 2.0.0}
 
 Under construction.
 
@@ -33597,7 +33634,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+After 2.0.0 (planned)
 
 @node W1043
 @section W1043
@@ -33609,7 +33646,7 @@ Under construction.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
+@b{This message will be supported after AdLint 2.0.0}
 
 Under construction.
 
@@ -33628,7 +33665,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+After 2.0.0 (planned)
 
 @node W1044
 @section W1044
@@ -33671,7 +33708,7 @@ This `@@ word' syntax will be ignored.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
+@b{This message will be supported after AdLint 2.0.0}
 
 Under construction.
 
@@ -33690,7 +33727,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+After 2.0.0 (planned)
 
 @node W1046
 @section W1046
@@ -33758,7 +33795,7 @@ The multi byte string literal is an implementation defined value.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
+@b{This message will be supported after AdLint 2.0.0}
 
 Under construction.
 
@@ -33774,7 +33811,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+After 2.0.0 (planned)
 
 @node W1049
 @section W1049
@@ -34542,6 +34579,383 @@ int func(enum Color c)
 
 1.4.0
 
+@node W1066
+@section W1066
+@cindex W1066
+
+@subsection Message body
+
+A value of the `float' typed compound expression is explicitly converted into a `double' value.
+
+@subsection Content
+
+@b{This message will be supported in AdLint 2.0.0}
+
+Under construction.
+
+@subsection Sample code
+
+@verbatim
+void func(float a)
+{
+    double b = (double) (a * a);
+}
+@end verbatim
+
+@subsection Related message
+
+@itemize
+@item @ref{W1067} A value of the `float' typed compound expression is explicitly converted into a `long double' value.
+@item @ref{W1068} A value of the `double' typed compound expression is explicitly converted into a `long double' value.
+@end itemize
+
+@subsection Since
+
+2.0.0 (planned)
+
+@node W1067
+@section W1067
+@cindex W1067
+
+@subsection Message body
+
+A value of the `float' typed compound expression is explicitly converted into a `long double' value.
+
+@subsection Content
+
+@b{This message will be supported in AdLint 2.0.0}
+
+Under construction.
+
+@subsection Sample code
+
+@verbatim
+void func(float a)
+{
+    long double b = (long double) (a * a);
+}
+@end verbatim
+
+@subsection Related message
+
+@itemize
+@item @ref{W1066} A value of the `float' typed compound expression is explicitly converted into a `double' value.
+@item @ref{W1068} A value of the `double' typed compound expression is explicitly converted into a `long double' value.
+@end itemize
+
+@subsection Since
+
+2.0.0 (planned)
+
+@node W1068
+@section W1068
+@cindex W1068
+
+@subsection Message body
+
+A value of the `double' typed compound expression is explicitly converted into a `long double' value.
+
+@subsection Content
+
+@b{This message will be supported in AdLint 2.0.0}
+
+Under construction.
+
+@subsection Sample code
+
+@verbatim
+void func(double a)
+{
+    long double b = (long double) (a * a);
+}
+@end verbatim
+
+@subsection Related message
+
+@itemize
+@item @ref{W1066} A value of the `float' typed compound expression is explicitly converted into a `double' value.
+@item @ref{W1067} A value of the `float' typed compound expression is explicitly converted into a `long double' value.
+@end itemize
+
+@subsection Since
+
+2.0.0 (planned)
+
+@node W1069
+@section W1069
+@cindex W1069
+
+@subsection Message body
+
+No trailing `else' clause is found in this `if-else-if' statements chain.
+
+@subsection Content
+
+@b{This message will be supported in AdLint 2.0.0}
+
+Under construction.
+
+@subsection Sample code
+
+@verbatim
+/* will be added */
+@end verbatim
+
+@subsection Related message
+
+None.
+
+@subsection Since
+
+2.0.0 (planned)
+
+@node W1070
+@section W1070
+@cindex W1070
+
+@subsection Message body
+
+This `switch' statement can be translated into `if-else' statement because there are only 2 execution paths.
+
+@subsection Content
+
+@b{This message will be supported in AdLint 2.0.0}
+
+Under construction.
+
+@subsection Sample code
+
+@verbatim
+switch (x) {
+case 1:
+    ...
+    break;
+default:
+    ...
+}
+@end verbatim
+
+@subsection Related message
+
+None.
+
+@subsection Since
+
+2.0.0 (planned)
+
+@node W1071
+@section W1071
+@cindex W1071
+
+@subsection Message body
+
+Function `%s' has multiple termination points.
+
+@subsection Content
+
+@b{This message will be supported in AdLint 2.0.0}
+
+Under construction.
+
+@subsection Sample code
+
+@verbatim
+int func(int a)
+{
+    if( a == 0 ) {
+        return 0;
+    }
+    else {
+        return 1; /* W1071 */
+    }
+}
+@end verbatim
+
+@subsection Related message
+
+None.
+
+@subsection Since
+
+2.0.0 (planned)
+
+@node W1072
+@section W1072
+@cindex W1072
+
+@subsection Message body
+
+`A `goto' statement is found.
+
+@subsection Content
+
+@b{This message will be supported in AdLint 2.0.0}
+
+Under construction.
+
+@subsection Sample code
+
+@verbatim
+/* will be added */
+@end verbatim
+
+@subsection Related message
+
+None.
+
+@subsection Since
+
+2.0.0 (planned)
+
+@node W1073
+@section W1073
+@cindex W1073
+
+@subsection Message body
+
+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 */
+@end verbatim
+
+@subsection Related message
+
+None.
+
+@subsection Since
+
+2.0.0 (planned)
+
+@node W1074
+@section W1074
+@cindex W1074
+
+@subsection Message body
+
+Side-effects in `sizeof' operand will not be recorded because the operand will not be executed actually.
+
+@subsection Content
+
+@b{This message will be supported in AdLint 2.0.0}
+
+Under construction.
+
+@subsection Sample code
+
+@verbatim
+int i = sizeof(data++); /* W1074 */
+@end verbatim
+
+@subsection Related message
+
+None.
+
+@subsection Since
+
+2.0.0 (planned)
+
+@node W1075
+@section W1075
+@cindex W1075
+
+@subsection Message body
+
+This declaration has no `static' storage-class-specifier while the declaring object has internal-linkage.
+
+@subsection Content
+
+@b{This message will be supported in AdLint 2.0.0}
+
+Under construction.
+
+@subsection Sample code
+
+@verbatim
+static int func(void);
+int func(void) /* W1075 */
+{
+    ...
+}
+@end verbatim
+
+@subsection Related message
+
+None.
+
+@subsection Since
+
+2.0.0 (planned)
+
+@node W1076
+@section W1076
+@cindex W1076
+
+@subsection Message body
+
+`%s' is defined as internal-linkage, but it has no forward declaration.
+
+@subsection Content
+
+@b{This message will be supported in AdLint 2.0.0}
+
+Under construction.
+
+@subsection Sample code
+
+@verbatim
+static int func(void) /* W1076 */
+{
+    ...
+    return ret;
+}
+@end verbatim
+
+@subsection Related message
+
+None.
+
+@subsection Since
+
+2.0.0 (planned)
+
+@node W1077
+@section W1077
+@cindex W1077
+
+@subsection Message body
+
+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 */
+@end verbatim
+
+@subsection Related message
+
+None.
+
+@subsection Since
+
+2.0.0 (planned)
+
+
 @node W9001
 @section W9001
 
@@ -34623,6 +35037,42 @@ None.
 
 1.0.0
 
+@node W9003
+@section W9003
+@cindex W9003
+
+@subsection Message body
+
+An object typed `%s' is implicitly converted into an object of other type.
+
+@subsection Content
+
+This message indicates that an implicit conversion from or to an object of the
+non-standard type will occur.
+
+@subsection Sample code
+
+@verbatim
+enum Color { RED, BLUE, GREEN };
+enum Fruit { APPLE, BANANA, ORANGE };
+
+extern void foo(enum Color);
+
+static void bar(void)
+{
+    int i = RED; /* W9003 */
+    foo(ORANGE); /* W9003 */
+}
+@end verbatim
+
+@subsection Related message
+
+None.
+
+@subsection Since
+
+1.12.0
+
 @node C0001
 @section C0001
 @cindex C0001