verify.h in C++? Boost has me worried.

[Paul Eggert]

A student pointed out that Boost has a BOOST_STATIC_ASSERT(x) macro
that acts like verify(x) but is defined in a much more-complicated
way.  See <http://boost.org/boost/static_assert.hpp>.  Boost's version
has special cases for GCC, for MSVC, for SGI MIPSpro, etc., ,etc.

<verify.h> was originally designed for C, but I had thought that it
would work for C++ compilers too.  Is there some reason that a C++
implementation would need all that extra complexity to support
<verify.h> properly, or am I missing something?

I'm worried that verify.h will eventually need to gorp similar to Boost's.