Coverity CONSTANT_EXPRESSION_RESULT - CID 12419 - plugins/splash/src/splash.cpp - in function: SplashScreen::glPaintOutput(const GLScreenPaintAttrib &, const GLMatrix &, const CompRegion &, CompOutput *, unsigned int) - "!screen->outputDevs()->size() > 1" is always false regardless of the values of its operands. This occurs as the logical operand of if.

[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: 12419
Checker: CONSTANT_EXPRESSION_RESULT
Category: result_independent_of_operands
CWE definition: http://cwe.mitre.org/data/definitions/569.html
File: /tmp/buildd/compiz-0.9.9~daily13.01.14/plugins/splash/src/splash.cpp
Function: SplashScreen::glPaintOutput(const GLScreenPaintAttrib &, const GLMatrix &, const CompRegion &, CompOutput *, unsigned int)
Code snippet:
236 foreach (GLTexture* tex, back_img)
237 {
238 tex->enable (GLTexture::Good);
239
CID 12419 - CONSTANT_EXPRESSION_RESULT
"!screen->outputDevs()->size() > 1" is always false regardless of the values of its operands. This occurs as the logical operand of if.
240 if (!screen->outputDevs ().size () > 1)
241 {
242 CompRect headOutputRect =
243 splashGetCurrentOutputRect ();
244
245 x = (headOutputRect.width () - backSize.width ()) / 2;

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

Source file with Coverity annotations.