[llvm-dev] Potentially unsafe loop optimization

[Richard Kenner via llvm-dev]

Let me follow up on my own message: it seems that even if there's no "nuw"
in the original IR, the optimizer generates one, which seems very odd.