Coverity FORWARD_NULL - CID 12459 - src/match.cpp - in function: matchOpsEqual(std::list<MatchOp *, std::allocator<MatchOp *>> &, std::list<MatchOp *, std::allocator<MatchOp *>> &) - Dynamic cast to pointer "dynamic_cast <MatchExpOp *>(*it2)" can return NULL. Assigning: "e2" = "dynamic_cast <MatchExpOp *>(*it2)". Passing null pointer "e2->value" to function "std::operator !=<char, std::char_traits<char>, std::allocator<char> >(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const &, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const &)", which dereferences it.

[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: 12459
Checker: FORWARD_NULL
Category: dynamic_cast
CWE definition: http://cwe.mitre.org/data/definitions/476.html
File: /tmp/buildd/compiz-0.9.9~daily13.01.14/src/match.cpp
Function: matchOpsEqual(std::list<MatchOp *, std::allocator<MatchOp *>> &, std::list<MatchOp *, std::allocator<MatchOp *>> &)
Code snippet:
225
226 break;
227 case MatchOp::TypeExp:
228 e1 = dynamic_cast<MatchExpOp *> (*it1);
CID 12459 - FORWARD_NULL
Dynamic cast to pointer "dynamic_cast <MatchExpOp *>(*it2)" can return NULL.
Assigning: "e2" = "dynamic_cast <MatchExpOp *>(*it2)".
229 e2 = dynamic_cast<MatchExpOp *> (*it2);
230
CID 12459 - FORWARD_NULL
Passing null pointer "e2->value" to function "std::operator !=<char, std::char_traits<char>, std::allocator<char> >(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const &, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const &)", which dereferences it.
231 if (e1->value != e2->value)
232 return false;
233
234 break;

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

Source file with Coverity annotations.