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
This commit is contained in:
Julian Seward 2004-01-04 23:08:04 +00:00
parent ed2438e646
commit 5c0e0d0595
3 changed files with 6 additions and 46 deletions

View File

@ -1142,23 +1142,10 @@ static void ac_detect_memory_leaks ( void )
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 )

View File

@ -2000,26 +2000,12 @@ void* SK_(realloc) ( void* p, Int new_size )
/*--- 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;

View File

@ -1468,23 +1468,10 @@ void MC_(detect_memory_leaks) ( void )
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 )