Re: [boost] date_time bug.

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.

Gaurav.

On Thu, Jun 28, 2012 at 2:18 PM, Philippe Vaucher <
philippe.vaucher_at_[hidden]> wrote:

> > 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
>
> https://svn.boost.org/trac/boost/attachment/ticket/7022/date_generators_7022.patch
>
> 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.
>
> Philippe
>
> _______________________________________________
> Unsubscribe & other changes:
> http://lists.boost.org/mailman/listinfo.cgi/boost
>