HomePhabricator

[Analyzer] Iterator Modeling: Print Container Data and Iterator Positions when…

Authored by baloghadamsoftware on Dec 2 2019, 10:37 AM.

Description

[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.

Details

Committed
baloghadamsoftwareDec 11 2019, 5:20 AM
Parents
rG3bf8558fbb2f: [lldb][NFC] Remove ClangExternalASTSourceCommon::g_TotalSizeOfMetadata
Branches
Unknown
Tags
Unknown