Coverity FORWARD_NULL - CID 10036
Affects | Status | Importance | Assigned to | Milestone | ||
---|---|---|---|---|---|---|
dee | Status tracked in 1.0 | |||||
1.0 |
New
|
High
|
Unassigned |
Bug Description
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:/
CID: 10036
Checker: FORWARD_NULL
Category: No category available
CWE definition: http://
File: /tmp/buildd/
Function: flush_revision_
Code snippet:
353 return 0;
354 }
355 seqnum_end = rev->seqnum;
356
At conditional: "rev->row == NULL" taking True branch
At conditional: "is_remove != (rev->row == NULL)" taking True branch
CID 10036 - FORWARD_NULL
Comparing "rev->row" to null implies that "rev->row" might be null.
357 if ((is_remove) != (rev->row == NULL))
358 {
359 g_critical ("Internal accounting error is DeeSharedModel@%p. "
360 "Transaction row payload must be empty iff the change"
361 "type is is a removal", self);
362 }
Source file with Coverity annotations.