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

[Mikhail Ramalho via Phabricator via llvm-commits]

mikhail.ramalho added a comment.

In https://reviews.llvm.org/D48650#1157689, @george.karpenkov wrote:

> @mikhail.ramalho Could you also state how different values affect the effectivity of refutation?


Hi, the same bugs are removed, with threshold 25 and 10000:

- redis: 1 removed
- openssl: 2 removed
- git: 11 removed
- postgresql: 5 removed
- sqlite3: 14 removed

With complexity 10000, however, the verification time of openSSL went from 260s to 1500s. The other were roughly the same (~20s slower at most).


https://reviews.llvm.org/D48650