Re: Problem report #25

[Jan D.]

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.