The current behavior seems consistent with some other compilers on Windows: you can catch floating-point divide-by-zero, but not integer ditto. The C standard says little about the specifics. Can't see a bug here. All I can do is put this on the "wish-list" and hope to get there within the next 25 years (hint: probably not...)