diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2006-02-15 10:36:35 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2006-02-15 10:36:35 +0100 |
| commit | 86ac5e79ab137815e463c0b46495551c641e33d8 (patch) | |
| tree | 2379d905d5a4d1e77ca8bcbcd41a68d2a05d0a4c /gcc/ada/expect.c | |
| parent | 32c65fc062e4ad4f981e4db110436a23f3c8e4f0 (diff) | |
| download | gcc-86ac5e79ab137815e463c0b46495551c641e33d8.zip gcc-86ac5e79ab137815e463c0b46495551c641e33d8.tar.gz gcc-86ac5e79ab137815e463c0b46495551c641e33d8.tar.bz2 | |
checks.adb (Build_Discriminant_Checks): If the expression being checks is an aggregate retrieve the values of its...
2006-02-13 Ed Schonberg <schonberg@adacore.com>
Thomas Quinot <quinot@adacore.com>
* checks.adb (Build_Discriminant_Checks): If the expression being
checks is an aggregate retrieve the values of its discriminants to
generate the check, rather than creating a temporary and a reference
to it.
(Apply_Access_Check): Rewritten to handle new Is_Known_Null flag
(Install_Null_Excluding_Check): Ditto
(Selected_Length_Checks): Build actual subtype for the original Ck_Node,
not for the renamed object, so that the actual itype is attached in the
proper context.
From-SVN: r111052
Diffstat (limited to 'gcc/ada/expect.c')
0 files changed, 0 insertions, 0 deletions