Re: [Boost-users] [assert] Control Flow Warningswith BOOST_ASSERT(false)

From: Peter Dimov (pdimov_at_[hidden])
Date: 2008-07-09 13:27:59

Michiel Helvensteijn:

> I would like to hear from the developer on this.

The reason I used a ?: operator is to make BOOST_ASSERT an expression. It's 
supposed to be a drop-in replacement for assert, and I think that assert 
expands an expression and not a statement.

Maybe we ought to decorate assertion_failed with __attribute__((noreturn))? 
Or replace the call to assertion_failed with (assertion_failed(...), 
abort())?