OSDN Git Service

2012-01-30 Thomas Quinot <quinot@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 30 Jan 2012 11:39:58 +0000 (11:39 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 30 Jan 2012 11:39:58 +0000 (11:39 +0000)
commit27121718dadc1c9ae171f2b6ed95ab2d610c87b7
treeec6bf83bc929b3be00973cb3f3a43eb911058903
parent7b9b2f05a09e0a5e6085ffdde39e0eb6d5f7d4cf
2012-01-30  Thomas Quinot  <quinot@adacore.com>

* s-rannum.adb, s-ransee.adb, s-ransee.ads (Get_Seed): Return
Unsigned_64 rather than Duration.
(System.Random_Numbers.Reset): Use full value of seed
(do not truncate sub-second bits).

2012-01-30  Thomas Quinot  <quinot@adacore.com>

* sem_cat.adb, sem_ch12.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183708 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/s-rannum.adb
gcc/ada/s-ransee.adb
gcc/ada/s-ransee.ads
gcc/ada/sem_cat.adb
gcc/ada/sem_ch12.adb