[Ada] Revert "Global => null" on calendar routines that use timezones
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 1 Jul 2019 13:35:32 +0000 (13:35 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 1 Jul 2019 13:35:32 +0000 (13:35 +0000)
commit25feb37fc665e0c46ee2deec9f47f5ffd4cdd702
tree2e980af8e7ff3f1d5c5a43d9036339fe2187cfbd
parentb108c2ed65e8fe89acf0845358658a2e0ed07971
[Ada] Revert "Global => null" on calendar routines that use timezones

Some routines from the Ada.Calendar package, i.e. Year, Month, Day,
Split and Time_Off, rely on OS-specific timezone databases that are kept
in files (e.g. /etc/localtime on Linux). In SPARK we want to model this
as a potential side-effect, so those routines can't have "Global =>
null".

2019-07-01  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* libgnat/a-calend.ads: Revert "Global => null" contracts on
non-pure routines.

From-SVN: r272865
gcc/ada/ChangeLog
gcc/ada/libgnat/a-calend.ads