[PATCH] D29437: [ubsan] Detect signed overflow UB in remainder operations

[John Regehr via Phabricator via cfe-commits]

regehr added a comment.

Does this check need to be sensitive to the dialect of C/C++ that the user asked for? I know that it used to be the case that the standard could be read either way for this case, but as you observe it is now unambiguously UB.


https://reviews.llvm.org/D29437