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@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