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?
https://reviews.llvm.org/D32642
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
