Problem report #52

Problem report #52

[Dan Nicolaescu]

CID: 52
Checker: UNINIT (help)
File: emacs/src/charset.c
Function: string_to_char
Description: Using uninitialized value "c2"

Event var_decl: Declared variable "c2" without initializer
Also see events: [uninit_use]

294  	  int c, bytes, charset, c1, c2;
295  	

At conditional (1): "c1 < 128" taking false path
At conditional (2): "bytes == 1" taking false path
At conditional (3): "bytes == 2" taking true path
At conditional (4): "c1 == 158" taking false path
At conditional (5): "0" taking false path

296  	  SPLIT_MULTIBYTE_SEQ (str, len, bytes, charset, c1, c2);

Event uninit_use: Using uninitialized value "c2"
Also see events: [var_decl]
At conditional (6): "charset == 0" taking false path
At conditional (7): "charset == 158" taking false path
At conditional (8): "charset == 128" taking false path
At conditional (9): "charset >= 0" taking true path
At conditional (10): "charset <= 254" taking true path
At conditional (11): "charset == 0" taking false path
At conditional (12): "(Vcharset_table & -8)->contents[((charset == 0) ? 0 : ((charset + 128)))] != Qnil" taking true path
At conditional (13): "charset == 0" taking false path
At conditional (14): "((0), ((Vcharset_table & -8)->contents[((charset == 0) ? 0 : ((charset + 128)))] & -8))->contents[2] >> 3 == 1" taking false path
At conditional (15): "((charset >= 0 && charset <= 254 && (Vcharset_table & -8)->contents[((charset == 0) ? 0 : ((charset + 128)))] != Qnil) ? ((((0), ((Vcharset_table & -8)->contents[((charset == 0) ? 0 : ((charset + 128)))] & -8))->contents[2] >> 3 == 1) ? 1 : (0)) : (((charset < 240) ? 1 : (0)))) != 0" taking false path
At conditional (16): "charset < 240" taking true path

297  	  c = MAKE_CHAR (charset, c1, c2);
298  	  if (actual_len)
299  	    *actual_len = bytes;
300  	  return c;

Re: Problem report #52 FALSE

[Kenichi Handa]

In article <200604111549.k3BFnfk0015135@scanner2.ics.uci.edu>, Dan Nicolaescu <dann@ics.uci.edu> writes:

> CID: 52
> Checker: UNINIT (help)
> File: emacs/src/charset.c
> Function: string_to_char
> Description: Using uninitialized value "c2"

> Event var_decl: Declared variable "c2" without initializer
> Also see events: [uninit_use]
[...]
> 296  	  SPLIT_MULTIBYTE_SEQ (str, len, bytes, charset, c1, c2);

This macro sets c2 when charset is two-dimensional, and

> Event uninit_use: Using uninitialized value "c2"
[...]
> 297  	  c = MAKE_CHAR (charset, c1, c2);

this macro refers to c2 only when charset is two-dimensional.

So, there's no bug.

---
Kenichi Handa
handa@m17n.org