diff options
| author | Adam Balogh <adam.balogh@ericsson.com> | 2019-11-08 12:52:09 +0100 |
|---|---|---|
| committer | Adam Balogh <adam.balogh@ericsson.com> | 2019-12-11 15:24:06 +0100 |
| commit | 855d21a03ae841b7c6c980e92f67bd5b65287fa6 (patch) | |
| tree | 7ba4f5800aa2c08c4cbe3bedd4d3a3d578a7d949 /lldb/packages/Python/lldbsuite/test/functionalities/non-overlapping-index-variable-i/main.cpp | |
| parent | 32137699f7f7d6df6157d47eb33faf96dfd257f3 (diff) | |
| download | bcm5719-llvm-855d21a03ae841b7c6c980e92f67bd5b65287fa6.tar.gz bcm5719-llvm-855d21a03ae841b7c6c980e92f67bd5b65287fa6.zip | |
[Analyzer] Iterator Checkers: Replace `UnknownVal` in comparison result by a conjured value
Sometimes the return value of a comparison operator call is
`UnkownVal`. Since no assumptions can be made on `UnknownVal`,
this leeds to keeping impossible execution paths in the
exploded graph resulting in poor performance and false
positives. To overcome this we replace unknown results of
iterator comparisons by conjured symbols.
Differential Revision: https://reviews.llvm.org/D70244
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/functionalities/non-overlapping-index-variable-i/main.cpp')
0 files changed, 0 insertions, 0 deletions
