diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2019-07-01 13:35:32 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-01 13:35:32 +0000 |
| commit | 25feb37fc665e0c46ee2deec9f47f5ffd4cdd702 (patch) | |
| tree | 2e980af8e7ff3f1d5c5a43d9036339fe2187cfbd /gcc/c/gimple-parser.c | |
| parent | b108c2ed65e8fe89acf0845358658a2e0ed07971 (diff) | |
| download | gcc-25feb37fc665e0c46ee2deec9f47f5ffd4cdd702.zip gcc-25feb37fc665e0c46ee2deec9f47f5ffd4cdd702.tar.gz gcc-25feb37fc665e0c46ee2deec9f47f5ffd4cdd702.tar.bz2 | |
[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
Diffstat (limited to 'gcc/c/gimple-parser.c')
0 files changed, 0 insertions, 0 deletions