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

Devin Coughlin via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Nov 9 10:54:35 PST 2017

dcoughlin added a comment.

This looks good to me. It is very clean! But please add a comment in the places where you are assuming a two's complement value representation for signed integers.


More information about the cfe-commits mailing list