[all-commits] [llvm/llvm-project] 6e9c58: [Analyzer] Iterator Modeling: Print Container Data...

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

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 6e9c58946eeeebfe8eed7308a3b57611e225ad67
      https://github.com/llvm/llvm-project/commit/6e9c58946eeeebfe8eed7308a3b57611e225ad67
  Author: Adam Balogh <adam.balogh at ericsson.com>
  Date:   2019-12-11 (Wed, 11 Dec 2019)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/IteratorModeling.cpp
    M clang/test/Analysis/iterator-modelling.cpp

  Log Message:
  -----------
  [Analyzer] Iterator Modeling: Print Container Data and Iterator Positions when printing the Program State

Debugging the Iterator Modeling checker or any of the iterator checkers
is difficult without being able to see the relations between the
iterator variables and their abstract positions, as well as the abstract
symbols denoting the begin and the end of the container.

This patch adds the checker-specific part of the Program State printing
to the Iterator Modeling checker.