Specifically, the current algorithm appears to treat member variable accesses through identifiers (without a preceding this->) as if they are the same if they have the same entity type. However, they should be distinguished if they are accesses to different members.
This should also be checked for explicit member access through -> and . operators. (But those may well be working correctly already.)
Specifically, the current algorithm appears to treat member variable accesses through identifiers (without a preceding
this->) as if they are the same if they have the same entity type. However, they should be distinguished if they are accesses to different members.This should also be checked for explicit member access through
->and.operators. (But those may well be working correctly already.)