On Mon, Jan 08, 2007 at 01:00:15PM +0000, Gerrit Renker wrote:
> 
>               1) General cases
>               ================

Thanks for doing the audit!

> CASE 1: calls of the form 
>        * if (before48(a,b)) or 
>        * if (after48(b,a))
>         are not ambiguous due to the definition of before48 (see above link 
> for details).

Actually,

        if (before48(a, b))

is ambiguous if and only if

        if (!before48(a, b))

is ambiguous.  Whether it's safe depends on the clause after the if
statement, i.e.,

        if (before48(a, b))
                process_packet();

would be safe while

        if (before48(a, b))
                drop_packet();

is not.

Cheers,
-- 
Visit Openswan at http://www.openswan.org/
Email: Herbert Xu ~{PmV>HI~} <[EMAIL PROTECTED]>
Home Page: http://gondor.apana.org.au/~herbert/
PGP Key: http://gondor.apana.org.au/~herbert/pubkey.txt
-
To unsubscribe from this list: send the line "unsubscribe dccp" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to