#include <iostream>
int foo(int i){
return foo(i + 1);
}
int main(int argc,char * argv[]){
if(argc != 2){
return 1;
}
std::cout << foo(std::atoi(argv[1])) << std::endl;
}
% clang++ -O2 test.cc
% 时间 ./a.out 42
1490723512
./a.out 42 0.00s 用户 0.00s 系统 69% cpu 0.004 总计
% 时间 ./a.out 42
1564058296
./a.out 42 0.00s 用户 0.00s 系统 56% cpu 0.006 总计
% g++ -O2 测试.cc
% ./a.out 42 #无限递归
^C
% clang++ --version
clang version 3.3 (tags/RELEASE_33/final)
Target: x86_64-apple-darwin12.4.0
Thread model: posix
% g++ --version
i686-apple-darwin11-llvm-g++-4.2 (GCC) 4.2.1 (Based on Apple Inc. build 5658) (LLVM build 2336.11.00)
Copyright (C) 2007 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.
那么这是clang++的一个bug还是一个特性呢?
虽然 g++ 和 clang++ 都能够编译 C++98 和 C++11 代码,但 clang++ 从一开始就被设计为 C++11 编译器,并且在其 DNA 中嵌入了一些 C++11 行为(可以这么说) 。
在 C++11 中,C++ 标准变得可以感知线程,这意味着现在有一些特定的线程行为。特别是 1.10/24 规定:
该实现可能假设任何线程最终都会执行以下操作之一:
— 终止,
— 调用库 I/O 函数,
— 访问或修改易失性对象,或者
— 执行同步操作或原子操作。
[注意:这是为了允许编译器进行转换,例如删除空循环,即使无法证明终止也是如此。 ——尾注]
这正是 clang++ 在优化时所做的事情。它看到该函数没有副作用并将其删除even if它不会终止。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)