[PATCH] D50256: [Analyzer] Basic support for multiplication and division in the constraint manager (for == and != only)
Balogh, Ádám via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Jul 29 07:37:13 PDT 2019
baloghadamsoftware updated this revision to Diff 212153.
baloghadamsoftware added a comment.
Fixed error when the result of an integer division is compared to zero.
CHANGES SINCE LAST ACTION
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 43715 bytes
Desc: not available
More information about the cfe-commits