projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9211865) | patch
[Ada] Add "Global => null" contracts to Ada.Calendar routines
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 11 Dec 2018 11:12:41 +0000 (11:12 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 11 Dec 2018 11:12:41 +0000 (11:12 +0000)
commitc47fb5d9da9b60987babba6d05d5f97d03d0246b
tree36371e6dfc550a9b17aeb58a253f8635ca23247btree
parent921186579c3ba7d4e1fea8e967ec7d0f804167bfcommit | diff
[Ada] Add "Global => null" contracts to Ada.Calendar routines

Routines in Ada.Real_Time are already annotated with Global => null
contracts to suppress spurious warnings from the flow analysis in
GNATprove. This patch adds such contracts to Ada.Calendar. No change in
runtime behavior expected.

2018-12-11  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* libgnat/a-calend.ads: Add "Global => null" contracts to pure
routines.

From-SVN: r267018
gcc/ada/ChangeLog diff | blob | history
gcc/ada/libgnat/a-calend.ads diff | blob | history