[JSR308] Java compilers that perform common subexpression elimination

[Michael Ernst]

If a compiler performs common subexpression elimination on two
(incompatibly-annotated) expressions or statements, then there is no good
choice for how to annotate the generated classfile.  I am not sure whether
this is a purely hypothetical problem or a real one.

As a first step in determining this, can someone, or some group of people,
volunteer to create a catalog of widely used Java-to-bytecode compilers and
whether they perform this or other problematic optimizations?  (A list of
other problematic optimizations would also be helpful.)  Even if you can
only report the results for one compiler, that would be helpful.

                    -Mike