[all-commits] [llvm/llvm-project] a3f4d1: [Analyzer] Use note tags to track container begin ...

[Balogh, Ádám via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: a3f4d17a1a53c4144a5bb7c14620a5d2790f36ea
      https://github.com/llvm/llvm-project/commit/a3f4d17a1a53c4144a5bb7c14620a5d2790f36ea
  Author: Adam Balogh <adam.balogh at ericsson.com>
  Date:   2020-03-26 (Thu, 26 Mar 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/ContainerModeling.cpp
    M clang/lib/StaticAnalyzer/Checkers/IteratorRangeChecker.cpp
    M clang/test/Analysis/container-modeling.cpp
    M clang/test/Analysis/iterator-range.cpp

  Log Message:
  -----------
  [Analyzer] Use note tags to track container begin and and changes

Container operations such as `push_back()`, `pop_front()`
etc. increment and decrement the abstract begin and end
symbols of containers. This patch introduces note tags
to `ContainerModeling` to track these changes. This helps
the user to better identify the source of errors related
to containers and iterators.

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