I have a small issue in implementing type based alias analysis. I need to know the class of any object reference inside the code, but this is generally unavailable in our IR. Note that I just need to handle references to full heap objects (pointing to a MonoObject to be clear), while managed pointers pointing to primitives or value types are not interesting here.
I see that in MonoInst there's the "klass" field, which would be exactly what I need; ideally (at least for me) it should have a meaningful value every time the type of that MonoInst is set to "STACK_OBJ". In practice klass is often NULL in those cases. Other times it points to "Object", but more precise information could be available (like after a "new"). After some code reading, it seems to me that setting "klass" to a meaningful value would be harmless in general (I mean, nothing would stop working because of that), so I'm doing it. If anybody knows some reason why this should not be done, please answer to this message ;-) Ciao, Massi _______________________________________________ Mono-devel-list mailing list Mono-devel-list@lists.ximian.com http://lists.ximian.com/mailman/listinfo/mono-devel-list