Problem report #59

[Dan Nicolaescu <dann@ics.uci.edu>]

CID: 59
Checker: UNINIT (help)
File: emacs/src/editfns.c
Function: Ftranslate_region_internal
Description: Using uninitialized value "str_len"

2883 	  cnt = 0;
2884 	  for (; pos < end_pos; )
2885 	    {

At conditional (1): "pos_byte >= ((current_buffer)->text)->gpt_byte" taking true path

2886 	      register unsigned char *p = BYTE_POS_ADDR (pos_byte);
2887 	      unsigned char *str, buf[MAX_MULTIBYTE_LENGTH];

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

2888 	      int len, str_len;
2889 	      int oc;
2890 	

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

2891 	      if (multibyte)

At conditional (3): "*p < 128" taking true path
At conditional (4): "((*p < 128) ? 1 : (bytes_by_char_head[*p])) == 1" taking true path

2892 		oc = STRING_CHAR_AND_LENGTH (p, MAX_MULTIBYTE_LENGTH, len);
2893 	      else
2894 		oc = *p, len = 1;

At conditional (5): "oc < size" taking true path

2895 	      if (oc < size)
2896 		{

At conditional (6): "tt != 0" taking false path

2897 		  if (tt)
2898 		    {
2899 		      /* Reload as signal_after_change in last iteration may GC.  */
2900 		      tt = SDATA (table);
2901 		      if (string_multibyte)
2902 			{
2903 			  str = tt + string_char_to_byte (table, oc);
2904 			  nc = STRING_CHAR_AND_LENGTH (str, MAX_MULTIBYTE_LENGTH,
2905 						       str_len);
2906 			}
2907 		      else
2908 			{
2909 			  nc = tt[oc];
2910 			  if (! ASCII_BYTE_P (nc) && multibyte)
2911 			    {
2912 			      str_len = CHAR_STRING (nc, buf);
2913 			      str = buf;
2914 			    }
2915 			  else
2916 			    {
2917 			      str_len = 1;
2918 			      str = tt + oc;
2919 			    }
2920 			}
2921 		    }
2922 		  else
2923 		    {
2924 		      Lisp_Object val;
2925 		      int c;
2926 	
2927 		      nc = oc;

At conditional (7): "oc >= 0" taking true path
At conditional (8): "oc < 256" taking true path
At conditional (9): "(table & -8)->contents[oc] != Qnil" taking true path

2928 		      val = CHAR_TABLE_REF (table, oc);

At conditional (10): "val & 7 == 0" taking true path
At conditional (11): "c >= 0" taking true path
At conditional (12): "c & 255 == c" taking false path
At conditional (13): "char_valid_p != 0" taking false path

2929 		      if (INTEGERP (val)
2930 			  && (c = XINT (val), CHAR_VALID_P (c, 0)))
2931 			{
2932 			  nc = c;
2933 			  str_len = CHAR_STRING (nc, buf);
2934 			  str = buf;
2935 			}
2936 		    }
2937 	

At conditional (14): "nc != oc" taking true path

2938 		  if (nc != oc)
2939 		    {

Event uninit_use: Using uninitialized value "str_len"
Also see events: [var_decl]

2940 		      if (len != str_len)
2941 			{
2942 			  Lisp_Object string;
2943 	
2944 			  /* This is less efficient, because it moves the gap,
2945 			     but it should multibyte characters correctly.  */
2946 			  string = make_multibyte_string (str, 1, str_len);
29