dee

Coverity FORWARD_NULL - CID 10036

Bug #937428 reported by Product Strategy Coverity Bug Uploader on 2012-02-21
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
dee
Status tracked in 1.0
1.0
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://wiki.ubuntu.com/CanonicalProductStrategy/Coverity
CID: 10036
Checker: FORWARD_NULL
Category: No category available
CWE definition: http://cwe.mitre.org/data/definitions/476.html
File: /tmp/buildd/dee-1.0.4/src/dee-shared-model.c
Function: flush_revision_queue()
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.

Changed in dee:
importance: Undecided → High
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers