|
From: <sv...@va...> - 2006-05-22 13:59:54
|
Author: sewardj
Date: 2006-05-22 14:59:42 +0100 (Mon, 22 May 2006)
New Revision: 5922
Log:
Assertion is too restrictive; it's possible to validly get an
addressibility error when MC_(clo_undef_value_errors) is True.
Modified:
trunk/memcheck/mc_main.c
Modified: trunk/memcheck/mc_main.c
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
--- trunk/memcheck/mc_main.c 2006-05-22 13:04:42 UTC (rev 5921)
+++ trunk/memcheck/mc_main.c 2006-05-22 13:59:42 UTC (rev 5922)
@@ -2619,7 +2619,7 @@
{
MC_Error err_extra;
=20
- tl_assert(MC_(clo_undef_value_errors));
+ if (!isUnaddr) tl_assert(MC_(clo_undef_value_errors));
tl_assert(VG_INVALID_THREADID !=3D tid);
if (isUnaddr) tl_assert(!isReg); // unaddressable register is impo=
ssible
mc_clear_MC_Error( &err_extra );
|