HomePhabricator

[analyzer] Add a new SVal to support pointer-to-member operations.

Description

[analyzer] Add a new SVal to support pointer-to-member operations.

Add a new type of NonLoc SVal for C++ pointer-to-member operations. This SVal
supports both pointers to member functions and pointers to member data.

A patch by Kirill Romanenkov!

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

Details

Committed
dcoughlinDec 15 2016, 1:27 PM
Differential Revision
D25475: [analyzer] Add a new SVal to support pointer-to-member operations.
Branches
Unknown
Tags
Unknown