c++ - 使用 MPI 进行 Clang 静态分析

Question

我想使用 Clang's static analyzer用于分析并行代码，即需要 MPI 编译器包装器的代码。然而，当使用 CMake 配置时，我总是得到

$ scan-build cmake /path/to/source
-- Check for working CXX compiler: /usr/share/clang/scan-build/c++-analyzer
-- Check for working CXX compiler: /usr/share/clang/scan-build/c++-analyzer -- works

随后的编译(make)失败

/usr/include/some/header.hpp:56:17: fatal error: mpi.h: No such file or directory

#include "mpi.h"

这里如何正确使用scan-build？

Answer 1

我还没有找到直接通过 scan-build 使用 MPI 编译器包装器的方法。但是，您可以绕过包装器并手动将标志提供给编译器。例如这适用于我的环境:

$ export CXXFLAGS=`mpicxx --showme:compile`
$ export LDFLAGS=`mpicxx --showme:link`
$ export CXX=`mpicxx --showme:command`
$ scan-build ./configure && scan-build make #Or your cmake equivalent

--showme: 标志似乎在版本之间略有不同，但 mpicc --showme:help 通常会为您提供特定包装支持的命令列表。