From patchwork Mon Apr 21 16:57:11 2014 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: David Malcolm X-Patchwork-Id: 340947 Return-Path: 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]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ozlabs.org (Postfix) with ESMTPS id 81A0A140078 for ; Tue, 22 Apr 2014 12:03:29 +1000 (EST) DomainKey-Signature: a=rsa-sha1; c=nofws; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:from :to:cc:subject:date:message-id:in-reply-to:references; q=dns; s= default; b=o9N50euYUpyS1FPoKQ/Xdf/P3gtshWwXny/Pf+sZgH6FaSq//eb+b 7RQaOQ+S/b2Y4/Mp6XnTJhhR8xAHcXhSQctQTLFZowx/AoeXlpqWWM6snBQW1jzF NJyIwRSRjfQbT6tQDak5TCA5N7PBPTkYTPLC37K8xDiuwOrOLzAzxk= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:from :to:cc:subject:date:message-id:in-reply-to:references; s= default; bh=txNsMICzRhnGf628VqKlNKFrjqw=; b=He8f20v4PfIxFHdoyryZ D3sCvUc9PcUkyw6JXSkgZOGxV8m1ZHWKWzNMSb9Di+r5NPZ4RcWGoPAPvRZCbODI e1AvZewxuv0N4suO4bmXMzdTWZ8Ep7qkHk7v5bD2czhYb+usEGxCtoNm5lzTX/uC JgS22F9c91jGuJ7jiUjk5wk= Received: (qmail 5562 invoked by alias); 21 Apr 2014 17:15:22 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Delivered-To: mailing list gcc-patches@gcc.gnu.org Received: (qmail 5521 invoked by uid 89); 21 Apr 2014 17:15:22 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.2 required=5.0 tests=AWL, BAYES_00 autolearn=ham version=3.3.2 X-HELO: eggs.gnu.org Received: from eggs.gnu.org (HELO eggs.gnu.org) (208.118.235.92) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-SHA encrypted) ESMTPS; Mon, 21 Apr 2014 17:15:21 +0000 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WcHX2-0002KX-DE for gcc-patches@gcc.gnu.org; Mon, 21 Apr 2014 12:57:31 -0400 Received: from mx1.redhat.com ([209.132.183.28]:56807) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WcHX2-0002KN-5s for gcc-patches@gcc.gnu.org; Mon, 21 Apr 2014 12:57:24 -0400 Received: from int-mx10.intmail.prod.int.phx2.redhat.com (int-mx10.intmail.prod.int.phx2.redhat.com [10.5.11.23]) by mx1.redhat.com (8.14.4/8.14.4) with ESMTP id s3LGuNYK003629 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK) for ; Mon, 21 Apr 2014 12:56:23 -0400 Received: from c64.redhat.com (vpn-227-164.phx2.redhat.com [10.3.227.164]) by int-mx10.intmail.prod.int.phx2.redhat.com (8.14.4/8.14.4) with ESMTP id s3LGtvO1023014; Mon, 21 Apr 2014 12:56:22 -0400 From: David Malcolm To: gcc-patches@gcc.gnu.org Cc: David Malcolm Subject: [PATCH 40/89] tree-cfg.c: Make verify_gimple_call require a gimple_call Date: Mon, 21 Apr 2014 12:57:11 -0400 Message-Id: <1398099480-49147-41-git-send-email-dmalcolm@redhat.com> In-Reply-To: <1398099480-49147-1-git-send-email-dmalcolm@redhat.com> References: <1398099480-49147-1-git-send-email-dmalcolm@redhat.com> X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 209.132.183.28 X-IsSubscribed: yes gcc/ * tree-cfg.c (verify_gimple_call): Require a gimple_call rather than a plain gimple. (verify_gimple_stmt): Add checked cast to gimple_call within GIMPLE_CALL case of switch statement. --- gcc/tree-cfg.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index 0d3c0d7..b2cca43 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -3174,7 +3174,7 @@ valid_fixed_convert_types_p (tree type1, tree type2) is a problem, otherwise false. */ static bool -verify_gimple_call (gimple stmt) +verify_gimple_call (gimple_call stmt) { tree fn = gimple_call_fn (stmt); tree fntype, fndecl; @@ -4411,7 +4411,7 @@ verify_gimple_stmt (gimple stmt) return verify_gimple_label (stmt->as_a_gimple_label ()); case GIMPLE_CALL: - return verify_gimple_call (stmt); + return verify_gimple_call (stmt->as_a_gimple_call ()); case GIMPLE_COND: if (TREE_CODE_CLASS (gimple_cond_code (stmt)) != tcc_comparison)