On Sat, 23 Nov 2002 22:00:24 -0500 (EST), Rich Salz wrote:

>As-if what?  If the memory isn't zero, abort() is called.

        But the compiler could know that the memory is zero, inline the check, and 
then optimize it out.

>Every single byte of the area in question is checked.
>Please explain how it could be while preserving the semantics.

        The code does nothing, so under the as-if rule, it can be removed entirely.

        DS


______________________________________________________________________
OpenSSL Project                                 http://www.openssl.org
User Support Mailing List                    [EMAIL PROTECTED]
Automated List Manager                           [EMAIL PROTECTED]

Reply via email to