[analyzer] Fixed bitvector from model always being unsigned
authorMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Thu, 25 Oct 2018 17:27:36 +0000 (17:27 +0000)
committerMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Thu, 25 Oct 2018 17:27:36 +0000 (17:27 +0000)
commit5062532683953336b7703ebf81d759cfe18ad0ca
tree2582f69055dcf2cc4750d30d97d1a354063c14f1
parent3a103b1d2575483e50b974c1f5a41102f264d62f
[analyzer] Fixed bitvector from model always being unsigned

Summary:
Getting an `APSInt` from the model always returned an unsigned integer because of the unused parameter.

This was not breaking any test case because no code relies on the actual value of the integer returned here, but rather it is only used to check if a symbol has more than one solution in `getSymVal`.

Reviewers: NoQ, george.karpenkov

Reviewed By: george.karpenkov

Subscribers: xazax.hun, szepet, a.sidorin, Szelethus, donat.nagy, dkrupp

Differential Revision: https://reviews.llvm.org/D53637

llvm-svn: 345283
clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp