[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 mailing list