Assertion is too restrictive; it's possible to validly get an

addressibility error when MC_(clo_undef_value_errors) is True.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5922

diff --git a/memcheck/mc_main.c b/memcheck/mc_main.c
index b28e80eb27fdad5d9bc19a5eacf8d8fc4527f397..e4b87cf95c273fcb0d209847e83f022f5d5cf59d 100644 (file)
--- a/memcheck/mc_main.c
+++ b/memcheck/mc_main.c
@@ -2619,7 +2619,7 @@ static void mc_record_param_error ( ThreadId tid, Addr a, Bool isReg,
 {
    MC_Error err_extra;
 
-   tl_assert(MC_(clo_undef_value_errors));
+   if (!isUnaddr) tl_assert(MC_(clo_undef_value_errors));
    tl_assert(VG_INVALID_THREADID != tid);
    if (isUnaddr) tl_assert(!isReg);    // unaddressable register is impossible
    mc_clear_MC_Error( &err_extra );