<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>Some parameter types of external functions appear not be checked (at all or the same) when invoked using parameters that are constant, e.g.</div><div><br></div><div>OpenGL function definition of GLPUSHNAME. Notice <GL>UINT which is an unsigned int</div><div><br></div><div>(DEFUN GLPUSHNAME (GLUINT-0) </div><div><span class="Apple-tab-span" style="white-space:pre"> </span>(CCL:EXTERNAL-CALL "glPushName" :<GL>UINT GLUINT-0 :VOID))</div><div><br></div><div>calling like this:</div><div><br></div><div><div>(let ((View (view-named *w* "world"))) ;;; need to have an glcontext to avoid crashing</div><div> (with-glcontext View</div><div> (glPushName (- (random 2) 2))))</div><div><br></div><div>can result in an error, e.g., Error: value -1 is not of the expected type (UNSIGNED-BYTE 32). Good!</div><div><br></div><div>but </div><div><br></div><div><div>(let ((View (view-named *w* "world")))</div><div> (with-glcontext View</div><div> (glPushName -1)))</div><div><br></div><div>will not create an error or warning at all. I assume this could be some compiler inlining "optimization"? What could be done?</div><div><br></div><div>thanks, Alex</div></div></div><div><br></div><div><br></div><div><br></div><br><div>
<span class="Apple-style-span" style="font-size: 12px; "><p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Helvetica" size="3" style="font: 12.0px Helvetica">Prof. Alexander Repenning</font></p><p style="margin: 0.0px 0.0px 0.0px 0.0px"><br class="khtml-block-placeholder"></p><p style="margin: 0.0px 0.0px 0.0px 0.0px">University of Colorado</p><p style="margin: 0.0px 0.0px 0.0px 0.0px">Computer Science Department</p><p style="margin: 0.0px 0.0px 0.0px 0.0px">Boulder, CO 80309-430</p><p style="margin: 0.0px 0.0px 0.0px 0.0px"><br class="khtml-block-placeholder"></p><p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Helvetica" size="3" style="font: 12.0px Helvetica">vCard: <a href="http://www.cs.colorado.edu/~ralex/AlexanderRepenning.vcf">http://www.cs.colorado.edu/~ralex/AlexanderRepenning.vcf</a></font></p><br class="Apple-interchange-newline"></span>
</div>
<br></body></html>