134 static int encode_buffer(
135 		char *input_buffer, 
136 		char *output_buffer, 
137 		int bytes, 
138 		Crc32 *crc, 
139 		int *col
140 		)
141 {
142 	int encoded;
143 	int in_ind;
144 	int out_ind;
145 	Byte byte;
146 		
147 	out_ind = 0;
148 	for(in_ind=0; in_ind < bytes; in_ind++) {
149 		byte = (Byte)( input_buffer[in_ind] + 42 );
when considering range: 1 <= value <= 0x7fffffff
taking True path
150 		crc_update(crc, input_buffer[in_ind]);
when treating unknown char * from src/_yenc.c:150 as non-NULL
151 		switch(byte){
when treating unknown char * from src/_yenc.c:151 as non-NULL
152 			case ZERO:
when following case 32
153 			case LF:
154 			case CR:
155 			case ESC:
156 				goto escape_string;
157 			case TAB:
158 			case SPACE:
159 				if(*col == 0 || *col == LINESIZE-1) {
160 					goto escape_string;
when treating unknown int * from src/_yenc.c:140 as non-NULL
when considering range: -0x80000000 <= value <= -1
taking False path
161 				}
162 			default:
163 				goto plain_string;
164 		}
165 		escape_string:
166 		byte = (Byte)(byte + 64);
167 		output_buffer[out_ind++] = ESC;
168 		(*col)++;
169 		plain_string:
170 		output_buffer[out_ind++] = byte;
171 		(*col)++;
when treating unknown char * from src/_yenc.c:171 as non-NULL
172 		encoded++;
173 		if(*col >= LINESIZE) {
usage of uninitialized data (encoded) on left-hand side of + at src/_yenc.c:173
found 9 similar trace(s) to this
174 			output_buffer[out_ind++] = CR;
175 			output_buffer[out_ind++] = LF;
176 			*col = 1;
177 		}
178 	}
179 	return out_ind;
180 }
181