baloghadamsoftware added a comment.
Now I can improve `SValBuilder` to compare `{conj_X}+n` to `conj_X}+m`, but I
am not sure if it helps to simplify `compare()` much. How to handle cases where
I have to compare `{conj_X}+n` to `{conj_Y}+m`, an we have a range `[k..k]` for
`{conj_X}-{conj_Y}` in the constraint manager. I still need to decompose the
two expressions, retrieve the single length range and adjust one of the sides
of the comparison. I think I should not add such complicated code (i.e.
retrieving single length range from the constrain manager) to `SValBuilder`.
https://reviews.llvm.org/D32642
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
