projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5a913d) | patch
[Ada] Do expect task discriminants in Global and Depends contracts
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 1 Apr 2020 16:19:40 +0000 (18:19 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 15 Jun 2020 08:04:40 +0000 (04:04 -0400)
commit65e088926639654e51b8e85be481d586505b56b4
treecc23c687f5cb165101fe211531e91a4021467008tree
parentc5a913d3fd22769d66d480c2487edcf1d50644c5commit | diff
[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.
gcc/ada/sem_prag.adb diff | blob | history