HomePhabricator

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

Authored by dcoughlin on Dec 15 2016, 1:27 PM.

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

llvm-svn: 289873