A few comments.
Dec 3 2017
Nov 9 2017
@NoQ Do we need to change a DeclaratorDecl field in PointerToMember SVal to something more common, like ValueDecl, to support IndirectFieldDecl as well?
Of course in another patch, this one LGTM.
Apr 11 2017
Jan 10 2017
Looks good to me, apart from a very small cavil introduced in not even your code. Thanks for not leaving pointers to static member functions out of account!
Dec 15 2016
Fix issues pointed by @dcoughlin and rebase patch on master.
Dec 14 2016
Thanks for your comments, Devin! You were right about the list of path specifiers construction order, so i fix it. Now the base specifier list is being used for figuring out the correct subobject field. Also this diff changes fallthrough behavior in some cases and renames functions with 'cons' prefix.
Dec 13 2016
Nov 29 2016
Thanks for your comments, Artem! Make function name less ambiguous. Also I take liberty to update analogical function name.
Nov 28 2016
Nov 18 2016
Nov 7 2016
According to dcoughlin suggestion PointerToMember SVal is now modeled as a PointerUnion of DeclaratorDecl and bump pointer-allocated object stored DeclaratorDecl and immutable linked list of CXXBaseSpecifiers.
Oct 24 2016
Oct 18 2016
Null pointer-to-member dereference is now modeled as UndefinedVal. Fixing this also releases us from loading from nonloc SVal.
I delete an assertion suppression in ExprEngine::performTrivialCopy because I can't reproduce its violation.