http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52397
--- Comment #10 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-02-28 16:41:04 UTC --- > Untested fix. Not sure if that is the way we want to solve this though. You might want to adjust the comment in df.h because it will be totally off.