Re: [boost] [variant2] never-empty guarantee considered harmful

Subject: Re: [boost] [variant2] never-empty guarantee considered harmful
From: Frank Mori Hess (fmh6jj_at_[hidden])
Date: 2019-04-12 23:47:59

On Fri, Apr 12, 2019 at 7:26 PM Andrzej Krzemienski via Boost
<boost_at_[hidden]> wrote:
> UB is a useful symptom of a bug and
> therefore can help detect and remove bugs

It seems like you are using a different definition of undefined
behavior than what I understand it to be.  UB is not a useful symptom
because it can be anything, and can vary by implementation.  It
doesn't necessarily mean the program crashes, it could for example
result in exactly the harmless unnoticed response to a bug you object
to.