Coverity USE_AFTER_FREE - CID 12598 - plugins/animation/include/animation/gridtransform.h - in function: GridTransformAnim::~GridTransformAnim() - "GridAnim::~GridAnim()" 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: 12598
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/include/animation/gridtransform.h
Function: GridTransformAnim::~GridTransformAnim()
Code snippet:
  0 #endif
  1 #ifndef ANIMATION_GRIDTRANSFORM_H
  2 #define ANIMATION_GRIDTRANSFORM_H
  3 #include "animation.h"
CID 12598 - USE_AFTER_FREE
"GridAnim::~GridAnim()" frees "this->texturesCache".
Calling "TransformAnim::~TransformAnim()" frees pointer "this->texturesCache" which has already been freed.
  4 class GridTransformAnim :
  5 public GridAnim,
  6 virtual public TransformAnim
  7 {
  8 public:
  9 GridTransformAnim (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.