[Soot-list] Why JSubExpr if Jimple does not have subexpression?

[Eric Bodden]

> Apparently, Jimple transforms all the expressions like "x = y - 7 " to " z =
> y +  (-7)",

I don't think it does - at least not if you process bytecode.

> Otherwise, a minor suggestion: the class IntConstant has a field "value", it
> might be better to use a getValue() method as a common practice?

I guess you are right. However, such a change would not be backwards
compatible, which is an issue for us. Many people are using Soot by
now...

Eric