]> granicus.if.org Git - clang/commit
[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)
commitb264f83ea398d5c0131d7e31c6d814ae7ecd5b72
tree94dbcfdcfdc54b83868904a6b20918fb91a0cc55
parent632df14c519e15124316a6451473fbc5a52daf51
[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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@345283 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp