Hi,

I've read in ECMA that the CIL validation requires that the evaluation stack
should be empty at any instruction following an unconditional branch (e.g.
br).

However, in the following example - accepted by the verifier !! - the
evaluation stack is not empty - it does contain an integer:

                 ldc.i4.4
   IL_0006:  pop
                 ldc.i4.3
   IL_0010:  br.s       IL_0006

It is clear that at IL_0006, there is an "int" on the evaluation stack. Why
it is accepted by the verifier? Or maybe I have a wrong understanding of ECMA
...

Please someone help me with an idea.

Thanks.
George