diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2017-03-28 15:57:12 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2017-03-28 15:57:12 +0000 |
| commit | 7333a9ea11df49ad9013f41a593752508663c9a9 (patch) | |
| tree | 3a54ef8c5d9947cfe02f0beceaf27ab1419d8f16 /llvm/lib/Bitcode/Writer/BitcodeWriter.cpp | |
| parent | 5d39a98612406a94fffa55159735ff6d43ffd206 (diff) | |
| download | llvm-7333a9ea11df49ad9013f41a593752508663c9a9.zip llvm-7333a9ea11df49ad9013f41a593752508663c9a9.tar.gz llvm-7333a9ea11df49ad9013f41a593752508663c9a9.tar.bz2 | |
[analyzer] Fix symbolication for unknown unary increment/decrement results.
If the value is known, but we cannot increment it, conjure a symbol to
represent the result of the operation based on the operator expression,
not on the sub-expression.
In particular, no longer crash on comparing a result of a LocAsInteger increment
to a constant integer.
rdar://problem/31067356
Differential Revision: https://reviews.llvm.org/D31289
llvm-svn: 298927
Diffstat (limited to 'llvm/lib/Bitcode/Writer/BitcodeWriter.cpp')
0 files changed, 0 insertions, 0 deletions