<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;">Hi all:<br>
There are known techniques for avoid this to happen or tu use brute
force approaches (even when they don't work as resorted in p. 43):<br>
http://fg-metriken.gi.de/fileadmin/user_upload/news/news98_2.pdf<br>
<br>
There are approaches for typeless abstract interpretation, but for functional correctness of the abstract machine we have to develop execution models
and improve low-level error-catching like above explained if it can get enough , I guess the
issue is in what in-memory approach are you thinking <br>
Thanks in advance<br><br>--- El <b>vie, 7/12/12, Jay Krell <i><jkrell@elego.de></i></b> escribió:<br><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><br>De: Jay Krell <jkrell@elego.de><br>Asunto: [M3commit] CVS Update: cm3<br>Para: m3commit@elegosoft.com<br>Fecha: viernes, 7 de diciembre, 2012 06:47<br><br><div class="plainMail">CVSROOT:    /usr/cvs<br>Changes by:    jkrell@birch.    12/12/07 11:47:21<br><br>Modified files:<br>    cm3/m3-sys/m3back/src/: M3C.m3 <br><br>Log message:<br>    Punt and make check_range a helper function.<br>    That reduces warnings.<br>    Doing better here seems elusive.<br>    There are still range warnings to fix, probably check_lo/hi/index.<br>    This does mean we could probably dispense with most of my
 recent<br>    work on forming a higher level in-memory form.<br>    Also, ideally check_range helper would call reportfault, but I don't<br>    think we have that name by this time in the code.<br>    todo: capture the value into locals for all the check_ operations.<br>    (requires another pass to allocate the locals)<br><br></div></blockquote></td></tr></table>