Re: [Projects] [PATCH HAVM] checkLow should occur before plaining - Projects

6 May 2014

On 11/04/2014 22:16, Pablo Oliveira wrote:

...
  Dear HAVM maintainers, 
Dear Pablo,

...
  Currently havm --low fails to reject some invalid LIR
programs such as:

   label main
   seq
     seq
       sxp
         const 0
     seq end
   seq end
   label end

 Because "plaining" step comes first, and removes unneeded nested seqs, checkLow
fails to see that the original program contains nested seqs.

 Attached is a tentative patch that fixes this. 
Thank you for your patch!  I'll apply it to for the next release of HAVM.

...
  PS: Roland, Akim, sorry for directly CCing you. But
since my last week messages to projects(a)lrde.epita.fr list went unanswered
(http://lists.lrde.epita.fr/pipermail/projects/2014-April/thread.html), I'm not sure
if the list is active anymore :) 
The list is still active.  I'm just very late; sorry! :)

Kind regards,
Roland

-- 
Roland Levillain
EPITA Research and Development Laboratory (LRDE)
14-16, rue Voltaire - FR-94276 Le Kremlin-Bicêtre Cedex - France
Phone: +33 1 53 14 59 45 - Fax: +33 1 53 14 59 22 - www.lrde.epita.fr