From patchwork Fri Jul 29 10:25:20 2011
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
X-Patchwork-Submitter: Patrick Marlier <patrick.marlier@unine.ch>
X-Patchwork-Id: 107363
Return-Path: 
 <gcc-patches-return-298377-incoming=patchwork.ozlabs.org@gcc.gnu.org>
X-Original-To: incoming@patchwork.ozlabs.org
Delivered-To: patchwork-incoming@bilbo.ozlabs.org
Received: from sourceware.org (server1.sourceware.org [209.132.180.131])
	by ozlabs.org (Postfix) with SMTP id 1C0C0B6F68
	for <incoming@patchwork.ozlabs.org>;
	Fri, 29 Jul 2011 20:25:42 +1000 (EST)
Received: (qmail 5969 invoked by alias); 29 Jul 2011 10:25:38 -0000
Received: (qmail 5960 invoked by uid 22791); 29 Jul 2011 10:25:37 -0000
X-SWARE-Spam-Status: No, hits=-2.4 required=5.0	tests=AWL, BAYES_00,
	RP_MATCHES_RCVD, SPF_HELO_PASS
X-Spam-Check-By: sourceware.org
Received: from columbi.unine.ch (HELO unine.ch) (130.125.1.54) by
	sourceware.org (qpsmtpd/0.43rc1) with ESMTP;
	Fri, 29 Jul 2011 10:25:23 +0000
Received: from mail-cas-1.unine.ch ([130.125.5.126])	by unine.ch stage1 with
	esmtps (Exim MailCleaner) id 1QmkFs-0001wn-Ns from
	<patrick.marlier@unine.ch>; Fri, 29 Jul 2011 12:25:20 +0200
Received: from [130.125.11.134] (130.125.1.200) by webmail.unine.ch
	(130.125.5.141) with Microsoft SMTP Server (TLS) id
	14.1.289.1; Fri, 29 Jul 2011 12:25:20 +0200
Message-ID: <4E328A90.8020301@unine.ch>
Date: Fri, 29 Jul 2011 12:25:20 +0200
From: Patrick Marlier <patrick.marlier@unine.ch>
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
	rv:6.0) Gecko/20110720 Thunderbird/6.0
MIME-Version: 1.0
To: "gcc-patches@gcc.gnu.org" <gcc-patches@gcc.gnu.org>
CC: Richard Henderson <rth@redhat.com>, Aldy Hernandez <aldyh@redhat.com>
Subject: [trans-mem] verify_types_in_gimple_seq_2 glitch
X-IsSubscribed: yes
Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-patches.gcc.gnu.org>
List-Unsubscribe: 
 <mailto:gcc-patches-unsubscribe-incoming=patchwork.ozlabs.org@gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-help@gcc.gnu.org>
Sender: gcc-patches-owner@gcc.gnu.org
Delivered-To: mailing list gcc-patches@gcc.gnu.org

In tree-cfg.c (line ~3921), there is a little glitch.

         default:

Patrick Marlier.

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;