Add experimental omission of V-bits for address values, using
--check-addrVs=no. The default behaviour, =yes, is the original
behaviour. So far this is undocumented.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@32 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/valgrind.in b/valgrind.in
index f791c66..0b566c9 100755
--- a/valgrind.in
+++ b/valgrind.in
@@ -40,6 +40,8 @@
--verbose) vgopts="$vgopts -v"; shift;;
-q) vgopts="$vgopts $arg"; shift;;
--quiet) vgopts="$vgopts $arg"; shift;;
+ --check-addrVs=no) vgopts="$vgopts $arg"; shift;;
+ --check-addrVs=yes) vgopts="$vgopts $arg"; shift;;
--gdb-attach=no) vgopts="$vgopts $arg"; shift;;
--gdb-attach=yes) vgopts="$vgopts $arg"; shift;;
--demangle=no) vgopts="$vgopts $arg"; shift;;
@@ -130,6 +132,8 @@
echo " --suppressions=<filename> suppress errors described in"
echo " suppressions file <filename>"
echo " --client-perms=no|yes handle client VG_MAKE_* requests? [no]"
+ echo " --check-addrVs=no|yes experimental lighterweight checking? [yes]"
+ echo " yes == Valgrind's original behaviour"
echo
echo " options for debugging Valgrind itself are:"
echo " --sanity-level=<number> level of sanity checking to do [1]"