OSDN Git Service

2008-03-26 Robert Dewar <dewar@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 26 Mar 2008 07:37:00 +0000 (07:37 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 26 Mar 2008 07:37:00 +0000 (07:37 +0000)
commitce7498d30b55ed50ea00c603a700738297c8b699
tree5aa501e47f9a126e710cdd4d70396853d6408700
parent94839beadac329905c4a122e09523c3d36d1f638
2008-03-26  Robert Dewar  <dewar@adacore.com>

* checks.adb (Ensure_Valid): Capture valid status if possible
(eliminate checks)

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@133553 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/checks.adb