Re: Problem report #14 FALSE

[Kenichi Handa]

In article <address@hidden>, Dan Nicolaescu <address@hidden> writes:

> CID: 14
> Checker: FORWARD_NULL (help)
> File: emacs/src/fileio.c
> Function: e_write
> Description: Variable "(coding)->cmp_data" tracked as NULL was passed to a 
> function that dereferences it.

In e_write, coding->cmp_data is allocated by xmalloc in
advance if coding->composing != COMPOSITION_DISABLED, and

> Event var_deref_model: Variable "(coding)->cmp_data" tracked as NULL was 
> passed to a function that dereferences it. [model]
> Also see events: [var_compare_op]

> 5625        result = encode_coding (coding, addr, buf, nbytes, 
> WRITE_BUF_SIZE);

this function dereferences coding->cmp_data only when
coding->composing != COMPOSITION_DISABLED.

So, I think there's no bug.

---
Kenichi Handa
address@hidden