หมายเลขใดที่จะผิดพลาดของฟังก์ชันนี้

ค่าใดของ x และ y ที่จะทำให้เกิดปัญหากับคอมไพเลอร์ C บางตัว?

int f(int x, int y) {
    return (y==0) ? 0 : (x/y);
}

-2147483648 (INT_MIN) และ -1

#include <stdio.h>
#include <limits.h>
int f(int x, int y) {
    return (y==0) ? 0 : (x/y);
}
int main() {
    int r = f(INT_MIN, -1);
    printf("%d\n", r);
    return 0;
}

$ gcc -Wall Division.c && ./a.out # => zsh: ข้อยกเว้นจุดลอยตัว. /a.out

คำตอบที่เหมาะสมจะได้รับแล้ว แต่ฉันทันทีคิดเกี่ยวกับไมโครซอฟท์ Pex

Pex จะสร้างชุดการทดสอบโดยอัตโนมัติพร้อมการครอบคลุมโค้ดสูง จากตัวแก้ไขรหัส Visual Studio Pex ค้นหาค่าอินพุตและเอาต์พุตที่น่าสนใจสำหรับวิธีการของคุณซึ่งคุณสามารถบันทึกเป็นชุดทดสอบขนาดเล็กที่มีการครอบคลุมโค้ดสูง Microsoft Pex เป็น Add-in ของ Visual Studio สำหรับการทดสอบแอปพลิเคชัน. NET Framework

หลังจากเพิ่มตัวต่อในไซต์แซนด์บ็อกซ์มันจะพบคำตอบในไม่กี่วินาทีเช่นเดียวกับคำตอบ eregons (คลิกถาม pex)

หมายเหตุ: ใช้ใน C # แต่ภาษานั้นไม่เกี่ยวข้องเลย

• x: int.MinValue
• y: -1
• ข้อยกเว้น: OverflowException
• ข้อความ: การดำเนินการทางคณิตศาสตร์ส่งผลให้เกิดโอเวอร์โฟลว์