Explain / maybe harden the no_sanitize('signed-integer-overflow') usage #226
Description
I simply don't know. I just copied it from the other C functions, e.g. times_integer64_integer64(), without knowing what it does.
Originally posted by @hcirellu in #195 (comment)