Coverity USE_AFTER_FREE - CID 12602 - plugins/animation/src/private.h - in function: DodgeAnim::~DodgeAnim() - "RestackAnim::~RestackAnim()" frees "this->texturesCache". Calling "TransformAnim::~TransformAnim()" frees pointer "this->texturesCache" which has already been freed.

[Product Strategy Coverity Bug Uploader]

This bug is exported from the Coverity Integration Manager on Canonical's servers. For information on how this is done please see this website: https://wiki.ubuntu.com/CanonicalProductStrategy/Coverity
CID: 12602
Checker: USE_AFTER_FREE
Category: double_free
CWE definition: http://cwe.mitre.org/data/definitions/672.html
File: /tmp/buildd/compiz-0.9.9~daily13.01.14/plugins/animation/src/private.h
Function: DodgeAnim::~DodgeAnim()
Code snippet:
676 } DodgeDirection;
677
678 class DodgePersistentData;
679
CID 12602 - USE_AFTER_FREE
"RestackAnim::~RestackAnim()" frees "this->texturesCache".
Calling "TransformAnim::~TransformAnim()" frees pointer "this->texturesCache" which has already been freed.
680 class DodgeAnim :
681 public RestackAnim,
682 public TransformAnim
683 {
684 public:
685 DodgeAnim (CompWindow *w,

[Product Strategy Coverity Bug Uploader (coverity-uploader)]

Source file with Coverity annotations.

[Stephen M. Webb (bregma)]

False positive. Coverity is not detecting the virtual inheritance of the Animation base class which contains and frees the texturesCache member.