In tree-cfg.c (line ~3921), there is a little glitch.
Index: tree-cfg.c =================================================================== --- tree-cfg.c (revision 176864) +++ tree-cfg.c (working copy) @@ -3918,7 +3918,7 @@ break; case GIMPLE_TRANSACTION: - err |= verify_types_in_gimple_seq_2 (gimple_omp_body (stmt));+ err |= verify_types_in_gimple_seq_2 (gimple_transaction_body (stmt));
break; default: Patrick Marlier.