LLVM在警告方面的改进 @ WWDC 2013

在上一篇文章中讨论了LLVM对注释进行了处理，在这个处理过程中，LLVM可以对注释的不合理性给出警告：



在写注释的过程中，可能产生以下几点不合理的地方：

1. 描述为空，包括函数说明或者参数说明。如下图：



2. 返回类型不匹配。如下图：



3. 参数名称不一致。如下图：



4. 参数名不一致，还有可能是由于拼写错误，对于这种场景有自动修正功能：



除了上述针对注释的警告外，LLVM在警告方面还做了另外一些改进：新增一些编译警告；默认开启更多的警告（比如上述文档注释警告默认不开启）；严重警告升级为错误。

1. 针对一些语言标准未定义的（可移植性存在问题），或者是编译器实现有差异的代码给出警告（默认开启）：



2. 整型数据计算溢出（默认开启），见下图：



从上图可以看出整型计算溢出的警告还停留在比较初级的阶段，比如r的结果由m和n相乘得出但没有警告——如果这里要给警告要怎么做？

3. 未使用的函数（经验证，针对的是未使用的静态函数）：



第一眼看到“Unused Functions”的标题时，我内心是喜悦的，遗憾的是目前发现只应用在静态函数上。不过想想也是，其它函数或者接口实现有可能在其它地方被调用，而扫描整个项目源码来确定每个函数是否被调用过显然是不值得的。

4. 隐式的布尔值转换。这点比较适用于C++代码，但我一时还比较体会不了具体的实用场景，就摘录一段WWDC 2013 Session 402的片段（如果有谁对这个特性比较有感觉，请指点下）：



5. 隐式枚举类型转换。这点也挺赞的，不同的枚举定义就是不同的数据类型范畴了，在不同数据类型之间转换是应该给点警告：





6. 针对未声明的selector进行警告：



之前我曾经遇到过一个问题，就是想调用未声明接口的方法实现但又不产生警告，尝试用编译器指示符消除：

示例代码：
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wunused-variable"
    int i;
#pragma GCC diagnostic pop

不过下面怎么也消除不了：
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wall"
        [self.superview cellDidClick:self];
#pragma GCC diagnostic pop
只能：
[self.superview performSelector:@selector(cellDidClick:) withObject:self];

现在。。。LLVM又加强了这方面的检查。。。

7. 返回值类型不一致的话，直接作为错误：



8. 定义基类需要显式声明，否则作为错误处理：



如果要定义基类，需要在接口定义前专门声明：



—— Jason Lee @ Hangzhou