diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-04-01 18:19:40 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-15 04:04:40 -0400 |
| commit | 65e088926639654e51b8e85be481d586505b56b4 (patch) | |
| tree | cc23c687f5cb165101fe211531e91a4021467008 /libgo | |
| parent | c5a913d3fd22769d66d480c2487edcf1d50644c5 (diff) | |
| download | gcc-65e088926639654e51b8e85be481d586505b56b4.zip gcc-65e088926639654e51b8e85be481d586505b56b4.tar.gz gcc-65e088926639654e51b8e85be481d586505b56b4.tar.bz2 | |
[Ada] Do expect task discriminants in Global and Depends contracts
2020-06-15 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* sem_prag.adb (Analyze_Depends_In_Decl_Part,
Analyze_Global_In_Decl_Part): Bring back task discriminants for
analysis of the Global/Depends contracts; add comments.
Diffstat (limited to 'libgo')
0 files changed, 0 insertions, 0 deletions