尝试理解 GCC 错误

Question

我有以下代码：

#include <iostream>
#include <list>
#include <algorithm>
#include <iterator>

template<typename Iterator>
void foo(Iterator begin, Iterator end)
{
   typedef typename std::iterator_traits<Iterator>::value_type type;
   type smallest = (*std::min_element(begin,end));
   std::cout << smallest << std::endl;
}

int main()
{
   std::list<int> l;
   l.push_back(1);   
   l.push_back(2);
   foo(l.begin(),l.end());
   return 0;
}

当我按如下方式编译它时：

g++ -pedantic -ansi -Wall -Werror -O2 -o  test test.cpp

我收到以下错误：

cc1plus: warnings being treated as errors
In function ‘int main()’:
cc1plus: error: dereferencing pointer ‘pretmp.163’ does break strict-aliasing rules
cc1plus: note: initialized from here

O3 会出现此错误，但 O1 不会出现此错误。我使用 comeau 在线编译器、MS VC9.0 和 icc v11 编译了代码，在所有情况下代码编译都没有问题。

该代码与 std::vector、std::deque、std::set、char* 配合使用效果良好, int* 迭代器，似乎是 std::list 实现的非常特定的东西。

我希望有人能够深入了解这个特定错误（警告）的含义以及如何解决它。

注意：GCC 版本是：

gcc (Ubuntu 4.4.1-4ubuntu9) 4.4.1
Copyright (C) 2009 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Answer 1

这是一个 bugzilla 案例，似乎代表了这个问题或非常类似的问题：

• http:// /gcc.gnu.org/bugzilla/show_bug.cgi?id=38937

它在 4.4.0 中被标记为已修复，因此您要么遇到了另一个极端情况，要么？？？。但这个错误可能会给你一个解决方案提供帮助。

Answer 2

我已经在 gcc-4.4 上复制了您的错误。对于 gcc-4.5 和 gcc-4.6，这不是一个错误，来自 Debian“不稳定”。

我遇到了一个特定于 gcc-4.4 的相关错误，类似于此提交的错误： 错误 42488 – [仅限 4.4] 虚假严格别名警告。正如 @michael-burr 指出的那样，gcc-4.4 存在大量“严格别名规则”错误：GCC 错误列表：严格别名规则 4.4。

我意识到这有点令人不满意，但我已经开始接受这是 GCC 4.4 中的一个错误，并且能够转移到不存在此问题的新版本。

Answer 3

没有关于 gnu 的 clu ...但这似乎很有用： http:// /code.google.com/p/v8/issues/detail?id=413

Answer 4

只是冒险猜测：如果您将 foo 的 args 声明为 const，则可能会解决此问题。如果我理解正确的话，当循环中的多个指针可能指向相同的数据时，就会出现“别名”问题 - 这会导致潜在的操作顺序错误以及一些优化（这就是警告所指的内容） ）。