Re: [Sablevm-developer] Flushing strategy ....

[Etienne M. G. <eti...@uq...>]

Gunda Domlur wrote:
> 
>     m4svm_instruction_head (GOTO, SVM_INTRP_FLAG_INLINEABLE, 2);
> 
>     pc = pc->addr;
> 
>     m4svm_instruction_tail ();
> 
> Since GOTO changes the flow of control shouldn't that be flagged as 
> _CONTAINS_BRANCH_OR_CALL ? There are a few others which looked suspicious.

Also...  Note that the body :

  pc = pc->addr;

does NOT include any "if/switch/while"..." branch statement, nor any function 
call. :-)

Etienne

-- 
Etienne M. Gagnon                    http://www.info.uqam.ca/~egagnon/
SableVM:                                       http://www.sablevm.org/
SableCC:                                       http://www.sablecc.org/