Problem report #25

[Dan Nicolaescu <dann@ics.uci.edu>]

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 	

At conditional (3): "((s)->first_glyph)->type == 0" taking true path

1067 	  if (s->first_glyph->type == CHAR_GLYPH)

Event var_deref_op: Variable "face" tracked as NULL was dereferenced.
Event var_deref_model: Variable "face" tracked as NULL was passed to a function that dereferences it. [model]
Also see events: [var_compare_op][var_deref_op][var_deref_model]
At conditional (4): "(((s)->first_glyph)->u).ch & 255 == (((s)->first_glyph)->u).ch" taking true path

1068 	    face_id = FACE_FOR_CHAR (s->f, face, s->first_glyph->u.ch);
1069 	  else

Event var_deref_op: Variable "face" tracked as NULL was dereferenced.
Also see events: [var_compare_op][var_deref_op][var_deref_model]

1070 	    face_id = FACE_FOR_CHAR (s->f, face, 0);
1071 	  s->face = FACE_FROM_ID (s->f, face_id);
1072 	  PREPARE_FACE_FOR_DISPLAY (s->f, s->face);
1073