gcc-parser: tag trace events produced by gcc -fanalyzer

Author: kdudka

src/gcc-parser.cc

@@ -558,12 +558,14 @@ struct GccPostProcessor::Private {
     const LangDetector langDetector;
 
     void transGccAnal(Defect *pDef) const;
+    void polishGccAnal(Defect *pDef) const;
     void transSuffixGeneric(Defect *pDef, const std::string, const RE &) const;
     void transShellCheckId(Defect *pDef) const;
 
     const RE reClangWarningEvt  = RE("^(.*) (\\[[A-Za-z.]+\\])$");
     const RE reGccAnalCoreEvt   = RE("^(.*) (\\[-Wanalyzer-[^ \\]]+\\])$");
     const RE reGccAnalCwe       = RE("^(.*) \\[CWE-([0-9]+)\\]$");
+    const RE reGccAnalTraceEvt  = RE("^\\([0-9]+\\) .*$$");
     const RE reGccWarningEvt    = RE("^(.*) (\\[-W[^ \\]]+\\])$");
     const RE reShellCheckId     = RE("(^.*) (\\[SC([0-9]+)\\])$");
 };
@@ -604,6 +606,24 @@ void GccPostProcessor::Private::transGccAnal(Defect *pDef) const
     keyEvt.msg = sm[/* msg */ 1];
 }
 
+void GccPostProcessor::Private::polishGccAnal(Defect *pDef) const
+{
+    if ("GCC_ANALYZER_WARNING" != pDef->checker)
+        return;
+
+    for (DefEvent &evt : pDef->events) {
+        if (evt.verbosityLevel != /* note */ 1 || evt.event != "note")
+            // not a "note" event
+            continue;
+
+        if (!boost::regex_match(evt.msg, this->reGccAnalTraceEvt))
+            // not a "trace" event either
+            continue;
+
+        evt.verbosityLevel = /* trace */ 2;
+    }
+}
+
 void GccPostProcessor::Private::transSuffixGeneric(
         Defect                 *pDef,
         const std::string       checker,
@@ -631,6 +651,9 @@ void GccPostProcessor::apply(Defect *pDef) const
     d->transSuffixGeneric(pDef, "CLANG_WARNING",      d->reClangWarningEvt);
     d->transSuffixGeneric(pDef, "COMPILER_WARNING",   d->reGccWarningEvt);
     d->transSuffixGeneric(pDef, "SHELLCHECK_WARNING", d->reShellCheckId);
+
+    d->polishGccAnal(pDef);
+
     d->langDetector.inferLangFromChecker(pDef);
 }
 

tests/csgrep/63-gcc-parser-checker-lang-stdout.txt

@@ -107,7 +107,7 @@
                     "column": 5,
                     "event": "note",
                     "message": "(1) following 'false' branch...",
-                    "verbosity_level": "1"
+                    "verbosity_level": "2"
                 },
                 {
                     "file_name": "",
@@ -128,15 +128,15 @@
                     "line": 0,
                     "event": "note",
                     "message": "(2) ...to here",
-                    "verbosity_level": "1"
+                    "verbosity_level": "2"
                 },
                 {
                     "file_name": "/builddir/build/BUILD/systemtap-4.4/staprun/relay.c",
                     "line": 53,
                     "column": 8,
                     "event": "note",
                     "message": "(3) following 'false' branch...",
-                    "verbosity_level": "1"
+                    "verbosity_level": "2"
                 },
                 {
                     "file_name": "",
@@ -158,7 +158,7 @@
                     "column": 27,
                     "event": "note",
                     "message": "(4) ...to here",
-                    "verbosity_level": "1"
+                    "verbosity_level": "2"
                 },
                 {
                     "file_name": "",
@@ -180,7 +180,7 @@
                     "column": 5,
                     "event": "note",
                     "message": "(5) following 'false' branch...",
-                    "verbosity_level": "1"
+                    "verbosity_level": "2"
                 },
                 {
                     "file_name": "",
@@ -202,7 +202,7 @@
                     "column": 40,
                     "event": "note",
                     "message": "(6) ...to here",
-                    "verbosity_level": "1"
+                    "verbosity_level": "2"
                 },
                 {
                     "file_name": "",
@@ -224,15 +224,15 @@
                     "column": 40,
                     "event": "note",
                     "message": "(7) allocated here",
-                    "verbosity_level": "1"
+                    "verbosity_level": "2"
                 },
                 {
                     "file_name": "/builddir/build/BUILD/systemtap-4.4/staprun/relay.c",
                     "line": 56,
                     "column": 5,
                     "event": "note",
                     "message": "(8) assuming '<unknown>' is non-NULL",
-                    "verbosity_level": "1"
+                    "verbosity_level": "2"
                 },
                 {
                     "file_name": "",
@@ -254,15 +254,15 @@
                     "column": 5,
                     "event": "note",
                     "message": "(9) following 'false' branch...",
-                    "verbosity_level": "1"
+                    "verbosity_level": "2"
                 },
                 {
                     "file_name": "/builddir/build/BUILD/systemtap-4.4/staprun/relay.c",
                     "line": 60,
                     "column": 16,
                     "event": "note",
                     "message": "(10) ...to here",
-                    "verbosity_level": "1"
+                    "verbosity_level": "2"
                 },
                 {
                     "file_name": "",
@@ -284,7 +284,7 @@
                     "column": 16,
                     "event": "note",
                     "message": "(11) '<unknown>' leaks here; was allocated at (7)",
-                    "verbosity_level": "1"
+                    "verbosity_level": "2"
                 }
             ]
         },