This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Fix PR51513, switch statement with default case containing __builtin_unreachable leads to wild branch
- From: Jakub Jelinek <jakub at redhat dot com>
- To: Richard Biener <rguenther at suse dot de>
- Cc: Peter Bergner <pshop at bergner dot org>, GCC Patches <gcc-patches at gcc dot gnu dot org>, Bill Schmidt <wschmidt at linux dot vnet dot ibm dot com>
- Date: Thu, 13 Apr 2017 13:07:12 +0200
- Subject: Re: [PATCH] Fix PR51513, switch statement with default case containing __builtin_unreachable leads to wild branch
- Authentication-results: sourceware.org; auth=none
- Authentication-results: ext-mx06.extmail.prod.ext.phx2.redhat.com; dmarc=none (p=none dis=none) header.from=redhat.com
- Authentication-results: ext-mx06.extmail.prod.ext.phx2.redhat.com; spf=pass smtp.mailfrom=jakub at redhat dot com
- Dkim-filter: OpenDKIM Filter v2.11.0 mx1.redhat.com E5C343D978
- Dmarc-filter: OpenDMARC Filter v1.3.2 mx1.redhat.com E5C343D978
- References: <88b0be58-5879-5570-ee06-38ef72dec707@bergner.org> <alpine.LSU.2.20.1704130956150.30715@zhemvz.fhfr.qr>
- Reply-to: Jakub Jelinek <jakub at redhat dot com>
On Thu, Apr 13, 2017 at 10:14:51AM +0200, Richard Biener wrote:
> now I do not remember the reason why we keep __builtin_unreachable ()
> at the RTL level -- on GIMPLE we keep it to be able to extract
I believe we don't. In RTL __builtin_unreachable () is represented
as a basic block without successors, followed by a BARRIER.
Jakub