[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Problem report #25

From: Jan D.
Subject: Re: Problem report #25
Date: Tue, 11 Apr 2006 08:44:05 +0200
User-agent: Thunderbird 1.5 (X11/20051201)

Dan Nicolaescu wrote:
CID: 25 Checker: FORWARD_NULL (help) File: emacs/src/xterm.c Function:
x_set_mouse_face_gc Description: Variable "face" tracked as NULL was passed
to a function that dereferences it.

Event var_compare_op: Added "face" due to comparison "face == 0" Also see
events: [var_deref_op][var_deref_op][var_deref_model] At conditional (1):
"face == 0" taking true path

1064      if (face == NULL)

At conditional (2): "9 < (((s)->f)->face_cache)->used" taking false path

1065        face = FACE_FROM_ID (s->f, MOUSE_FACE_ID); 1066

The thing is that MOUSE_FACE_ID always exists on an X11 frame. It is realized at frame creation. So face can not be NULL after this.

        Jan D.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]