diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2026-01-28 23:52:41 +0100 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@adacore.com> | 2026-01-28 23:56:27 +0100 |
| commit | a697610ed40e0389cedb4984ad69f391703b0566 (patch) | |
| tree | 6e1fdb0d7ecd85e3f0b06bd8d90dd405bfe9dd24 /libjava/gnu/java/security/ber/BER.java | |
| parent | ea0f31d040c10e4f9b42f1cf818970bcaf5277a8 (diff) | |
| download | gcc-a697610ed40e0389cedb4984ad69f391703b0566.zip gcc-a697610ed40e0389cedb4984ad69f391703b0566.tar.gz gcc-a697610ed40e0389cedb4984ad69f391703b0566.tar.bz2 | |
Ada: Fix crash on Unchecked_Union parameter with -gnateV -gnata
The problem is that the compiler generates 'Valid_Scalars for a formal
parameter of an Unchecked_Union type, which cannot work because it is not
possible to find out where the scalars are in it, given that the parameter
does not contain the discriminants of its Unchecked_Union type. This also
changes -gnateV to work without the need for -gnata, as there is no mention
of this dependence in the documentation.
gcc/ada/
PR ada/123857
* checks.adb (Apply_Parameter_Validity_Checks.Add_Validity_Check):
Set Is_Checked on the generated {Pre,Post}_Condition pragma and
bail out if the parameter is of an Unchecked_Union type.
gcc/testsuite/
* gnat.dg/unchecked_union4.adb: New test.
Diffstat (limited to 'libjava/gnu/java/security/ber/BER.java')
0 files changed, 0 insertions, 0 deletions