adlint 1.2.0 → 1.4.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.2.0 User's Guide
+@settitle AdLint 1.4.0 User's Guide
 
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
@@ -2685,7 +2685,7 @@ context_line
 * W0722::A value of signed statement is overflow.
 * W0723::A value of signed statement might be overflow.
 * W0724::An unrecognized preprocessing directive is ignored by conditional include directive.
-* W0726::A function `%s()' which return value is declared as qualified void type , `return statement;' is found.
+* W0726::A function `%s()' which return value is declared as qualified void type, `return expression;' is found.
 * W0727::The value not part of the enumeration type is used.
 * W0728::Other enumeration literal of enumeration type is passed to enumeration literal of formal argument as actual argument.
 * W0729::An enumeration literal of the other enumeration type is substituted for enumeration type object.
@@ -25297,14 +25297,15 @@ An union has a member which type is floating-point.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+union UNI { /* W0606 */
+    float a;
+    int b;
+};
 @end verbatim
 
 @subsection Related message
@@ -25313,7 +25314,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0607
 @section W0607
@@ -28491,8 +28492,6 @@ Under construction.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
@@ -28512,7 +28511,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0688
 @section W0688
@@ -28742,17 +28741,13 @@ If #undef the 'assert' macro, and enable to call its name function, the result i
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
 #undef assert /* W0695 */
-void assert(int a)
-{
-}
+extern void assert(int a);
 @end verbatim
 
 @subsection Related message
@@ -28761,7 +28756,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0696
 @section W0696
@@ -28847,14 +28842,15 @@ A `return;' statement is found in a function `%s' which has a return value.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+int func(void)
+{
+    return; /* W0698 */
+}
 @end verbatim
 
 @subsection Related message
@@ -28867,7 +28863,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0699
 @section W0699
@@ -28879,14 +28875,15 @@ The return value of function `%s()' is unspecified. The return value is implicit
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+extern func(void)
+{
+    return; /* W0699 */
+}
 @end verbatim
 
 @subsection Related message
@@ -28899,7 +28896,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0700
 @section W0700
@@ -29398,14 +29395,16 @@ The value with floating-point type doesn't fit in the range of converted type.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+signed char sc1 = (signed char) 127.5; /* OK */
+signed char sc2 = (signed char) 128.5; /* W0720 */
+
+signed char sc3 = (signed char) -128.5; /* OK */
+signed char sc4 = (signed char) -129.5; /* W0720 */
 @end verbatim
 
 @subsection Related message
@@ -29414,7 +29413,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0721
 @section W0721
@@ -29426,15 +29425,16 @@ This volatile integer type doesn't have enough size to keep pointer value.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-unsigned char* p;
-unsigned short us = (unsigned short) p; /* W0721 */
+void func(int *p)
+{
+    /* when short is 16 bit long and pointer is 32 bit long */
+    unsigned short us = (unsigned short) p; /* W0721 */
+}
 @end verbatim
 
 @subsection Related message
@@ -29443,7 +29443,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0722
 @section W0722
@@ -29455,17 +29455,19 @@ A value of signed statement is overflow.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-int func(int a) /* int type is 32 bit long */
+int func(int a)
 {
-    if (a > 0 && a < 2147483647) {
-        return a + 1;
+    /* when int is 32 bit long */
+    if (a < 0) {
+        return a + 1; /* OK */
+    }
+    else if (a < 2147483647) {
+        return a + 1; /* OK */
     }
 
     return a + 1; /* W0722 */
@@ -29480,7 +29482,7 @@ int func(int a) /* int type is 32 bit long */
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0723
 @section W0723
@@ -29492,14 +29494,23 @@ A value of signed statement might be overflow.
 
 @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)
+{
+    /* when int is 32 bit long */
+    if (a < 0) {
+        return a + 1; /* OK */
+    }
+    else if (a < 2000000000) {
+        return a + 1; /* OK */
+    }
+
+    return a + 1; /* W0723 */
+}
 @end verbatim
 
 @subsection Related message
@@ -29510,7 +29521,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0724
 @section W0724
@@ -29546,20 +29557,18 @@ None.
 
 @subsection Message body
 
-A function `%s()' which return value is declared as qualified void type , `return statement;' is found.
+A function `%s()' which return value is declared as qualified void type, `return expression;' is found.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-void func(int a)
+const void func(int a)
 {
-    if(a == 0) {
+    if (a == 0) {
         return 0; /* W0726 */
     }
 }
@@ -29571,7 +29580,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0727
 @section W0727
@@ -29583,18 +29592,18 @@ The value not part of the enumeration type is used.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
 enum Fruits {
-    apple = 1,
-    banana,
-    orange
+    APPLE = 1,
+    BANANA,
+    ORANGE
 };
+
+enum Fruits fruit = 5; /* W0727 */
 @end verbatim
 
 @subsection Related message
@@ -29608,7 +29617,7 @@ enum Fruits {
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0728
 @section W0728
@@ -29620,14 +29629,20 @@ Other enumeration literal of enumeration type is passed to enumeration literal o
 
 @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, BLUE, GREEN };
+enum Fruits { APPLE, BANANA, ORANGE };
+
+extern void func1(enum Color);
+
+void func2(void)
+{
+    func1(ORANGE); /* W0728 */
+}
 @end verbatim
 
 @subsection Related message
@@ -29641,7 +29656,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0729
 @section W0729
@@ -29653,14 +29668,20 @@ An enumeration literal of the other enumeration type is substituted for enumerat
 
 @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, BLUE, GREEN };
+enum Fruits { APPLE, BANANA, ORANGE };
+
+void func(void)
+{
+    enum Color c;
+    
+    c = ORANGE; /* W0729 */
+}
 @end verbatim
 
 @subsection Related message
@@ -29674,7 +29695,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0730
 @section W0730
@@ -29686,14 +29707,18 @@ A function declared return value to enumeration type returned an enumeration lit
 
 @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, BLUE, GREEN };
+enum Fruits { APPLE, BANANA, ORANGE };
+
+enum Color func(void)
+{
+    return ORANGE; /* W0730 */
+}
 @end verbatim
 
 @subsection Related message
@@ -29707,7 +29732,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0731
 @section W0731
@@ -29719,14 +29744,25 @@ The value of `%s' in 'case' label of 'switch' statement doesn't belong enumerati
 
 @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, BLUE, GREEN };
+enum Fruits { APPLE, BANANA, ORANGE, GRAPE };
+
+int func(enum Color c)
+{
+    switch (c) {
+    case RED:
+        return 1;
+    case GRAPE: /* W0731 */
+        return 2;
+    }
+
+    return 0;
+}
 @end verbatim
 
 @subsection Related message
@@ -29740,7 +29776,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0732
 @section W0732
@@ -29916,14 +29952,12 @@ The content of `enum %s' is unknown. The enumeration tag is declared without def
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+extern enum Foo foo; /* W0737 */
 @end verbatim
 
 @subsection Related message
@@ -29932,7 +29966,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0738
 @section W0738
@@ -29944,14 +29978,18 @@ An implicit type conversion from positive integer constant expression to smaller
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-unsigned char uc = 500; /* W0738 */
+/* when char is 8 bit long */
+const unsigned char uc1 = 255; /* OK */
+const unsigned char uc2 = 256; /* W0738 */
+
+/* when int is 32 bit long */
+const unsigned int ui1 = 4294967295; /* OK */
+const unsigned int ui2 = 4294967296; /* W0738 */
 @end verbatim
 
 @subsection Related message
@@ -29960,7 +29998,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0739
 @section W0739
@@ -29972,14 +30010,13 @@ The result of unsigned subtraction in constant expression is minus.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-unsigned int ui = 5U - 10U; /* W0739 */
+const unsigned int ui1 = 3U - 3U; /* OK */
+const unsigned int ui2 = 3U - 5U; /* W0739 */
 @end verbatim
 
 @subsection Related message
@@ -29991,7 +30028,7 @@ unsigned int ui = 5U - 10U; /* W0739 */
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0740
 @section W0740
@@ -30003,16 +30040,14 @@ The result of unsigned addition in constant expression beyond the maximum.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-#define MACRO (255)
-
-unsigned char uc = MACRO + 10; /* W0740 */
+/* when int is 32 bit long */
+const unsigned int ui1 = 4294967294U + 1U; /* OK */
+const unsigned int ui2 = 4294967295U + 1U; /* W0740 */
 @end verbatim
 
 @subsection Related message
@@ -30024,7 +30059,7 @@ unsigned char uc = MACRO + 10; /* W0740 */
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0741
 @section W0741
@@ -30036,14 +30071,14 @@ The result of unsigned multiplication in constant expression beyond the maximum.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+/* when int is 32 bit long */
+const unsigned int ui1 = 2000000000U * 2U; /* OK */
+const unsigned int ui2 = 3000000000U * 2U; /* W0741 */
 @end verbatim
 
 @subsection Related message
@@ -30055,7 +30090,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0742
 @section W0742
@@ -30097,18 +30132,18 @@ The value of integer constant expression beyond the range of might be expressed
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-#define MACRO (255)
-
-signed char sc;
+/* when char is 8 bit long */
+const signed char sc1 = 127; /* OK */
+const signed char sc2 = 128; /* W0743 */
 
-sc = MACRO + 150; /* W0743 */
+/* when int is 32 bit long */
+const int si1 = 2147483647; /* OK */
+const int si2 = 2147483648; /* W0743 */
 @end verbatim
 
 @subsection Related message
@@ -30117,7 +30152,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0744
 @section W0744
@@ -32279,14 +32314,19 @@ This structure  or union doesn't have a named member.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-struct ST { /* W0801 */
+struct foo { /* W0801 */
+};
+
+struct bar { /* W0801 */
+    int;
+    int :1;
+    long;
+    double;
 };
 @end verbatim
 
@@ -32296,7 +32336,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0802
 @section W0802
@@ -32426,14 +32466,12 @@ It is trying to define a macro named `defined'.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+#define defined !defined /* W0806 */
 @end verbatim
 
 @subsection Related message
@@ -32445,7 +32483,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W0807
 @section W0807
@@ -32802,6 +32840,8 @@ A long long type is using.
 
 @subsection Content
 
+@b{This message will be supported in AdLint 2.0.0}
+
 Under construction.
 
 @subsection Sample code
@@ -32818,7 +32858,7 @@ long long a = 0; /* W0834 */
 
 @subsection Since
 
-1.0.0
+2.0.0 (planned)
 
 @node W0835
 @section W0835
@@ -33185,14 +33225,25 @@ A 'volatile' or 'const' qualifier is used for the type of function return value.
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
 @verbatim
-/* will be added */
+extern const int func1(int); /* W1033 */
+
+const int func2(int i) /* W1033 */
+{
+    return i + 1;
+}
+
+const int *func3(int i) /* OK */
+{
+    static int j;
+
+    j = i;
+    return &j;
+}
 @end verbatim
 
 @subsection Related message
@@ -33201,7 +33252,7 @@ None.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W1034
 @section W1034
@@ -34246,13 +34297,25 @@ A integer constant is used in switch statement where case label is enumeration t
 
 @subsection Content
 
-@b{This message will be supported in AdLint 2.0.0}
-
 Under construction.
 
 @subsection Sample code
 
-Under construction.
+@verbatim
+enum Color { RED, BLUE, GREEN };
+
+int func(enum Color c)
+{
+    switch (c) {
+    case RED: /* OK */
+        return 1;
+    case 1: /* W1064 */
+        return 2;
+    }
+
+    return 0;
+}
+@end verbatim
 
 @subsection Related message
 
@@ -34273,7 +34336,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W1065
 @section W1065
@@ -34285,14 +34348,25 @@ A value of different enumeration type is used in switch statement  where case la
 
 @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, BLUE, GREEN };
+enum Fruits { APPLE, BANANA, ORANGE, GRAPE };
+
+int func(enum Color c)
+{
+    switch (c) {
+    case RED: /* OK */
+        return 1;
+    case ORANGE: /* W1065 */
+        return 2;
+    }
+
+    return 0;
+}
 @end verbatim
 
 @subsection Related message
@@ -34314,7 +34388,7 @@ Under construction.
 
 @subsection Since
 
-2.0.0 (planned)
+1.4.0
 
 @node W9001
 @section W9001