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

[Artem Dergachev via Phabricator via llvm-commits]

NoQ added a comment.

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.


Repository:
  rL LLVM

https://reviews.llvm.org/D48650