Improve deterministic mode error message

diff --git a/src/fn_call.rs b/src/fn_call.rs
index 8a586c7705b33e7de0534d51c5eeb404e28b4e41..b97c2374128181c8208e8f672334d95a9ac1395c 100644 (file)
--- a/src/fn_call.rs
+++ b/src/fn_call.rs
@@ -795,8 +795,10 @@ fn gen_random<'a, 'mir, 'tcx>(this: &mut MiriEvalContext<'a, 'mir, 'tcx>,
         }
         None => {
             err!(Unimplemented(
-                "miri does not support random number generators in deterministic mode!
-                Use '-Zmiri-seed=<seed>' to enable random number generation".to_owned(),
+                "miri does not support gathering system entropy in deterministic mode!
+                Use '-Zmiri-seed=<seed>' to enable random number generation.
+                WARNING: Miri does *not* generate cryptographically secure entropy -
+                do not use Miri to run any program that need secure random number generation".to_owned(),
             ))
         }
     }