[boost] Re: is_convertible corner case

From: Gennaro Prota (gennaro_prota_at_[hidden])
Date: 2003-01-25 05:16:38

On Fri, 24 Jan 2003 21:12:01 -0500, Howard Hinnant
<hinnant_at_[hidden]> wrote:

>But it is amusing (amazing?) how 
>many traits like tests are today passing non-POD classes to an 
>ellipsis, and invoking undefined behavior! :-)

Well, the problem is what does "passing" means. I noticed that this is
the understanding of someone a while ago; IIRC a comment to that
effect was in one of the boost files, but I can't find it right now.
Anyway, after reading that I went to the standard looking for a
clarification but I just found 5.2.2p7 which I don't think is of much
help. I'm enough sure that a DR is in order (it's obvious that UB
makes no sense in our case, or am I missing something?). What do you
think? I think UB should be invoked only if the function call is
executed (probably regardless of whether the argument is then
retrieved through va_arg or not)

Genny.