diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2018-07-16 14:11:09 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-07-16 14:11:09 +0000 |
| commit | f2f9cdad15a6eaadb93239092eb4441c535fa387 (patch) | |
| tree | 1a85715c539174c1bc90ded7ca4aa5838aec14b7 /gcc/ada/sinfo.adb | |
| parent | 721500abf2b9d41bea8d2c91277c4ad5ab834db7 (diff) | |
| download | gcc-f2f9cdad15a6eaadb93239092eb4441c535fa387.zip gcc-f2f9cdad15a6eaadb93239092eb4441c535fa387.tar.gz gcc-f2f9cdad15a6eaadb93239092eb4441c535fa387.tar.bz2 | |
[Ada] Crash on Indefinite_Hashed_Maps with -gnata -gnateV
This patch corrects the generation of helper functions which verify the
validity of record type scalar discriminants and scalar components when
switches -gnata (assertions enabled) and -gnateV (validity checks on
subprogram parameters) are in effect.
2018-07-16 Hristian Kirtchev <kirtchev@adacore.com>
gcc/ada/
* exp_attr.adb (Build_Record_VS_Func): Handle corner cases dealing with
class-wide types and record extensions.
gcc/testsuite/
* gnat.dg/validity_check3.adb, gnat.dg/validity_check3.ads: New
testcase.
From-SVN: r262715
Diffstat (limited to 'gcc/ada/sinfo.adb')
0 files changed, 0 insertions, 0 deletions