175   convert_unsigned_int_to_unsigned_int((uint32_t)INT32_MIN);  in main()
177   convert_signed_int_to_signed_int((int32_t)(uint32_t)INT32_MIN);  in main()
179   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()
185   convert_signed_int_to_unsigned_int((int32_t)(uint32_t)INT32_MIN);  in main()
186   convert_signed_int_to_unsigned_char((int32_t)(uint32_t)INT32_MIN);  in main()
190   convert_unsigned_int_to_signed_char((uint32_t)INT32_MIN);  in main()
191   convert_signed_int_to_signed_char((int32_t)(uint32_t)INT32_MIN);  in main()
268   convert_unsigned_int_to_unsigned_int((uint32_t)INT32_MIN);  in main()
270   convert_signed_int_to_signed_int((int32_t)INT32_MIN);  in main()
272   convert_unsigned_int_to_unsigned_char(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN));  in main()
277   convert_unsigned_int_to_signed_int((uint32_t)INT32_MIN);  in main()
278   convert_signed_int_to_unsigned_int((uint32_t)INT32_MIN);  in main()
279 …convert_signed_int_to_unsigned_char((int32_t)(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN…  in main()
283   convert_unsigned_int_to_signed_char((((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));  in main()
284 …convert_signed_int_to_signed_char((int32_t)(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN))…  in main()
291   convert_unsigned_int_to_unsigned_char(~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));  in main()
298 …convert_signed_int_to_unsigned_char((int32_t)(~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_M…  in main()
302   convert_unsigned_int_to_signed_char(~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));  in main()
303 …convert_signed_int_to_signed_char((int32_t)~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)…  in main()