[jira] [Created] (MESOS-4959) Enable support for mesos-style assertion macros in clang-tidy core analyzers

["Benjamin Bannier (JIRA)" <ji...@apache.org>]

Benjamin Bannier created MESOS-4959:
---------------------------------------

             Summary: Enable support for mesos-style assertion macros in clang-tidy core analyzers
                 Key: MESOS-4959
                 URL: https://issues.apache.org/jira/browse/MESOS-4959
             Project: Mesos
          Issue Type: Improvement
            Reporter: Benjamin Bannier


clang-tidy has a number of core analyzers that analyze control flow to make sure that e.g., dereferenced pointers are not null. The clang control flow analysis framework uses e.g., the presence of `assert` to prune certain edges from the control flow graph.

Mesos uses a number of custom assertion macros from glog which are not understood by these analyzers. We should find a way to add support for these macros, either by redefining these macros in ways clang static analysis can understand, or by extending the framework.



--
This message was sent by Atlassian JIRA
(v6.3.4#6332)