Keep updating the is_pointer attribute in case the first access to the member did not identify it as a pointer. This can happen in case the first reference to the member is not casted to a type ** expression.
Attached below is a module to trigger this behavior in the current implementation (should be fixed once the PR is merged):
e90a7b5e-37b2-43e4-b281-4c8e349045e9.zip
Keep updating the
is_pointerattribute in case the first access to the member did not identify it as a pointer. This can happen in case the first reference to the member is not casted to atype **expression.Attached below is a module to trigger this behavior in the current implementation (should be fixed once the PR is merged): e90a7b5e-37b2-43e4-b281-4c8e349045e9.zip