Page History

LANG.STRUCT.RC

Redundant Condition

Could detect violations of this rule by ensuring that each library function is accompanied by the proper treatment of errno

MISRA C 2012 Rule 22.8

MISRA C 2012 Rule 22.9

MISRA C 2012 Rule 22.10

C2500, C2501, C2502, C2503 

C++3172, C++3173, C++3174, C++3175, C++3176, C++3177, C++3178, C++3179, C++3183, C++3184

CXX.ERRNO.NOT_SET
CXX.ERRNO.NOT_CHECKED
CXX.ERRNO.INCORRECTLY_CHECKED

111 D, 121 D, 122 D, 132  D, 134 D

CERT_C-ERR30-aCERT_C-ERR30-b

Properly use errno value
Provide error handling for file opening errors right next to the call to fopen

Polyspace Bug Finder

CERT C: Rule ERR30-C

Checks for:

• Misuse of errno
• Errno not reset

Rule fully covered.