[analyzer] Don't crash on printing ConcreteInt of size >64 bits
authorAleksei Sidorin <a.sidorin@samsung.com>
Mon, 23 Apr 2018 15:41:44 +0000 (15:41 +0000)
committerAleksei Sidorin <a.sidorin@samsung.com>
Mon, 23 Apr 2018 15:41:44 +0000 (15:41 +0000)
commitb659dd3a45151768fdbe66d83fada7641547280d
treead32e52573c8e89ca4f34169b62526919b9f8d6e
parent2783a7b16eec1753d814a5056dcba804d1e2fade
[analyzer] Don't crash on printing ConcreteInt of size >64 bits

Printing of ConcreteInts with size >64 bits resulted in assertion failure
in get[Z|S]ExtValue() because these methods are only allowed to be used
with integers of 64 max bit width. This patch fixes the issue.

llvm-svn: 330605
clang/lib/StaticAnalyzer/Core/SVals.cpp
clang/test/Analysis/sval-dump-int128.c [new file with mode: 0644]