FUNCRET.GEN

非 void 関数によって値が返されません

FUNCRET.GEN チェッカーは、return ステートメントのない非 void 関数でパスを探します。

このような状況では、戻り値は初期化されないままであるため、設計の意図は達成されません。

コピー

1
2
3
4
5
6
7
8
9
10
11
 #include <stdio.h>
 int string_len()
 {
       //...
 }

 int main()
 {
        string_len();
       return 0;
 }

Klocwork は、'int' 関数が戻り値を持たないことを示す 5 行目にフラグを立てます。その一方で、10 行目の return ステートメントを持つ 'main' 関数にはフラグは立てられません。