活着的虫子

摘要： 分析是一种强大的VisualC++特性，可以帮助发现bug。然而，它有时会在不存在问题的情况下发现问题。不幸的是，这些误报，就像这里报道的那样，使/分析变得不那么有用，因为严重的错误最终会被“狼”的叫声淹没。在这篇文章中，我描述了另一个令人沮丧的误报，它展示了一个编译器完全无法理解别名的例子。 Vi 阅读全文