Steinar H. Gunderson: Decompilation patterns, part 6: If-add-else

Often, m2c will spit out something like this: x = 3; if (a == 10) { x = 4; } This may be what was intended, but if it doesn't match (usually due to different register allocation; the rewrite itself is nearly always going to be taken, since it saves a branch on one of the paths), this is often a better rewrite: if (a == 10) { x = 4; } else { x = 3; } and in…

Quelle: Originalartikel öffnen