diff options
| author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2006-05-22 13:59:42 +0000 |
|---|---|---|
| committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2006-05-22 13:59:42 +0000 |
| commit | 1cf56cf8b6bfcfa5d234f932d3af0b9c79df248a (patch) | |
| tree | 25009e298e8d2f205b58b836ca3142a3aaedbe41 /memcheck/mc_main.c | |
| parent | a269958053cb60baa269c096684b9379adb310d8 (diff) | |
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
Diffstat (limited to 'memcheck/mc_main.c')
| -rw-r--r-- | memcheck/mc_main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/memcheck/mc_main.c b/memcheck/mc_main.c index b28e80eb..e4b87cf9 100644 --- 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 ); |