diff options
| author | Denys Petrov <dpetrov@accesssoftek.com> | 2020-04-09 16:20:07 +0300 |
|---|---|---|
| committer | Denys Petrov <dpetrov@accesssoftek.com> | 2020-05-25 18:52:22 +0300 |
| commit | ba92b274225fc78dc15e8dc0076f71e7a8b5d084 (patch) | |
| tree | eafae11b73bc8f536c676252eb6dd911debde952 /clang/lib/Frontend/CompilerInvocation.cpp | |
| parent | 7c298c104bfe725d4315926a656263e8a5ac3054 (diff) | |
| download | llvm-ba92b274225fc78dc15e8dc0076f71e7a8b5d084.zip llvm-ba92b274225fc78dc15e8dc0076f71e7a8b5d084.tar.gz llvm-ba92b274225fc78dc15e8dc0076f71e7a8b5d084.tar.bz2 | |
[analyzer] Improved RangeSet::Negate support of unsigned ranges
Summary:
This fixes https://bugs.llvm.org/show_bug.cgi?id=41588
RangeSet Negate function shall handle unsigned ranges as well as signed ones.
RangeSet getRangeForMinusSymbol function shall use wider variety of ranges, not only concrete value ranges.
RangeSet Intersect functions shall not produce assertions.
Changes:
Improved safety of RangeSet::Intersect function. Added isEmpty() check to prevent an assertion.
Added support of handling unsigned ranges to RangeSet::Negate and RangeSet::getRangeForMinusSymbol.
Extended RangeSet::getRangeForMinusSymbol to return not only range sets with single value [n,n], but with wide ranges [n,m].
Added unit test for Negate function.
Added regression tests for unsigned values.
Differential Revision: https://reviews.llvm.org/D77802
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions