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]

[Ada] Fix latent bug in Sem_Ch5.One_Bound

From: Arnaud Charlet <charlet at adacore dot com>
To: gcc-patches at gcc dot gnu dot org
Cc: Robert Dewar <dewar at adacore dot com>
Date: Fri, 22 Aug 2008 15:30:46 +0200
Subject: [Ada] Fix latent bug in Sem_Ch5.One_Bound

While working on improving elimination of redundant checks, a latent
bug was discovered in One_Bug that this patch fixes. The comments in
the fixed version (starting "Normally, the best approach") give full
details on the need for the change. There is no test, since this is
a latent bug, that may or may not be triggered by eventual changes
made to improve range checking.

Tested on i686-pc-linux-gnu, committed on trunk

2008-08-22  Robert Dewar  <dewar@adacore.com>

	* sem_ch5.adb (One_Bound): Fix latent bug involving secondary stack

Attachment: difs
Description: Text document

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