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

[Yannis BRES]

     Hi !

> Ok, pnet's verifier was having problems with this kind of 
> thing ie in C# code ,
> return (expr ? (Object)a : (Object)b);
> Which generates
> 
>       ldloc.0  //expr -- bool
>       brfalse ?L1
>       ldloc.1  // a -- Type A
>       br.s  ?L2
> ?L1:
>       ldloc.2 // b -- Type B
> ?L2:
>       ret
> Which was my original question ie "Is this generated from a 
> huge ternary expression" which it might be , scheme being a 
> very very easy language to put 
> (ternary_op (..LOTS..) (..LOTS..) (..LOTS..)) 
> to have this sort of effect on IL ..
     Well, it could have been that ;-)  This is so hard to get back to the
statement that generated that...

> > I do insist that this is a recent "regression", such programs 
> > were not rejected till recently...
> Ok, this problem was there from day #1 of the verifier stack
> checks :)
     Sorry, I really though that I have already seen that program running on
PNet at least once...

> You should use ilverify for that as ilrun does not verify methods it 
> does not run . So the problem popped up when you use a 
> particular set of options & ran the problem function.
     You are definitely right.

> But I've fixed this up without breaking the rest of the 
> verifier I hope. Currently ilverify gives your bigloo an A-OK :) .  
     Thank you very much for your quick and efficient work !

     The other bug seems (pop at verify.c:1030) seems to come from us as
peverify complains at the same location...

     Thanks again for all that you do, keep the good work going !
          Yannis


======================================================================
ESSI                                    http://www.essi.fr
Attache Temporaire d'Enseignement et de Recherche
----------------------------------------------------------------------
INRIA  -  Equipe Mimosa                 http://www-sop.inria.fr/mimosa
Collaborateur Exterieur                 +33 (4) 92 38 79 67
----------------------------------------------------------------------
+33 (6) 60 38 79 52                     http://www.yannis.bres.name
======================================================================