projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f142237) | patch
[Ada] Do not expect Global or Depends on single protected objects
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 26 Mar 2020 19:31:21 +0000 (20:31 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 15 Jun 2020 08:04:29 +0000 (04:04 -0400)
commit0acc5ebd5c33e719d5ab24608af9a489dc204729
tree8a2b3c51cd191870e240a30a386a514422c6c45ftree
parentf142237e2f70fe336b4fbe02c8f10d60ab38df67commit | diff
[Ada] Do not expect Global or Depends on single protected objects

2020-06-15  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* contracts.adb (Analyze_Object_Contract): Do not expect
Global/Depends on single protected units.
gcc/ada/contracts.adb diff | blob | history