To efficiently detect a dead code.SOLUTION: A dead code analysis device 1 includes a branch exhaustive path extraction unit 3, a block arrival path extraction unit 4, and a logic dependence arrival determination unit 5. The branch exhaustive path extraction unit 3 performs branch exhaustive path extraction by improved branch exhaustive path extraction. The block arrival path extraction unit 4 performs an exhaustive path search targeting a non-arrival block at which the path extracted by the branch exhaustive path extraction unit 3 does not arrive. The logic dependence arrival determination unit 5 detects as a dead code an instruction statement of a non-arrival basic block even by a path searched by the exhaustive path search.SELECTED DRAWING: Figure 2
展开▼