Re: Problem report #23 FALSE

[Kenichi Handa]

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

> CID: 23
> Checker: FORWARD_NULL (help)
> File: emacs/src/coding.c
> Function: code_convert_region
> Description: Variable "(coding)->cmp_data" tracked as NULL was dereferenced.

I see no bug here (same as Problem report #13).  This part
may be not clear:

> At conditional (18): "(coding)->composing != 0" taking true path

> 5763            if (coding->composing != COMPOSITION_DISABLED)

> Event var_deref_op: Variable "(coding)->cmp_data" tracked as NULL was 
> dereferenced.
> Also see events: [var_compare_op]

> 5764              coding->cmp_data->char_offset = from + inserted;
> 5765            result = decode_coding (coding, src, dst, len_byte, 0);
> 5766          }
> 5767  

But, the code surely allocates coding->cmp_data if
(coding->composing != COMPOSITION_DISABLED) at line 5677.

---
Kenichi Handa
address@hidden