171   convert_unsigned_int_to_unsigned_int((uint32_t)INT32_MIN);  in main()
173   convert_signed_int_to_signed_int((int32_t)(uint32_t)INT32_MIN);  in main()
175   convert_unsigned_int_to_unsigned_char((uint32_t)INT32_MIN);  in main()
180   convert_unsigned_int_to_signed_int((uint32_t)INT32_MIN);  in main()
181   convert_signed_int_to_unsigned_int((int32_t)(uint32_t)INT32_MIN);  in main()
182   convert_signed_int_to_unsigned_char((int32_t)(uint32_t)INT32_MIN);  in main()
187   convert_unsigned_int_to_signed_char((uint32_t)INT32_MIN);  in main()
189   convert_signed_int_to_signed_char((int32_t)(uint32_t)INT32_MIN);  in main()
277   convert_unsigned_int_to_unsigned_int((uint32_t)INT32_MIN);  in main()
279   convert_signed_int_to_signed_int((int32_t)INT32_MIN);  in main()
281   convert_unsigned_int_to_unsigned_char(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN));  in main()
286   convert_unsigned_int_to_signed_int((uint32_t)INT32_MIN);  in main()
287   convert_signed_int_to_unsigned_int((uint32_t)INT32_MIN);  in main()
288 …convert_signed_int_to_unsigned_char((int32_t)(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN…  in main()
293   convert_unsigned_int_to_signed_char((((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));  in main()
295 …convert_signed_int_to_signed_char((int32_t)(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN))…  in main()
303   convert_unsigned_int_to_unsigned_char(~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));  in main()
310 …convert_signed_int_to_unsigned_char((int32_t)(~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_M…  in main()
315   convert_unsigned_int_to_signed_char(~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));  in main()
317 …convert_signed_int_to_signed_char((int32_t)~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)…  in main()