[PATCH] D39707: [analyzer] assume bitwise arithmetic axioms

[Devin Coughlin via Phabricator via cfe-commits]

dcoughlin added a comment.

I believe your motivating examples used errno_t, which is a signed type.

I'm fine with assuming a two's complement value representation for signed integers, which would make Artem's suggestion work. That assumption definitely deserves a comment, though.


https://reviews.llvm.org/D39707