alexshap added a comment.
@alexfh, thanks for letting me know, i will take a closer look at
https://bugs.llvm.org/show_bug.cgi?id=34309 soon.
Repository:
rL LLVM
https://reviews.llvm.org/D36564
___
cfe-commits mailing list
cfe-commits@lists.llvm
NoQ added a comment.
I see, it seems that we've constructed `$x - 1` somewhere, where `$x` is a
pointer, while such stuff normally looks as `&element{SymRegion{$x}, -1}`. I
guess i'd have to take a more careful look at it soon.
Repository:
rL LLVM
https://reviews.llvm.org/D36564
alexfh added a comment.
In https://reviews.llvm.org/D36564#851384, @alexfh wrote:
> I suspect this might have caused http://llvm.org/PR34309. Could you take a
> look?
FYI, PR34309 doesn't reproduce with this patch reverted.
Repository:
rL LLVM
https://reviews.llvm.org/D36564
__
alexfh added a comment.
I suspect this might have caused http://llvm.org/PR34309. Could you take a look?
Repository:
rL LLVM
https://reviews.llvm.org/D36564
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mai
This revision was automatically updated to reflect the committed changes.
Closed by commit rL310887: [analyzer] Fix SimpleSValBuilder::simplifySVal
(authored by alexshap).
Changed prior to commit:
https://reviews.llvm.org/D36564?vs=110502&id=111073#toc
Repository:
rL LLVM
https://reviews.ll
NoQ added a comment.
Hmm, looks correct. Thanks! I guess this problem appeared when we enabled
`SymSymExpr`s, otherwise `(End - Begin)` would have been `UnknownVal`.
Repository:
rL LLVM
https://reviews.llvm.org/D36564
___
cfe-commits mailing lis
alexshap created this revision.
Herald added a subscriber: xazax.hun.
This diff attempts to address a crash (triggered assert) on the newly-added
test case.
The assert being discussed is inside SValBuilder::evalBinOp
if (Optional RV = rhs.getAs()) {
// Support pointer arithmetic where the
