HomePhabricator

[Analyzer] Iterator Checkers - Make range errors and invalidated access fatal

Description

[Analyzer] Iterator Checkers - Make range errors and invalidated access fatal

Range errors (dereferencing or incrementing the past-the-end iterator or
decrementing the iterator of the first element of the range) and access of
invalidated iterators lead to undefined behavior. There is no point to
continue the analysis after such an error on the same execution path, but
terminate it by a sink node (fatal error). This also improves the
performance and helps avoiding double reports (e.g. in case of nested
iterators).

Differential Revision: https://reviews.llvm.org/D62893

Details

Committed
baloghadamsoftwareAug 29 2019, 2:35 AM
Differential Revision
D62893: [Analyzer] Iterator Checkers - Make range errors and invalidated access fatal
Parents
rL370313: Merging r369184:
Branches
Unknown
Tags
Unknown