Boost logo

Boost :

Subject: Re: [boost] date_time bug.
From: GAURAV GUPTA (ya1gaurav_at_[hidden])
Date: 2012-06-28 04:57:09


So, It will be fixed?

On Thu, Jun 28, 2012 at 2:26 PM, GAURAV GUPTA <ya1gaurav_at_[hidden]> wrote:

> 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
>>
>


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk