diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-05-10 23:16:43 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-07 05:26:52 -0400 |
| commit | aeef2df9376cb8080d37224ff57bb6ce61c5130f (patch) | |
| tree | 4d1907a1ef3ded6cc24dcba837a2d36f70c06c31 /gcc/ada/contracts.adb | |
| parent | 0ac15b175aa5c241ec2bd1f4e191c0e5dfc613e1 (diff) | |
| download | gcc-aeef2df9376cb8080d37224ff57bb6ce61c5130f.zip gcc-aeef2df9376cb8080d37224ff57bb6ce61c5130f.tar.gz gcc-aeef2df9376cb8080d37224ff57bb6ce61c5130f.tar.bz2 | |
[Ada] Allow aspect Relaxed_Initialization on protected entries
gcc/ada/
* sem_ch13.adb (Analyze_Relaxed_Parameter): Fix for protected
entries.
Diffstat (limited to 'gcc/ada/contracts.adb')
0 files changed, 0 insertions, 0 deletions