In the fast sanity check for these tools which use shadow memory,
remove the test that the first page of memory is inaccessible. This
is now getting in the way.
Fixes #69886.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2180 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/addrcheck/ac_main.c b/addrcheck/ac_main.c
index 095837c..74acac0 100644
--- a/addrcheck/ac_main.c
+++ b/addrcheck/ac_main.c
@@ -1142,23 +1142,10 @@
Sanity check machinery (permanently engaged).
------------------------------------------------------------------ */
-/* Check that nobody has spuriously claimed that the first or last 16
- pages (64 KB) of address space have become accessible. Failure of
- the following do not per se indicate an internal consistency
- problem, but they are so likely to that we really want to know
- about it if so. */
-
Bool SK_(cheap_sanity_check) ( void )
{
- if (IS_DISTINGUISHED_SM(primary_map[0])
- /* kludge: kernel drops a page up at top of address range for
- magic "optimized syscalls", so we can no longer check the
- highest page */
- /* && IS_DISTINGUISHED_SM(primary_map[65535]) */
- )
- return True;
- else
- return False;
+ /* nothing useful we can rapidly check */
+ return True;
}
Bool SK_(expensive_sanity_check) ( void )
diff --git a/helgrind/hg_main.c b/helgrind/hg_main.c
index 1964ed9..9895b87 100644
--- a/helgrind/hg_main.c
+++ b/helgrind/hg_main.c
@@ -2000,26 +2000,12 @@
/*--- Machinery to support sanity checking ---*/
/*--------------------------------------------------------------*/
-/* Check that nobody has spuriously claimed that the first or last 16
- pages (64 KB) of address space have become accessible. Failure of
- the following do not per se indicate an internal consistency
- problem, but they are so likely to that we really want to know
- about it if so. */
-
Bool SK_(cheap_sanity_check) ( void )
{
- if (VGE_IS_DISTINGUISHED_SM(primary_map[0])
- /* kludge: kernel drops a page up at top of address range for
- magic "optimized syscalls", so we can no longer check the
- highest page */
- /* && VGE_IS_DISTINGUISHED_SM(primary_map[65535]) */
- )
- return True;
- else
- return False;
+ /* nothing useful we can rapidly check */
+ return True;
}
-
Bool SK_(expensive_sanity_check)(void)
{
Int i;
diff --git a/memcheck/mc_main.c b/memcheck/mc_main.c
index 06e72ae..7ee467c 100644
--- a/memcheck/mc_main.c
+++ b/memcheck/mc_main.c
@@ -1468,23 +1468,10 @@
Sanity check machinery (permanently engaged).
------------------------------------------------------------------ */
-/* Check that nobody has spuriously claimed that the first or last 16
- pages (64 KB) of address space have become accessible. Failure of
- the following do not per se indicate an internal consistency
- problem, but they are so likely to that we really want to know
- about it if so. */
-
Bool SK_(cheap_sanity_check) ( void )
{
- if (IS_DISTINGUISHED_SM(primary_map[0])
- /* kludge: kernel drops a page up at top of address range for
- magic "optimized syscalls", so we can no longer check the
- highest page */
- /* && IS_DISTINGUISHED_SM(primary_map[65535]) */
- )
- return True;
- else
- return False;
+ /* nothing useful we can rapidly check */
+ return True;
}
Bool SK_(expensive_sanity_check) ( void )