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 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/memcheck/mc_main.c b/memcheck/mc_main.c
index b28e80e..e4b87cf 100644
--- a/memcheck/mc_main.c
+++ b/memcheck/mc_main.c
@@ -2619,7 +2619,7 @@
{
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 );