我有一些Boost库代码,在这里我想提示clang发出警告,通过静态分析,由于逻辑错误,可能会出现未定义行为的明显实例。f) __builtin_unreachable(); // Here is the UB}
在上面的代码中,静态分析器可以清楚地看出必须调用__注意,我不需要使用__builtin_unreachable(),这正是Andrzej的C++博客所建议的。任何技术,以获得clang静态</
我想知道是否可以使用来分析Embarcadero RAD Studio C++项目。据我所知,我需要一个makefile或任何东西,并有能力建立与clang的项目。但是Embarcadero使用它自己的C++扩展,所以代码不能用clang编译。
如果分析是可能的(至少对于单独的文件),如果有人发布我需要做的一系列步骤就好了。