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


Reply via email to