我正在尝试这个,但不工作:
$ clang-tidy --config="analyzer-max-loop: 10" a.cpp --
<command-line-config>:1:1: error: unknown key 'analyzer-max-loop'
analyzer-max-loop: 10
^~~~~~~~~~~~~~~~~
Error: invalid configuration specified.
Invalid argument
我想让分析器尝试遍历一个循环10次。
它是这样工作的:
$ clang --analyze -Xclang -analyzer-constraints=z3
-Xclang -analyzer-max-loop -Xclang 10 a.cpp