印象中javac已經(jīng)可以去除不可及代碼了，到j(luò)it compiler這一層的話，肯定可以優(yōu)化掉。  回復(fù)  更多評論
  

我知道，很多編譯器都有優(yōu)化功能，但是優(yōu)化得不是很徹底！例如，我曾經(jīng)做過實(shí)驗(yàn)：

(1)if(3!=4)
code_1;
(2)int X=1,Y=2;
if(5X*X!=Y*Y-1)
code_2;

在這兩種情形下，code_1、code_2都是永遠(yuǎn)不執(zhí)行的代碼，在編譯為字節(jié)碼時，編譯器應(yīng)該把(1)和(2)中的所有的代碼都優(yōu)化掉，但是javac只能優(yōu)化掉(1)中所有的代碼，而不能將(2)中if條件和code_2優(yōu)化掉...
@白色天堂
  回復(fù)  更多評論
  

你所說的JIT Compiler是指執(zhí)行字節(jié)碼時用的JIT技術(shù)嘛？比如Hotspot。還是指純粹的從源代碼到字節(jié)碼這一層的Compiler?
@白色天堂
  回復(fù)  更多評論
  

are you sure that you need 動態(tài)分析工具, not static code analysis?

http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis#Java

try those. they can tell you the unreachable source block in your source code.  回復(fù)  更多評論
  

Is there any code analysis tool that can find the dead code in a Java bytecode such as a class file?
@Hank
  回復(fù)  更多評論
  

確實(shí)javac的優(yōu)化做得很少，很多基本的優(yōu)化都不會作，我的理解是SUN認(rèn)為這些優(yōu)化可以在jvm運(yùn)行時由jit compiler完成，也就是你說的hotspot。SUN對他的這個技術(shù)似乎很有信心。  回復(fù)  更多評論
  

@白色天堂
hehe,maybe:)
  回復(fù)  更多評論