GCC Bugzilla – Bug 56917 : -ftrapv detects a overflow wrongly.
Debian BTS #706327: dietlibc doesn't provide sqrt() function.
[latest]