Re : [Pnet-developers] [bug #4430] Internal error: Could not verify the code - br.s at verify_branch.c:393

[Gopal V]

If memory serves me right, Yannis BRES wrote:
>      My theory was wrong and the reality is much more simple :  peverify do
> not accept the same class of program than the built-in BCV.  peverify
> refuses programs in which converging blocks do no leave "compatible" stacks,
> while the VM just tolerates that...

Which is just great !! ... a VM that doesn't verify and a verifier
supplied which does ... Maybe the VM just doesn't verify and simply
ensures that the JIT'd code handles all the stack mods ? 

/me thinks of a new genre of viruses :)

Gopal
-- 
The difference between insanity and genius is measured by success