This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

[patch] Tighten GIMPLE_SWITCH verification

From: Steven Bosscher <stevenb dot gcc at gmail dot com>
To: GCC Patches <gcc-patches at gcc dot gnu dot org>
Date: Mon, 7 May 2012 13:28:28 +0200
Subject: [patch] Tighten GIMPLE_SWITCH verification

Hello,

When I moved the first bits of the switch lowering code from stmt.c, I
didn't anticipate that the GIMPLE passes can sometimes perform
transformations that break the rules the gimplifier uses while
lowering SWITCH_EXPRs.

The attached patch adds the expected rules to the GIMPLE_SWITCH verifier.

Bootstrap&test running on powerpc64-unknown-linux-gnu. OK if it passes?

Ciao!
Steven

Attachment: gimple_switch_verify.diff
Description: Binary data

Follow-Ups:
- Re: [patch] Tighten GIMPLE_SWITCH verification
  - From: Richard Guenther

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]