177   convert_unsigned_int_to_unsigned_int((uint32_t)INT32_MIN);  in main()
179   convert_signed_int_to_signed_int((int32_t)(uint32_t)INT32_MIN);  in main()
181   convert_unsigned_int_to_unsigned_char((uint32_t)INT32_MIN);  in main()
186   convert_unsigned_int_to_signed_int((uint32_t)INT32_MIN);  in main()
188   convert_signed_int_to_unsigned_int((int32_t)(uint32_t)INT32_MIN);  in main()
190   convert_signed_int_to_unsigned_char((int32_t)(uint32_t)INT32_MIN);  in main()
198   convert_unsigned_int_to_signed_char((uint32_t)INT32_MIN);  in main()
200   convert_signed_int_to_signed_char((int32_t)(uint32_t)INT32_MIN);  in main()
299   convert_unsigned_int_to_unsigned_int((uint32_t)INT32_MIN);  in main()
301   convert_signed_int_to_signed_int((int32_t)INT32_MIN);  in main()
303   convert_unsigned_int_to_unsigned_char(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN));  in main()
308   convert_unsigned_int_to_signed_int((uint32_t)INT32_MIN);  in main()
310   convert_signed_int_to_unsigned_int((int32_t)INT32_MIN);  in main()
312 …convert_signed_int_to_unsigned_char((int32_t)(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN…  in main()
320   convert_unsigned_int_to_signed_char((((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));  in main()
322 …convert_signed_int_to_signed_char((int32_t)(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN))…  in main()
330   convert_unsigned_int_to_unsigned_char(~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));  in main()
337 …convert_signed_int_to_unsigned_char((int32_t)(~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_M…  in main()
342   convert_unsigned_int_to_signed_char(~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)));  in main()
344 …convert_signed_int_to_signed_char((int32_t)~(((uint32_t)INT32_MIN) | ((uint32_t)(uint8_t)INT8_MIN)…  in main()