checkers.cpp: Update file using tools/get_checkers.py (#8045)

Author: danmar

lib/checkers.cpp

@@ -143,6 +143,7 @@ namespace checkers {
         {"CheckOther::checkSignOfUnsignedVariable","style"},
         {"CheckOther::checkSuspiciousCaseInSwitch","warning,inconclusive"},
         {"CheckOther::checkSuspiciousSemicolon","warning,inconclusive"},
+        {"CheckOther::checkUnionZeroInit","portability"},
         {"CheckOther::checkUnreachableCode","style"},
         {"CheckOther::checkUnusedLabel","style,warning"},
         {"CheckOther::checkVarFuncNullUB","portability"},
@@ -363,6 +364,8 @@ namespace checkers {
         {"Cert C: CON41-C",""},
         {"Cert C: DCL03-C",""},
         {"Cert C: DCL04-C",""},
+        {"Cert C: DCL05-C",""},
+        {"Cert C: DCL06-C",""},
         {"Cert C: DCL20-C",""},
         {"Cert C: DCL31-C",""},
         {"Cert C: DCL36-C",""},
@@ -379,13 +382,15 @@ namespace checkers {
         {"Cert C: ERR30-C",""},
         {"Cert C: ERR32-C",""},
         {"Cert C: ERR33-C",""},
+        {"Cert C: ERR34-C",""},
         {"Cert C: EXP03-C",""},
         {"Cert C: EXP05-C",""},
         {"Cert C: EXP09-C",""},
         {"Cert C: EXP13-C",""},
         {"Cert C: EXP15-C",""},
         {"Cert C: EXP19-C",""},
         {"Cert C: EXP20-C",""},
+        {"Cert C: EXP30-C",""},
         {"Cert C: EXP32-C",""},
         {"Cert C: EXP34-C",""},
         {"Cert C: EXP35-C",""},
@@ -426,6 +431,7 @@ namespace checkers {
         {"Cert C: MSC38-C",""},
         {"Cert C: MSC39-C",""},
         {"Cert C: MSC40-C",""},
+        {"Cert C: MSC41-C",""},
         {"Cert C: PRE00-C",""},
         {"Cert C: PRE01-C",""},
         {"Cert C: PRE02-C",""},
@@ -443,6 +449,7 @@ namespace checkers {
         {"Cert C: SIG31-C",""},
         {"Cert C: SIG34-C",""},
         {"Cert C: SIG35-C",""},
+        {"Cert C: STR30-C",""},
         {"Cert C: STR31-C",""},
         {"Cert C: STR32-C",""},
         {"Cert C: STR34-C",""},
@@ -872,6 +879,7 @@ namespace checkers {
         {"Misra C: 21.14",""},
         {"Misra C: 21.15",""},
         {"Misra C: 21.16",""},
+        {"Misra C: 21.18",""},
         {"Misra C: 21.19",""},
         {"Misra C: 21.2",""},
         {"Misra C: 21.20",""},
@@ -918,11 +926,11 @@ namespace checkers {
         {"Misra C: 5.1",""},
         {"Misra C: 5.10",""},
         {"Misra C: 5.2",""},
+        {"Misra C: 5.3",""},
         {"Misra C: 5.4",""},
         {"Misra C: 5.5",""},
         {"Misra C: 5.6",""},
-        {"Misra C: 5.8",""},
-        {"Misra C: 5.9",""},
+        {"Misra C: 5.7",""},
         {"Misra C: 6.1",""},
         {"Misra C: 6.2",""},
         {"Misra C: 6.3",""},
@@ -962,6 +970,7 @@ namespace checkers {
         {"Misra C: Dir 4.4",""},
         {"Misra C: Dir 4.5",""},
         {"Misra C: Dir 4.6",""},
+        {"Misra C: Dir 4.7",""},
         {"Misra C: Dir 4.9",""},
         {"PremiumCheckBufferOverrun::addressOfPointerArithmetic","warning"},
         {"PremiumCheckBufferOverrun::negativeBufferSizeCheckedNonZero","warning"},
@@ -2460,7 +2469,7 @@ std::vector<checkers::Info> checkers::autosarInfo{
 
 std::vector<checkers::Info> checkers::certCInfo{
     {"PRE30-C", "L3"},
-    {"PRE31-C", "L2"},
+    {"PRE31-C", "L3"},
     {"PRE32-C", "L3"},
     {"DCL30-C", "L2"},
     {"DCL31-C", "L3"},
@@ -2493,7 +2502,7 @@ std::vector<checkers::Info> checkers::certCInfo{
     {"INT35-C", "L3"},
     {"INT36-C", "L3"},
     {"FLP30-C", "L2"},
-    {"FLP32-C", "L2"},
+    {"FLP32-C", "L1"},
     {"FLP34-C", "L3"},
     {"FLP36-C", "L3"},
     {"FLP37-C", "L3"},
@@ -2699,7 +2708,6 @@ std::vector<checkers::Info> checkers::certCInfo{
     {"ERR00-C", "L3"},
     {"ERR01-C", "L2"},
     {"ERR02-C", "L3"},
-    {"ERR03-C", "L3"},
     {"ERR04-C", "L3"},
     {"ERR05-C", "L2"},
     {"ERR06-C", "L3"},

test/cli/other_test.py

@@ -4100,22 +4100,22 @@ def __test_active_checkers(tmp_path, active_cnt, total_cnt, use_misra=False, use
 
 
 def test_active_unusedfunction_only(tmp_path):
-    __test_active_checkers(tmp_path, 1, 966, use_unusedfunction_only=True)
+    __test_active_checkers(tmp_path, 1, 975, use_unusedfunction_only=True)
 
 
 def test_active_unusedfunction_only_builddir(tmp_path):
     checkers_exp = [
         'CheckUnusedFunctions::check'
     ]
-    __test_active_checkers(tmp_path, 1, 966, use_unusedfunction_only=True, checkers_exp=checkers_exp)
+    __test_active_checkers(tmp_path, 1, 975, use_unusedfunction_only=True, checkers_exp=checkers_exp)
 
 
 def test_active_unusedfunction_only_misra(tmp_path):
-    __test_active_checkers(tmp_path, 1, 1166, use_unusedfunction_only=True, use_misra=True)
+    __test_active_checkers(tmp_path, 1, 1175, use_unusedfunction_only=True, use_misra=True)
 
 
 def test_active_unusedfunction_only_misra_builddir(tmp_path):
     checkers_exp = [
         'CheckUnusedFunctions::check'
     ]
-    __test_active_checkers(tmp_path, 1, 1166, use_unusedfunction_only=True, use_misra=True, checkers_exp=checkers_exp)
+    __test_active_checkers(tmp_path, 1, 1175, use_unusedfunction_only=True, use_misra=True, checkers_exp=checkers_exp)