problem report #101

[Dan Nicolaescu]

CID: 101
Checker: FORWARD_NULL (help)
File: base/src/emacs/src/font.c
Function: font_at
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_model]
At conditional (1): "face == 0" taking true path

3631      if (! face)
3632        {
3633          int face_id;
3634          EMACS_INT endptr;
3635    

At conditional (2): "string & 7 == 3" taking true path

3636          if (STRINGP (string))
3637            face_id = face_at_string_position (w, string, pos, 0, -1, -1, 
&endptr,
3638                                               DEFAULT_FACE_ID, 0);
3639          else
3640            face_id = face_at_buffer_position (w, pos, -1, -1, &endptr,
3641                                               pos + 100, 0);

At conditional (3): "face_id < ((f)->face_cache)->used" taking false path

3642          face = FACE_FROM_ID (f, face_id);
3643        }

At conditional (4): "multibyte != 0" taking true path

3644      if (multibyte)
3645        {

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_model]
At conditional (5): "c < 128" taking true path

3646          int face_id = FACE_FOR_CHAR (f, face, c, pos, string);
3647          face = FACE_FROM_ID (f, face_id);
3648        }