Eric Blake wrote: > What are the clang developers using as their justification > for this warning?
Quoting the clang documentation [1]: "-fsanitize=unsigned-integer-overflow: Unsigned integer overflows. Note that unlike signed integer overflow, unsigned integer is not undefined behavior. However, while it has well- defined semantics, it is often unintentional, so UBSan offers to catch it." Bruno [1] https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html