[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Problem report #25
From: |
Dan Nicolaescu |
Subject: |
Problem report #25 |
Date: |
Mon, 10 Apr 2006 11:58:48 -0700 |
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
- Problem report #25,
Dan Nicolaescu <=