[PATCH] D35110: [Analyzer] Constraint Manager Negates Difference

Balogh, Ádám via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Jul 18 05:26:56 PDT 2017

baloghadamsoftware updated this revision to Diff 107079.
baloghadamsoftware added a comment.

I think I checked the type of the left side of the difference, not the difference itself. Thus the difference is not a pointer type, it is a signed integer type, the tests pass when I remove that line.



-------------- next part --------------
A non-text attachment was scrubbed...
Name: D35110.107079.patch
Type: text/x-patch
Size: 6038 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20170718/82823103/attachment.bin>

More information about the cfe-commits mailing list