You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@mesos.apache.org by "Benjamin Bannier (JIRA)" <ji...@apache.org> on 2016/03/16 13:12:33 UTC
[jira] [Updated] (MESOS-4959) Enable support for mesos-style
assertion macros in clang-tidy core analyzers
[ 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)