我一直被告知，编译器足够智能，可以消除死代码。我编写的许多代码在编译时都包含大量已知信息，但代码必须以... 的形式编写。

我一直被告知编译器足够智能，可以消除死代码。我编写的大部分代码在编译时都有很多已知信息，但代码必须以最通用的形式编写。我不懂任何汇编语言，所以我无法检查生成的汇编语言。什么样的代码可以在最终的可执行文件中有效地消除？

举几个例子，但不限于

f(bool b){
 if(b){
  //some code
 }else{
  //some code
 }
}
f(true);
//////////////////////////
template<bool b>
f(){
 if(b){
  //some code
 }else{
  //some code
 }
}
f<true>();
///////////////////////////

如果 的定义 f 在其他目标代码中，而 被调用的 f(true) 在主代码中，会怎么样？链接时间优化能否有效消除死代码？有什么编码风格/编译器选项/技巧可以促进死代码的消除？