$include_dir="/home/hyper-archives/boost/include"; include("$include_dir/msg-header.inc") ?>
Subject: Re: [boost] Sanitizer bug or undefined behavior in format?
From: Andrzej Krzemienski (akrzemi1_at_[hidden])
Date: 2017-06-19 10:36:56
2017-06-19 12:10 GMT+02:00 Olaf van der Spek via Boost <
boost_at_[hidden]>:
> Hi,
>
> I think it's about rdbuf() which doesn't appear to be virtual. Is this
> a bug in the sanitizer or is this call not allowed?
>
This may be related to this bug report:
https://svn.boost.org/trac10/ticket/11632
Regards,
&rzej;