+/* { dg-do run } */ +/* { dg-options "-O2 -fomit-frame-pointer -m32" } */ This is not exactly what I suggested, and there are a few imprecisions in the formatting. If the patch is accepted though I can commit it and fix these. Paolo