arcana-lab / memoir

A case for representing data collections and objects in the LLVM IR
MIT License
12 stars 2 forks source link

No Object Summary Found #22

Closed peteryongzhong closed 1 year ago

peteryongzhong commented 2 years ago

This issue can be reproduced by commit 3e19e57cb60d460183712346b2a0f675add4e1a6 and is also in reference to test_recursive_type.

The access analysis is failed to get access summary of Object *ptrToA = readReference(tmpField);

I am also seeing some cases here where even though there are only one TyB, the two types obtained from the two objects that built from this object do not have pointer equality. I suspect this has something to do with this problem as well.