[PATCH] D32642: [Analyzer] Iterator Checker - Part 2: Increment, decrement operators and ahead-of-begin checks

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Jun 23 02:09:28 PDT 2017

NoQ added a comment.

In https://reviews.llvm.org/D32642#788822, @baloghadamsoftware wrote:

> > I'm sure that simplification `(($x + N) + M) ~> ($x + (M + N))` is already working in `SValBuilder`.
> No, it is unfortunately not working: I tried to increase `${conj_X}` by `1`, then again by `1`, and I got symbolic expression `(${conj_X}+1)+1)`.

Could you post the code you use?


More information about the cfe-commits mailing list