이 기능을 사용할 수있는 숫자는 무엇입니까?

어떤 C 컴파일러에서 x와 y의 어떤 값이 충돌을 일으킬까요?

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

정답은 이미 제공되었지만 즉시 Microsoft Pex 에 대해 생각했습니다 .

Pex는 높은 코드 적용 범위를 가진 테스트 스위트를 자동으로 생성합니다. Visual Studio 코드 편집기에서 Pex는 메서드의 흥미로운 입력 / 출력 값을 찾아서 높은 코드 적용 범위를 가진 작은 테스트 스위트로 저장할 수 있습니다. Microsoft Pex는 .NET Framework 응용 프로그램 테스트를위한 Visual Studio 추가 기능입니다.

후 퍼즐을 추가 샌드 박스 사이트에서, 그것은 몇 초에서 답, eregons 응답과 동일한를 찾습니다. (요청 pex 클릭)

참고 : C #에서는 그렇게하지만 언어는 실제로 관련이 없습니다.

• x : int.MinValue
• y : -1
• 예외 : OverflowException
• 메시지 : 산술 연산으로 인해 오버플로가 발생했습니다.