commit | 1ac6fcf57c55ec2cac914b64d5d56a341a5aa4f0 | [log] [tgz] |
---|---|---|
author | Bob Duff <duff@adacore.com> | Tue Feb 23 15:50:21 2021 -0500 |
committer | Pierre-Marie de Rodat <derodat@adacore.com> | Wed Jun 16 04:42:59 2021 -0400 |
tree | 7075d7dcfcb0b48281fa087413cb0406673c44c3 | |
parent | 663e6d7960199559ebd3107a28ea1cfda3e5be00 [diff] |
[Ada] Fix missing array bounds checking gcc/ada/ * ghost.adb: Add another special case where full analysis is needed. This bug is due to quirks in the way Mark_And_Set_Ghost_Assignment works (it happens very early, before name resolution is done).