[all-commits] [llvm/llvm-project] 22e718: [analyzer][ReturnPtrRangeChecker] Fix a false posi...

[Kristóf Umann via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 22e7182002b5396539c69603b1c8c924b5f661e7
      https://github.com/llvm/llvm-project/commit/22e7182002b5396539c69603b1c8c924b5f661e7
  Author: Kirstóf Umann <dkszelethus at gmail.com>
  Date:   2020-11-02 (Mon, 02 Nov 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/ReturnPointerRangeChecker.cpp
    M clang/test/Analysis/misc-ps-region-store.m
    M clang/test/Analysis/return-ptr-range.cpp

  Log Message:
  -----------
  [analyzer][ReturnPtrRangeChecker] Fix a false positive on end() iterator

ReturnPtrRange checker emits a report if a function returns a pointer which
points out of the buffer. However, end() iterator of containers is always such
a pointer, so this always results a false positive report. This false positive
case is now eliminated.

This patch resolves these tickets:
https://bugs.llvm.org/show_bug.cgi?id=20929
https://bugs.llvm.org/show_bug.cgi?id=25226
https://bugs.llvm.org/show_bug.cgi?id=27701

Patch by Tibor Brunner!

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