3 ms·
> Both gcc and clang easily deduce that the guessing is semantically pointless Can someone explain this please, because I don't see how - as `node` and `next`
by alfiedotwtf 5y ago
> Both gcc and clang easily deduce that the guessing is semantically pointless
Can someone explain this please, because I don't see how - as `node` and `next` could possibly be different values, wouldn't that `if` be needed and so is in no way a NOP?
- syockit 5y agoThe compiler deduces that even though the statement `node = next` is inside an `if`, it is more general, so it removes both `node++` and the `if`.
- alfiedotwtf 5y agoOh?! So it will aim to generalise even when the semantics aren't 1:1? Mind blown. Thanks for that.