> dead_definition: > Figure out if the def is reached by some use. If so, it's not > dead. Otherwise, it's dead. And how do you do that in the case of static variables, if you dont't consider an edge from exit to entry block?