[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...
Size: 6038 bytes
Desc: not available
More information about the cfe-commits