6 May
2014
6 May
'14
4:25 p.m.
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