Invalid member reference with __offset attribute

[teropentis64]

Version and Platform (required):

• Binary Ninja 5.2.8587-dev
• macOS 15.6.1
• Intel

Bug Description:
Binja incorrectly shows member access to struct * with __offset attribute

Screenshots/Video Recording:
Only in disassembly it correctly shows that the reference is the LicenseRepository_vft3 but then fails to correctly display correct member inside it (shows field_8 member of LicenseRepository_vft1 instead f_RefCountIncrease of LicenseRepository_vft3).
IR fails with both.

[emesare]

Are you able to share a BNDB that repros this? I am sure we can make a contrived example however it would help make sure your issue is actually fixed for your case.

https://portal.binary.ninja/upload and then send the keywords here.

[teropentis64]

I'm very pleased for care of my issues but I rather not upload 8GB file. I've made example program and the issue still persists. This is not an edge case.

[emesare]

@teropentis64 Can you share the example program instead?

[teropentis64]

Yes, on it.

Phrase: diligent gift flashes vectorially

[teropentis64]

I would like to add additional info to this issue since is somewhat similar that High Level IR shows something different.

Disassembly

Low IR

Medium IR

High IR

Up to here it's all as expected. Now in High IR it breaks (shows __offset instead real access)

Context