On Sun, 2013-05-19 at 10:24 +0200, Martin Jansa wrote: > Please submit a full bug report, > with preprocessed source if appropriate. > See <http://gcc.gnu.org/bugs.html> for instructions. Did you do that? Please add the PR number to the check message so we can tell when it's been fixed. p.