4

存在一些为 C/C++ 设计的静态分析工具,但它们对于测试 CUDA 源代码并不是特别有用。

由于clang 版本 6能够编译 CUDA,我想检查使用 clang-tidy 的选项,它似乎没有切换架构的选项。

有没有办法让它工作?例如用于打开 CUDA 解析器的编译时间开关、自定义检查形式的扩展,或者它可能是计划中的功能?

4

1 回答 1

3

基于 clang 的工具的问题之一是它们解析文件的方式与 clang 不同。

第一个问题是,与 C/C++ 编译不同,CUDA 编译会多次编译源代码。默认情况下,当你给它一个 CUDA 文件时,clang 会创建多个编译作业,这会触发许多只需要一次编译的工具。为了解决这个问题,您需要将--cuda-host-only选项传递给 clang-tidy。

您可能还需要通过--cuda-path=/path/to/your/CUDA/install/root以便 clang 可以找到 CUDA 标头。

您可能遇到的另一个问题与包含路径有关。Clang 派生工具没有相同的默认包含路径,Clang 本身使用并且偶尔会导致奇怪的问题。至少 clang-tidy 需要找到__clang_cuda_runtime_wrapper.h与 clang 一起安装的。如果你运行clang-tidy your-file.c -- -v它,它将打印 clang 的参数并包含它使用的搜索路径。将其与clang -x c /dev/null -fsyntax-only -v打印的内容进行比较。您可能需要提供clang-tidy额外的包含路径以匹配其clang自身使用的路径。请注意,您不应此处显式添加 CUDA 包含的路径。它将被自动添加到正确的位置--cuda-path=...

一切就绪后,clang-tidy 应该可以处理 CUDA 文件。

像这样的东西: clang-tidy your-file.cu -- --cuda-host-only --cuda-path=... -isystem /clang/includes -isystem /extra/system/includes

于 2018-12-20T06:54:46.463 回答