From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 63500 invoked by alias); 26 Nov 2015 11:33:52 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 63260 invoked by uid 89); 26 Nov 2015 11:33:51 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.9 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD,SPF_PASS autolearn=ham version=3.3.2 X-HELO: fencepost.gnu.org Received: from fencepost.gnu.org (HELO fencepost.gnu.org) (208.118.235.10) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES128-SHA encrypted) ESMTPS; Thu, 26 Nov 2015 11:33:48 +0000 Received: from eggs.gnu.org ([2001:4830:134:3::10]:56922) by fencepost.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1a1unf-0007YV-BQ for gcc-patches@gnu.org; Thu, 26 Nov 2015 06:33:19 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1a1une-0000tb-7A for gcc-patches@gnu.org; Thu, 26 Nov 2015 06:33:18 -0500 Received: from mail-oi0-x22a.google.com ([2607:f8b0:4003:c06::22a]:35244) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1a1une-0000qI-1q for gcc-patches@gnu.org; Thu, 26 Nov 2015 06:33:18 -0500 Received: by oige206 with SMTP id e206so45466623oig.2 for ; Thu, 26 Nov 2015 03:33:09 -0800 (PST) MIME-Version: 1.0 X-Received: by 10.202.205.146 with SMTP id d140mr26943717oig.1.1448537589565; Thu, 26 Nov 2015 03:33:09 -0800 (PST) Received: by 10.202.95.213 with HTTP; Thu, 26 Nov 2015 03:33:09 -0800 (PST) In-Reply-To: References: <56524E0D.7000203@mentor.com> <56547D49.5040609@mentor.com> Date: Thu, 26 Nov 2015 11:46:00 -0000 Message-ID: Subject: Re: [PATCH] Improve verification of loop->latch in verify_loop_structure From: Alan Lawrence To: Richard Biener Cc: Tom de Vries , "gcc-patches@gnu.org" , Jakub Jelinek Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2607:f8b0:4003:c06::22a X-IsSubscribed: yes X-SW-Source: 2015-11/txt/msg03211.txt.bz2 This caused an ICE compiling value.c from gdb on aarch64-none-linux-gnu; the testcase, after preprocessing on aarch64, ICEs on both aarch64 and x86_64, but is about 1MB - I'm working on reducing that down to something small enough to post... $ ./gcc/xgcc -B ./gcc -O2 -g value.c ../../binutils-gdb/gdb/value.c: In function =E2=80=98show_convenience=E2=80= =99: ../../binutils-gdb/gdb/value.c:2615:1: error: loop 3=E2=80=99s latch is mis= sing ../../binutils-gdb/gdb/value.c:2615:1: internal compiler error: in verify_loop_structure, at cfgloop.c:1669 0x71e653 verify_loop_structure() /work/alalaw01/src2/gcc/gcc/cfgloop.c:1669 0x97c6ae checking_verify_loop_structure /work/alalaw01/src2/gcc/gcc/cfgloop.h:325 0x97c6ae loop_optimizer_init(unsigned int) /work/alalaw01/src2/gcc/gcc/loop-init.c:106 0x97c78a rtl_loop_init /work/alalaw01/src2/gcc/gcc/loop-init.c:398 0x97c78a execute /work/alalaw01/src2/gcc/gcc/loop-init.c:425 --Alan