Page MenuHomePhabricator

[Analyzer] Iterator Checkers - Model `size()` method of containers
Needs ReviewPublic

Authored by baloghadamsoftware on May 31 2019, 2:19 AM.

Details

Reviewers
NoQ
Szelethus
Summary

Modeling of the size() method is essential for more accurate reporting past-the-end iterator access.

Diff Detail