Handle dead code

[MeAmAnUsername]

Dead code is allowed (not checked for) in PIE but not in Java. There are also cases like { fail "error" } that get compiled to code that doesn't compile due to dead code

Options:

• disallow dead code in PIE. Probably not a good idea, language design now depends on how advanced the compiler analysis for dead code is.
• check for dead code and remove it before code generation. Requires DynSem analysis, does not solve fail-in-block error.
• remove dead code after generating java. Could be done as a larger java optimization round. There are probably existing tools but getting them to work with spoofax might be a pain.

[MeAmAnUsername]

Other option: handle at syntactic level: expressions that never return can only be used as last statement Complicated: last statement of block, but also requires last statement of if statement, have to keep track of if a method can return normally? May not be relevant, I don't think Java keeps track of that.