diff options
| author | Yannick Moy <moy@adacore.com> | 2020-09-28 17:58:31 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-24 05:15:59 -0500 |
| commit | 41273281cef411c75d12f45e8083faff2633e61a (patch) | |
| tree | 8a193228463997f1dfe224a8242d1a7dca8c969a /libcpp | |
| parent | 9cfd2c38f39cc2160d057dcd9e44acf73fec58bd (diff) | |
| download | gcc-41273281cef411c75d12f45e8083faff2633e61a.zip gcc-41273281cef411c75d12f45e8083faff2633e61a.tar.gz gcc-41273281cef411c75d12f45e8083faff2633e61a.tar.bz2 | |
[Ada] Reject Global/Depends contracts on null procedures
gcc/ada/
* sem_prag.adb (Analyze_Depends_Global): Reject Global and
Depends on null procedure.
Diffstat (limited to 'libcpp')
0 files changed, 0 insertions, 0 deletions