[EMAIL PROTECTED] zero]$ cat x.c
int
foo (int y, int x)
{
return y/x;
}
[EMAIL PROTECTED] zero]$ cat y.c
#include <stdio.h>
extern int foo (int, int);
int
main ()
{
printf ("(10/0) = %d\n", foo (10, 0));
return 0;
}
[EMAIL PROTECTED] zero]$ gcc x.c y.c
[EMAIL PROTECTED] zero]$ ./a.out
(10/0) = 0
It happens on gcc 3.4/4.0/4.1.
--
Summary: [ia64]: Integer dvide by zero doesn't raise a signal
Product: gcc
Version: 4.1.0
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: target
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: hjl at lucon dot org
CC: gcc-bugs at gcc dot gnu dot org
GCC build triplet: ia64-unknown-linux-gnu
GCC host triplet: ia64-unknown-linux-gnu
GCC target triplet: ia64-unknown-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23485
