diff options
| -rw-r--r-- | libstdc++-v3/src/c++11/random.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libstdc++-v3/src/c++11/random.cc b/libstdc++-v3/src/c++11/random.cc index 55a73c5..4b88818 100644 --- a/libstdc++-v3/src/c++11/random.cc +++ b/libstdc++-v3/src/c++11/random.cc @@ -97,7 +97,7 @@ namespace std _GLIBCXX_VISIBILITY(default) unsigned int retries = 100; unsigned int val; - while (__builtin_ia32_rdrand32_step(&val) == 0) + while (__builtin_ia32_rdrand32_step(&val) == 0) [[__unlikely__]] if (--retries == 0) std::__throw_runtime_error(__N("random_device: rdrand failed")); @@ -113,7 +113,7 @@ namespace std _GLIBCXX_VISIBILITY(default) unsigned int retries = 100; unsigned int val; - while (__builtin_ia32_rdseed_si_step(&val) == 0) + while (__builtin_ia32_rdseed_si_step(&val) == 0) [[__unlikely__]] { if (--retries == 0) { |