Coverity USE_AFTER_FREE - CID 12601 - plugins/animation/src/private.h - in function: FocusFadeAnim::~FocusFadeAnim() - "RestackAnim::~RestackAnim()" frees "this->texturesCache". Calling "FadeAnim::~FadeAnim()" 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: 12601
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: FocusFadeAnim::~FocusFadeAnim()
Code snippet:
642 int mVisitCount; ///< how many times walker/glPaint has visited this window
643 bool mIsSecondary; ///< whether this is one of the secondary (non-topmost) in its restack chain
644 };
645
CID 12601 - USE_AFTER_FREE
"RestackAnim::~RestackAnim()" frees "this->texturesCache".
Calling "FadeAnim::~FadeAnim()" frees pointer "this->texturesCache" which has already been freed.
646 class FocusFadeAnim :
647 public RestackAnim,
648 public FadeAnim
649 {
650 public:
651 FocusFadeAnim (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.