adlint 1.16.0 → 1.18.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.16.0 User's Guide
+@settitle AdLint 1.18.0 User's Guide
 
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
@@ -2791,12 +2791,11 @@ context_line
 * W1035::`%s' declared typedef. It cannot be redeclared inside an inner scope without using explicit type.
 * W1036::`%s' declared typedef. It cannot be redeclared as a member of structure or union without using explicit type.
 * W1037::`%s' which has external coupling is declared more than one, this is incompatible.
-* W1039::`ll' is used in conversion specifier.
+* W1039::`ll' is used in %sth conversion specifier.
 * W1040::An unrecognizable string is described after preprocessing directive.
 * 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.
 * W1045::This `@@ word' syntax will be ignored.
 * W1046::A space character is ignored between `\' and line feed.
 * W1047::The struct, union or array's initializer is not literal.
@@ -26214,14 +26213,15 @@ Floating-point number type cast to pointer to object and vice versa.
 
 @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 float f)
+{
+    return (int *) f; /* W0641 */
+}
 @end verbatim
 
 @subsection Related message
@@ -26230,7 +26230,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.18.0
 
 @node W0642
 @section W0642
@@ -26311,17 +26311,16 @@ A value in void statement is going to use. 'void' statement doesn't have a value
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-extern void func(void);
+extern void foo(void);
 
-if(func() == 0) { /* W0644 */
-    ...snip...
+int bar(void)
+{
+    return (int) foo(); /* W0644 */
 }
 @end verbatim
 
@@ -26336,7 +26335,7 @@ if(func() == 0) { /* W0644 */
 
 @subsection Since
 
-2.0.0 (planned)
+1.18.0
 
 @node W0645
 @section W0645
@@ -26413,15 +26412,15 @@ A right operand value of shift operand is negative constant value. This result i
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-short a; /* 16bit */
-a <<= -4; /* W0649 */
+int foo(int i)
+{
+    return i << -1; /* W0649 */
+}
 @end verbatim
 
 @subsection Related message
@@ -26432,7 +26431,7 @@ a <<= -4; /* W0649 */
 
 @subsection Since
 
-2.0.0 (planned)
+1.18.0
 
 @node W0650
 @section W0650
@@ -26444,15 +26443,15 @@ A right operand value of shift operator is much bigger than the bit size represe
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-char b; /* 8bit */
-a = b << 16; /* W0650 */
+unsigned int foo(unsigned int i)
+{
+    return i << 32; /* W0650 */
+}
 @end verbatim
 
 @subsection Related message
@@ -26463,7 +26462,7 @@ a = b << 16; /* W0650 */
 
 @subsection Since
 
-2.0.0 (planned)
+1.18.0
 
 @node W0653
 @section W0653
@@ -29085,16 +29084,18 @@ An array's index is out of range.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-int arr[10];
+extern int a[5];
 
-arr[15] = 0; /* W0707 */
+int foo(void)
+{
+    int i = a[5]; /* W0707 */
+    return i;
+}
 @end verbatim
 
 @subsection Related message
@@ -29103,7 +29104,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.18.0
 
 @node W0708
 @section W0708
@@ -29412,15 +29413,15 @@ A right operand of shift operator is a constant value of the above bit field of
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-unsigned char uc;
-unsigned int ui = uc >> 8; /* W0719 */
+int foo(char c)
+{
+    return c << 31; /* W0719 */
+}
 @end verbatim
 
 @subsection Related message
@@ -29429,7 +29430,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.18.0
 
 @node W0720
 @section W0720
@@ -31733,14 +31734,15 @@ Unsigned left shift operator `<<' in constant expression truncate non-zero high-
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-unsigned int ui = 0x0F000000U << 8; /* W0780 */
+unsigned int foo(void)
+{
+    return 0x08000000U << 5; /* W0780 */
+}
 @end verbatim
 
 @subsection Related message
@@ -31749,7 +31751,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.18.0
 
 @node W0781
 @section W0781
@@ -31811,14 +31813,17 @@ Cast is being made including the pointer point to incomplete type. This program
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+extern struct Foo *gp;
+
+void foo(int *p)
+{
+    gp = (struct Foo *) p; /* W0783 */
+}
 @end verbatim
 
 @subsection Related message
@@ -31827,7 +31832,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.18.0
 
 @node W0784
 @section W0784
@@ -32123,14 +32128,15 @@ A floating point type object cast to function pointer and vice versa.
 
 @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 float f))(void)
+{
+    return (int (*)(void)) f; /* W0792 */
+}
 @end verbatim
 
 @subsection Related message
@@ -32139,7 +32145,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.18.0
 
 @node W0793
 @section W0793
@@ -32151,14 +32157,17 @@ A function pointer cast to pointer to point an object and vice versa.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+typedef int (*funptr_t)(void);
+
+funptr_t foo(float *p)
+{
+    return (funptr_t) p; /* W0793 */
+}
 @end verbatim
 
 @subsection Related message
@@ -32167,7 +32176,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.18.0
 
 @node W0794
 @section W0794
@@ -32179,15 +32188,15 @@ Left shift operation to signed operand.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-int a = 0x40000000;
-a <<= 3; /* W0794 */
+int func(int i)
+{
+    return i << 1; /* W0794 */
+}
 @end verbatim
 
 @subsection Related message
@@ -32196,7 +32205,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.18.0
 
 @node W0795
 @section W0795
@@ -32827,18 +32836,12 @@ There is comma `,' at the end of the enumerator list.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-enum COLOR {
-    RED,
-    BLUE,
-    GREEN, /* W0830 */
-};
+enum Color { Red, Green, Blue, }; /* W0830 */
 @end verbatim
 
 @subsection Related message
@@ -32847,7 +32850,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.18.0
 
 @node W0831
 @section W0831
@@ -32936,14 +32939,12 @@ A suffix 'LL' is using.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-long long int a = 0LL; /* W0833 */
+long long ll = 123LL; /* W0833 */
 @end verbatim
 
 @subsection Related message
@@ -32954,7 +32955,7 @@ long long int a = 0LL; /* W0833 */
 
 @subsection Since
 
-2.0.0 (planned)
+1.18.0
 
 @node W0834
 @section W0834
@@ -32966,14 +32967,12 @@ A long long type is using.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-long long a = 0; /* W0834 */
+extern long long ll; /* W0834 */
 @end verbatim
 
 @subsection Related message
@@ -32984,7 +32983,7 @@ long long a = 0; /* W0834 */
 
 @subsection Since
 
-2.0.0 (planned)
+1.18.0
 
 @node W0835
 @section W0835
@@ -33148,14 +33147,18 @@ int a[10]; /* W0950 */
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+extern struct st s;
+extern void foo(struct st);
+
+void bar(void)
+{
+    foo(s); /* W1026 */
+}
 @end verbatim
 
 @subsection Related message
@@ -33164,7 +33167,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.18.0
 
 @node W1027
 @section W1027
@@ -33523,18 +33526,21 @@ None.
 
 @subsection Message body
 
-`ll' is used in conversion specifier.
+`ll' is used in %sth conversion specifier.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+extern int printf(const char *, ...);
+
+void foo(long long ll)
+{
+    printf("%lld", ll); /* W1039 */
+}
 @end verbatim
 
 @subsection Related message
@@ -33543,7 +33549,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.18.0
 
 @node W1040
 @section W1040
@@ -33667,7 +33673,6 @@ Under construction.
 @subsection Related message
 
 @itemize
-@item @ref{W1044} An expression which includes the statement is not supported ISO C standards. It will be considered as language extension.
 @item @ref{W1045} This `@@ word' syntax will be ignored.
 @end itemize
 
@@ -33675,37 +33680,6 @@ Under construction.
 
 After 2.0.0 (planned)
 
-@node W1044
-@section W1044
-@cindex W1044
-
-@subsection Message body
-
-An expression which includes the statement is not supported ISO C standards. It will be considered as language extension.
-
-@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
-
-@itemize
-@item @ref{W1043} `@@ address' is not supported ISO C standards. It will be considered as language extension.
-@item @ref{W1045} This `@@ word' syntax will be ignored.
-@end itemize
-
-@subsection Since
-
-2.0.0 (planned)
-
 @node W1045
 @section W1045
 @cindex W1045
@@ -33730,7 +33704,6 @@ Under construction.
 
 @itemize
 @item @ref{W1043} `@@ address' is not supported ISO C standards. It will be considered as language extension.
-@item @ref{W1044} An expression which includes the statement is not supported ISO C standards. It will be considered as language extension.
 @end itemize
 
 @subsection Since
@@ -33776,14 +33749,16 @@ The struct, union or array's initializer is not literal.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+int foo(int i, int j)
+{
+    int a[] = { 0, i, j }; /* W1047 */
+    return a[1];
+}
 @end verbatim
 
 @subsection Related message
@@ -33792,7 +33767,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.18.0
 
 @node W1048
 @section W1048
@@ -34761,20 +34736,15 @@ 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)
+void foo(int i) /* W1071 */
 {
-    if( a == 0 ) {
-        return 0;
-    }
-    else {
-        return 1; /* W1071 */
+    if (i == 0) {
+        return;
     }
 }
 @end verbatim
@@ -34785,7 +34755,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.18.0
 
 @node W1072
 @section W1072