blob: b0887cb7c497fd4d68eca1cbf0ca784533f1a04c [file] [log] [blame]
// multiple output values: one for modelling control flow + output value
class K {
int f(Object o) {
<selection>if (o == null) return 0;
o = new Object();</selection>
Object oo = o;
return 1;
}
}