diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-29 16:02:19 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-29 16:02:19 +0200 |
| commit | a2cc9797dfc084b28934de307d1e0254753121f8 (patch) | |
| tree | 9723a3f297dac2fd5458dd36e7bef0a0d2bf8cdf /gcc/ada/lib-xref.adb | |
| parent | effdbb7d578ab9e8122f17b7249c107a93e685ba (diff) | |
| download | gcc-a2cc9797dfc084b28934de307d1e0254753121f8.zip gcc-a2cc9797dfc084b28934de307d1e0254753121f8.tar.gz gcc-a2cc9797dfc084b28934de307d1e0254753121f8.tar.bz2 | |
[multiple changes]
2014-07-29 Ed Schonberg <schonberg@adacore.com>
* exp_ch5.adb (Expand_N_Assignment_Statement): If the target type
is a null-excluding access type, do not generate a constraint
check if Suppress_Assignment_Checks is set on assignment node.
* exp_ch9.adb (Build_Simple_Entry_Call): If actual is an out
parameter of a null-excluding access type, there is access check
on entry, so set Suppress_Assignment_Checks on generated statement
that assigns actual to parameter block.
* sinfo.ads: Document additional use of Suppress_Assignment_Checks.
2014-07-29 Javier Miranda <miranda@adacore.com>
* types.ads (Kind): Renamed as Rkind to avoid crashing ASIS.
* exp_ch11.adb, tbuild.adb Update references to Types.Kind
2014-07-29 Ed Schonberg <schonberg@adacore.com>
* par-ch3.adb (P_Type_Declaration): Create end label for
limited record declaration, previously omitted.
2014-07-29 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Complete list of implementation pragmas Add
dummy sections for impl pragmas needing documentation.
From-SVN: r213195
Diffstat (limited to 'gcc/ada/lib-xref.adb')
0 files changed, 0 insertions, 0 deletions