JavaScript is not currently enabled, but is required for full CodeSonar manual search and browse functionality.

If you are viewing this file in your hub's Web GUI, enable JavaScript in your browser: you will also need it for GUI functionality.

If you opened this file directly from disk, your browser may be directly suppressing JavaScript functionality: certain browsers perform this suppression on local files (but not files delivered by web servers) for security reasons.

CodeSonar® 9.2p0 CONFIDENTIAL CodeSecure Inc
C and C++

LANG.ERRCODE.NZ : Non-zero Error Code

要旨

The code calls a function f() that will set an error code (such as errno) on failure, but the error code is not set to zero (0) before the call. This means that if the error code is non-zero after calling f(), it may have been set by some earlier function call and not by f().

プロパティ

クラス名 Non-zero Error Code
日本語クラス名 Non-zero Error Code
クラス分類 スタイル (style)
ニーモニック LANG.ERRCODE.NZ
カテゴリー
MisraC2025 MisraC2025:22.8 The value of errno shall be set to zero prior to a call to an errno-setting-function
  MisraC2025:D.4.7 If a function returns error information, then that error information shall be tested
MisraC2023 MisraC2023:22.8 The value of errno shall be set to zero prior to a call to an errno-setting-function
  MisraC2023:D.4.7 If a function returns error information, then that error information shall be tested
Misra2012 Misra2012:22.8 The value of errno shall be set to zero prior to a call to an errno-setting-function
  Misra2012:D.4.7 If a function returns error information, then that error information shall be tested
Misra2004 Misra2004:16.10 If a function returns error information, then that error information shall be tested
  Misra2004:20.5 The error indicator errno shall not be used
AUTOSARC++14 AUTOSARC++14:M0-3-2 If a function generates error information, then that error information shall be tested.
  AUTOSARC++14:M19-3-1 The error indicator errno shall not be used.
MisraC++2008 MisraC++2008:0-3-2 If a function generates error information, then that error information shall be tested.
  MisraC++2008:19-3-1 The error indicator errno shall not be used.
MisraC++2023 MisraC++2023:0.3.2 A function call shall not violate the function's preconditions
TS17961 TS17961:5.24-inverrno Incorrectly setting and using errno
CERT-C CERT-C:ERR33-C Detect and handle standard library errors
  CERT-C:POS54-C Detect and handle POSIX library errors
JSF++ JSF++:17 The error indicator errno shall not be used.
  JSF++:115 If a function returns error information, then that error information will be tested.
対応言語 C および C++ で利用可能です。
有効/無効設定 このワーニングクラスのチェックはデフォルトで無効になっています。チェックを有効にするにはプロジェクト設定ファイル （configuration file）に以下の WARNING_FILTER ルールを追加してください。 
WARNING_FILTER += allow class="Non-zero Error Code"

例 

#include <errno.h>
#include <stdio.h>

void errno_nonzero(FILE *fp1, FILE *fp2){
    errno=0;
    (void) fseek(fp1, 0L, 0);              /* ok: errno set to 0 immediately before call */
    (void) ftell(fp1);       /* 'Non-zero Error Code' warning issued here
                              * - errno not set to 0 before call to ftell()
                              * - if errno was set by the fseek() call, this value is not cleared
                              */
    if (errno==0){
        (void) ftell(fp2);                 /* ok: call only occurs on path where errno==0 */
    }
    else {
        /* handle error */                 /* errno!=0 may have been caused by the ftell(fp1) call, but it may
                                            * also have been caused by the fseek() call. */
    }
}

関連のある設定ファイルパラメータ

設定ファイルの以下のパラメータがこのワーニングクラスのチェックに影響します。

 

To report problems with this documentation, please visit https://support.codesecure.com/.