------- Additional Comments From kargl at gcc dot gnu dot org 2005-04-24 04:04 ------- Here's a partial fix to the problem. Unfortunately, it doesn't detect the problem in Joost's program, which requires a runtime check.
http://gcc.gnu.org/ml/gcc-patches/2005-04/msg02507.html -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20879