[PATCH] D39707: [analyzer] assume bitwise arithmetic axioms
Devin Coughlin via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Nov 8 10:47:05 PST 2017
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.
More information about the cfe-commits