random.h (random_device): Avoid using the FILE type.
authorPaolo Carlini <paolo@gcc.gnu.org>
Wed, 24 Jul 2013 15:42:06 +0000 (15:42 +0000)
committerPaolo Carlini <paolo@gcc.gnu.org>
Wed, 24 Jul 2013 15:42:06 +0000 (15:42 +0000)
commit821f6f1b318ce6b5e5aad7941593324b20217c32
treee3393e23fa07c37c8b5a59a402016f4bad3f6f0b
parent37c74e2816535f654390781de97cc01206b0ff31
random.h (random_device): Avoid using the FILE type.

2013-07-24  Paolo Carlini  <paolo.carlini@oracle.com>

* include/bits/random.h (random_device): Avoid using the FILE type.
* include/std/random: Do not include <cstdio>.
* src/c++11/random.cc: ... include it here.
(random_device::_M_init, random_device::_M_fini,
random_device::_M_getval): Cast back and forth void* and FILE*.

From-SVN: r201215
libstdc++-v3/ChangeLog
libstdc++-v3/include/bits/random.h
libstdc++-v3/include/std/random
libstdc++-v3/src/c++11/random.cc