[
https://issues.apache.org/jira/browse/MESOS-4959?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Benjamin Bannier updated MESOS-4959:
------------------------------------
Description:
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.
was:
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.
> 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)
