From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <ebotcazou@libertysurf.fr>
Received: from smtp5-g21.free.fr (smtp5-g21.free.fr [IPv6:2a01:e0c:1:1599::14])
 by sourceware.org (Postfix) with ESMTPS id 3F25D3857007
 for <gcc-bugs@gcc.gnu.org>; Wed,  1 Jul 2020 08:05:57 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 3F25D3857007
Authentication-Results: sourceware.org; dmarc=none (p=none dis=none)
 header.from=libertysurf.fr
Authentication-Results: sourceware.org;
 spf=none smtp.mailfrom=ebotcazou@libertysurf.fr
Received: from polaris.localnet (unknown
 [IPv6:2a01:e0a:41b:9230:1a03:73ff:fe45:373a])
 by smtp5-g21.free.fr (Postfix) with ESMTPS id 1A90B5FFB4;
 Wed,  1 Jul 2020 10:05:54 +0200 (CEST)
From: Eric Botcazou <ebotcazou@libertysurf.fr>
To: Jonathan Wakely <jwakely@redhat.com>
Cc: gcc-bugs@gcc.gnu.org, haoxintu@gmail.com
Subject: Re: How GCC treats ice-on-invalid-code?
Date: Wed, 01 Jul 2020 10:05:53 +0200
Message-ID: <2976657.y7V46JpDgB@polaris>
In-Reply-To: <20200630143847.GA3488494@redhat.com>
References: <20200630143847.GA3488494@redhat.com>
MIME-Version: 1.0
Content-Transfer-Encoding: 7Bit
Content-Type: text/plain; charset="us-ascii"
X-Spam-Status: No, score=-6.4 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS,
 KAM_LAZY_DOMAIN_SECURITY, RCVD_IN_DNSWL_LOW, SPF_HELO_NONE, SPF_NONE,
 TXREP autolearn=no autolearn_force=no version=3.4.2
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on
 server2.sourceware.org
X-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <http://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <http://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Wed, 01 Jul 2020 08:05:59 -0000

> It's fine to file these ice-on-invalid bugs, but don't be surprised if
> nobody has time to work on bugs that are only triggered by unrealistic
> garbage input.

Right, an ICE is a perfectly valid outcome for garbage input and there are 
hundreds of assertions in the compiler precisely for this purpose.

-- 
Eric Botcazou