diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 16:28:32 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 16:28:32 +0200 |
| commit | 8c4ee6f5320012a33382597cba44e225046d7c4f (patch) | |
| tree | 686f12f7d9a2f85255134865a56ce0ba3076b688 /gcc/genautomata.c | |
| parent | 0b3d16c08a9b4082e5b3fbfb82e282f49fe7ac1e (diff) | |
| download | gcc-8c4ee6f5320012a33382597cba44e225046d7c4f.zip gcc-8c4ee6f5320012a33382597cba44e225046d7c4f.tar.gz gcc-8c4ee6f5320012a33382597cba44e225046d7c4f.tar.bz2 | |
[multiple changes]
2011-08-02 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Chain_PPC): Implement AI04-0230: null procedures can
only have inheritable classwide pre/postconditions.
2011-08-02 Javier Miranda <miranda@adacore.com>
* a-tags.ads, a-tags.adb (Check_TSD): New subprogram.
* rtsfind.ads (RE_Check_TSD): New runtime entity.
* exp_disp.adb (Make_DT): Generate call to the new runtime routine that
checks if the external tag of a type is the same as the external tag
of some other declaration.
From-SVN: r177159
Diffstat (limited to 'gcc/genautomata.c')
0 files changed, 0 insertions, 0 deletions