Re: [Boost-bugs] [Boost C++ Libraries] #6035: Klocwork warning found in statechart regarding inconsistent memory free

Subject: Re: [Boost-bugs] [Boost C++ Libraries] #6035: Klocwork warning found in statechart regarding inconsistent memory free
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2013-06-09 18:02:11

#6035: Klocwork warning found in statechart regarding inconsistent memory free
-------------------------------+-----------------------------
  Reporter:  anonymous         |      Owner:  andreas_huber69
      Type:  Support Requests  |     Status:  closed
 Milestone:  To Be Determined  |  Component:  statechart
   Version:  Boost 1.47.0      |   Severity:  Problem
Resolution:  worksforme        |   Keywords:
-------------------------------+-----------------------------
Changes (by andreas_huber69):

 * status:  new => closed
 * resolution:   => worksforme

Comment:

 This looks like a false positive. According to
 http://www.klocwork.com/products/documentation/current/Checkers:FREE.INCONSISTENT

 it seems that Klocwork will flag any function that frees memory
 conditionally. However, doing so is inevitable with reference counting.

-- 
Ticket URL: <https://svn.boost.org/trac/boost/ticket/6035#comment:1>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.