projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0acc5eb) | patch
[Ada] Do not expect task discriminants in Global and Depends contracts
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 31 Mar 2020 12:49:14 +0000 (14:49 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 15 Jun 2020 08:04:30 +0000 (04:04 -0400)
commitfdcbc0764dee19e9e1eeeb17c960567474b4d688
tree8b85ab721aea5eca8915018867436bb1e1f2c74ftree
parent0acc5ebd5c33e719d5ab24608af9a489dc204729commit | diff
[Ada] Do not 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): Do not install task discriminants
for analysis of the Global/Depends contracts.
gcc/ada/sem_prag.adb diff | blob | history