存在为C / C ++设计的几种静态分析工具,但它们对于测试CUDA源并不是特别有用。
由于clang version 6能够编译CUDA,我想检查使用clang-tidy的选项是什么,它似乎没有切换架构的选项。
有没有办法让它发挥作用?例如,用于打开CUDA解析器的编译时间开关,自定义检查形式的扩展,还是可能是计划的功能?
答案 0 :(得分:1)
基于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一起安装的__clang_cuda_runtime_wrapper.h
。如果运行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