Subject: Re: [boost] date_time bug.
From: GAURAV GUPTA (ya1gaurav_at_[hidden])
Date: 2012-06-28 04:56:12
File attached in the ticket is fixed one and also patch file is
available.As mentioned the tool is *Coverity* *Prevent * tool.
On Thu, Jun 28, 2012 at 2:18 PM, Philippe Vaucher <
> > I have reported one bug: Ticket No:7022. (Link is
> > https://svn.boost.org/trac/boost/ticket/7022 )
> The formatting of the description could be better, at first glance I
> thought there was no way this could compile. Then I saw that the original
> condition is || and you want it to be replaced by &&, as we can see in
> That said, yes it'd be fixed imho.
> I found this bug using some tool. Please reffer the ticket No. 7022
> I mostly replied about this, can I know which tool? It looks interesting.
> Unsubscribe & other changes:
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk