[As a followup to Kaare who demonstrated via email that `I think we safely can assume that "-ftrapv" might not be our most reliable tool right now...'] Here's one example of how overflow can be detected via x86-32/64 inline assembly: <http://article.gmane.org/gmane.comp.gcc.help/10677> Regards, Adam