[PATCH] D48650: [analyzer] Fix constraint being dropped when analyzing a program without taint tracking enabled

[Karl-Johan Karlsson via Phabricator via llvm-commits]

Ka-Ka added a comment.

In https://reviews.llvm.org/D48650#1165966, @NoQ wrote:

> This commit causes an assertion failure on `void foo(int a, int *b) { (int)b < a; }`
>
> Run-line: `clang -cc1 -analyze -analyzer-checker=core -analyzer-eagerly-assume test.c`
>
> So it kinda frustrates `RangeConstraintManager` with a `SymSymExpr `that expresses a comparison between a Loc and a NonLoc symbol.
>
> I'll think a bit more on how do i want to address that.


Earlier today I created an issue in bugzilla for this problem.
https://bugs.llvm.org/show_bug.cgi?id=38273
However, the reproducer presented here is smaller and much nicer. I will update the issue in bugzilla.


Repository:
  rL LLVM

https://reviews.llvm.org/D48650