Page MenuHomePhabricator

[Analyzer] Fix handling of pointer-based iterator increments and decrements
Needs ReviewPublic

Authored by baloghadamsoftware on Sep 24 2020, 4:29 AM.

Details

Reviewers
NoQ
Szelethus
Summary

The handling of iterators implemented as pointers were incorrectly handled in the increment and decrement operations because these operations did not handle the lvalue of the iterator correctly. This patch fixes that issue and extends the test coverage for such kind of iterators by adding an option to the simulated std::vector to implement its iterator as a pointer.

Diff Detail