Re: proposed support for C1X-style static_assert

[Bruno Haible]

Hi Paul,

> Here's what I pushed.  Thanks to Bruno and Eric for the reviews.
> 
> ---
>  ChangeLog                     |   22 +++++++
>  doc/posix-headers/assert.texi |   21 ++++++-
>  lib/assert.in.h               |   28 +++++++++
>  lib/verify.h                  |  130 
> +++++++++++++++++++++++++----------------
>  m4/assert_h.m4                |   29 +++++++++
>  modules/assert-h              |   47 +++++++++++++++

This change broke the 'verify' module.

How to reproduce:

$ ./gnulib-tool --test assert-h exclude
...
../../gllib/exclude.c:58: error: expected declaration specifiers or ‘...’ 
before ‘(’ token
../../gllib/exclude.c:58: warning: data definition has no type or storage class
make[4]: *** [exclude.o] error 1

A smaller example: In a testdir with the 'assert-h' and 'verify' modules,

$ cat foo.c
#include <assert.h>
#include "verify.h"
verify (2 + 3 == 5);

$ gcc -c foo.c -I .
foo.c:3: error: expected declaration specifiers or ‘...’ before numeric constant
foo.c:3: warning: data definition has no type or storage class

The reason is that "verify.h" no longer defines the 'verify' macro if
<assert.h> was already included in the same compilation unit.

Bruno
-- 
In memoriam Richard Friedmann <http://de.wikipedia.org/wiki/Richard_Friedmann>