[Pnet-developers] ILType_Invalid on verifier stack?

[Andre 'Ilu' Seidelt]

Hi Rhys, hi all,

I found something that needs some explanation for me.
As mentioned before, I try to record the stack contents of the verifier when
walking the stack for later usage.

Right now I preserve the contents at every IL_OP_CALLVIRT, first thing
there is now to call ILSetStackDump(coder, stack, stackSize).
Now I have several cases where the contents of the stack is a 
ILEngineType_O,
but the typeInfo for that entry contains ILType_Invalid (NULL).

It seems to be inserted in cmvc_obj.c::CVMCoder_LoadThisField()
but what does that mean? I think I can't use the stack on such occasions,
because I can't get the type for the values where no typeInfo exists...

regards
   Ilu

PS: a dump from such a location looks like that ("NULL=" beeing the 
value in typeInfo):
>>> stacksize=9
>>>   0: object <Type> [1] NULL=0x1008c700
>>>   1: object <String> [1] NULL=0x1008c300
>>>   2: int32 <N/A>
>>>   3: object <NULL> [1] NULL=0x0
>>>   4: object <NULL> [1] NULL=0x0
>>>   5: object <NULL> [1] NULL=0x0
>>>   6: object <NULL> [1] NULL=0x0
>>>   7: object <NULL> [1] NULL=0x0
>>>   8: object <NULL> [1] NULL=0x0