commit 2672faefb066656b3c757a711c7eda4189aa2c89
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> Tue Sep 01 08:48:04 2015 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> Tue Sep 01 08:48:04 2015 +0000
tree 70239bfc2d7a02299cbb792696ec641bb2023f77
parent 281f0e9c42ddd6e7fd64259da20c7b2ab9065ae9

Rename the new option --expensive-definedness-check introduced in
r15594 to --expensive-definedness-checks.  (Pluralised it, iow.)


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15611 a5019735-40e9-0310-863c-91ae7b9d1cf9

memcheck/mc_translate.c

diff --git a/memcheck/mc_translate.c b/memcheck/mc_translate.c
index 6e5941b..d2ac798 100644
--- a/memcheck/mc_translate.c
+++ b/memcheck/mc_translate.c
@@ -6313,7 +6313,7 @@
    }
    tl_assert( VG_(sizeXA)( mce.tmpMap ) == sb_in->tyenv->types_used );
 
-   if (MC_(clo_expensive_definedness_check)) {
+   if (MC_(clo_expensive_definedness_checks)) {
       /* For expensive definedness checking skip looking for bogus
          literals. */
       mce.bogusLiterals = True;