Recently I came across http://embed.cs.utah.edu/ioc/ which describes a sophisticated integer overflow checker for Clang. The reported results obtained by analyzing C/C++ open source projects make a convincing case for implementing such functionality in gcc/g++ as well. Is somebody looking into this? /MB