* Richard Earnshaw via Gcc-help: > The general problem here is that the AST does not carry enough > information to handle all these cases within a single function. To > merge wrap/no-wrap code, for example, we'd need separate codes for > ADD, SUBTRACT, MULTIPLY, etc. __builtin_add_overflow et al. are already specified to implement wraparound behavior on overflow, so that particular case should be covered to some extent. Thanks, Florian
