[racket-dev] [plt] Push #23267: master branch updated

From: Paulo J. Matos (paulo at matos-sorge.com)
Date: Tue Aug 23 11:30:19 EDT 2011

On 17/08/11 09:49, Marijn wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
>
> On 08/16/11 20:54, Stephen Bloch wrote:
>> Wouldn't it be even better to put curly-braces around the body of the
>> C macro, so people using it don't have to know that it expands into
>> multiple statements?
>
> I read a long time ago (I think it was on LWN, but I can't find the
> article) about some tricks that are used in the linux kernel to mitigate
> weaknesses of the C preprocessor. You wrap multiple statement macros in
> "do {" "} while(0)", so that you don't have to think about whether you
> need curly braces and it will absorb (and need) a semicolon, so that it
> won't break your if-statements. You can read more about it here:
>
> https://www.securecoding.cert.org/confluence/display/seccode/PRE10-C.+Wrap+multi-statement+macros+in+a+do-while+loop
>

I was quite amazed to read about this bug in Racket and I was going to 
suggest exactly the same thing. All Racket code should ensure no macro 
expands to more than one expression. Use `do { ... } while(0)' pattern.

Consider this email just a reinforcement of Marijn' suggestion.

-- 
PMatos



Posted on the dev mailing list.