HomePhabricator

[analyzer] Model iterator random incrementation symmetrically

Authored by gamesh411 on Jul 21 2020, 12:31 AM.

Description

[analyzer] Model iterator random incrementation symmetrically

Summary:
In case a pointer iterator is incremented in a binary plus expression
(operator+), where the iterator is on the RHS, IteratorModeling should
now detect, and track the resulting value.

Reviewers: Szelethus, baloghadamsoftware

Reviewed By: baloghadamsoftware

Subscribers: rnkovacs, whisperity, xazax.hun, baloghadamsoftware, szepet, a.sidorin, mikhail.ramalho, Szelethus, donat.nagy, dkrupp, Charusso, steakhal, martong, ASDenysPetrov, cfe-commits

Tags: #clang

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

Details

Committed
gamesh411Aug 4 2020, 2:04 AM
Reviewer
baloghadamsoftware
Differential Revision
D83190: [analyzer] Model iterator random incrementation symmetrically
Parents
rGd9d22105792e: [llvm-readobj] - An attempt to fix BB.
Branches
Unknown
Tags
Unknown