commit 97ced73c8a0a90b909e883df60b2cf0a46853a6d
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> Mon Mar 25 00:07:36 2002 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> Mon Mar 25 00:07:36 2002 +0000
tree 46a116feee9706761913bd56b92e867a11905a32
parent c76b79517654845f852ab0505ef4d9dffa980508

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

vg_main.c

diff --git a/vg_main.c b/vg_main.c
index da67410..2fb92cf 100644
--- a/vg_main.c
+++ b/vg_main.c
@@ -433,6 +433,7 @@
    Values derived from command-line options.
    ------------------------------------------------------------------ */
 
+Bool   VG_(clo_check_addrVs);
 Bool   VG_(clo_GDB_attach);
 Int    VG_(sanity_level);
 Int    VG_(clo_verbosity);
@@ -685,6 +686,7 @@
 #  define STREQN(nn,s1,s2) (0==VG_(strncmp_ws)((s1),(s2),(nn)))
 
    /* Set defaults. */
+   VG_(clo_check_addrVs)     = True;
    VG_(clo_GDB_attach)       = False;
    VG_(sanity_level)         = 1;
    VG_(clo_verbosity)        = 1;
@@ -852,6 +854,11 @@
       else if (STREQ(argv[i], "-q") || STREQ(argv[i], "--quiet"))
          VG_(clo_verbosity)--;
 
+      else if (STREQ(argv[i], "--check-addrVs=yes"))
+         VG_(clo_check_addrVs) = True;
+      else if (STREQ(argv[i], "--check-addrVs=no"))
+         VG_(clo_check_addrVs) = False;
+
       else if (STREQ(argv[i], "--gdb-attach=yes"))
          VG_(clo_GDB_attach) = True;
       else if (STREQ(argv[i], "--gdb-attach=no"))