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)

Reply via email to