diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2018-12-11 11:12:41 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-12-11 11:12:41 +0000 |
| commit | c47fb5d9da9b60987babba6d05d5f97d03d0246b (patch) | |
| tree | 36371e6dfc550a9b17aeb58a253f8635ca23247b /gcc/tree-vrp.c | |
| parent | 921186579c3ba7d4e1fea8e967ec7d0f804167bf (diff) | |
| download | gcc-c47fb5d9da9b60987babba6d05d5f97d03d0246b.zip gcc-c47fb5d9da9b60987babba6d05d5f97d03d0246b.tar.gz gcc-c47fb5d9da9b60987babba6d05d5f97d03d0246b.tar.bz2 | |
[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
Diffstat (limited to 'gcc/tree-vrp.c')
0 files changed, 0 insertions, 0 deletions