176   convert_unsigned_int_to_unsigned_int((uint32_t)INT32_MIN);  in main()
178   convert_signed_int_to_signed_int((int32_t)(uint32_t)INT32_MIN);  in main()
180   convert_unsigned_int_to_unsigned_char((uint32_t)INT32_MIN);  in main()
184   convert_unsigned_int_to_signed_int((uint32_t)INT32_MIN);  in main()
186   convert_signed_int_to_unsigned_int((int32_t)(uint32_t)INT32_MIN);  in main()
188   convert_signed_int_to_unsigned_char((int32_t)(uint32_t)INT32_MIN);  in main()
196   convert_unsigned_int_to_signed_char((uint32_t)INT32_MIN);  in main()
198   convert_signed_int_to_signed_char((int32_t)(uint32_t)INT32_MIN);  in main()
295   convert_unsigned_int_to_unsigned_int((uint32_t)INT32_MIN);  in main()
297   convert_signed_int_to_signed_int((int32_t)INT32_MIN);  in main()
299   convert_unsigned_int_to_unsigned_char(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN));  in main()
303   convert_unsigned_int_to_signed_int((uint32_t)INT32_MIN);  in main()
305   convert_signed_int_to_unsigned_int((int32_t)INT32_MIN);  in main()
307 …convert_signed_int_to_unsigned_char((int32_t)(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN…  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()
325   convert_unsigned_int_to_unsigned_char(~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));  in main()
331 …convert_signed_int_to_unsigned_char((int32_t)(~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_M…  in main()
336   convert_unsigned_int_to_signed_char(~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));  in main()
338 …convert_signed_int_to_signed_char((int32_t)~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)…  in main()