diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2021-06-03 13:29:32 +0200 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@adacore.com> | 2021-06-03 13:32:08 +0200 |
| commit | 1eff5289b273041c9d71a4829c2600d283186ab6 (patch) | |
| tree | 53475464d16a5ccbeed81abf2cd3769041b4aa9b /gcc/function-tests.c | |
| parent | 592ed7db12ed0d6c71bca0cbfef6dcdf383bc24f (diff) | |
| download | gcc-1eff5289b273041c9d71a4829c2600d283186ab6.zip gcc-1eff5289b273041c9d71a4829c2600d283186ab6.tar.gz gcc-1eff5289b273041c9d71a4829c2600d283186ab6.tar.bz2 | |
Fix miscompilation of predicate on bit-packed array types
This is a regression present on the mainline and 11 branch in the form of a
miscompilation by the new mod/ref IPA pass of code that passes constrained
bit-packed array objets in a call to a subprograms taking unconstrained
bit-packed array parameters, which occurs for predicate on bit-packed array
types for example.
gcc/ada/
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Add PAT
local constant and use it throughout. If it is set, use a ref-all
pointer type for the pointer-to-array field of the fat pointer type.
<E_Array_Subtype>: Add PAT local constant and use it throughout.
gcc/testsuite/
* gnat.dg/bit_packed_array6.adb: New test.
* gnat.dg/bit_packed_array6_pkg.ads: New helper.
Diffstat (limited to 'gcc/function-tests.c')
0 files changed, 0 insertions, 0 deletions