<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 12pt;
font-family:Calibri
}
--></style></head>
<body class='hmmessage'><div dir='ltr'><span style="font-family: Calibri; ">The front end has a lot of internal options.</span><br><div><font face="Calibri"><br></font></div><div><font face="Calibri"><br></font></div><div><font face="Calibri">Here is one: -check_procs.</font></div><div><font face="Calibri"><br></font></div><div><font face="Calibri">It has one effect:</font></div><div><font face="Calibri"><br></font></div><div><font face="Calibri"><br></font></div><div><font face="Calibri">PROCEDURE Gen_Call_indirect (t: Type; cc: CallingConvention) =</font></div><div><font face="Calibri"> BEGIN</font></div><div><font face="Calibri"> IF Host.doProcChk THEN Check_nil (RuntimeError.BadMemoryReference); END;</font></div><div><font face="Calibri"><br></font></div><div><font face="Calibri"><br></font></div><div><font face="Calibri">Does it really make sense that we use this for NT/x86 and only NT/x86?</font></div><div><font face="Calibri">I kind of think we should use it never or use it always.</font></div><div><font face="Calibri">Or use it on all but NT/x86 -- where the exception handling mechanism is pretty well defined and easy to program. We use it on NT/x86 only (the opposite of my suggestion).</font></div><div><font face="Calibri"><br></font></div><div><font face="Calibri"><br></font></div><div><font face="Calibri">Using it always would bloat our code but trivially give us "safe" portable/consistent behavior.</font></div><div><font face="Calibri">The Modula-3 code would stop right away by calling portable code.</font></div><div><font face="Calibri">Instead of triggering whatever platform-specific signal/exception.</font></div><div><br></div><div><br></div><div><font face="Calibri">I happened on this code...looking at other stuff...obvious reasons if you look around...</font></div><div><font face="Calibri"><br></font></div><div><font face="Calibri"><br></font></div><div><font face="Calibri"> - Jay</font></div> </div></body>
</html>