|
From: <sv...@va...> - 2006-03-31 11:58:12
|
Author: njn
Date: 2006-03-31 12:57:59 +0100 (Fri, 31 Mar 2006)
New Revision: 5802
Log:
Terminology change: previously in Memcheck we had the four states:
noaccess, writable, readable, other
Now they are:
noaccess, undefined, defined, partdefined
As a result, the following names:
make_writable, make_readable,
check_writable, check_readable, check_defined
have become:
make_mem_undefined, make_mem_defined,
check_mem_is_addressable, check_mem_is_defined, check_value_is_defined
(and likewise for the upper-case versions for client request macros).
The old MAKE_* and CHECK_* macros still work for backwards compatibility.
This is much better, because the old names were subtly misleading. For
example:
- "readable" really meant "readable and writable".
- "writable" really meant "writable and maybe readable, depending on ho=
w
the read value is used".
- "check_writable" really meant "check writable or readable"
The new names avoid these problems.
The recently-added macro which was called MAKE_DEFINED is now
MAKE_MEM_DEFINED_IF_ADDRESSABLE.
I also corrected the spelling of "addressable" in numerous places in
memcheck.h.
Modified:
trunk/NEWS
trunk/auxprogs/libmpiwrap.c
trunk/coregrind/m_mallocfree.c
trunk/include/valgrind.h
trunk/memcheck/docs/mc-manual.xml
trunk/memcheck/mc_include.h
trunk/memcheck/mc_main.c
trunk/memcheck/mc_malloc_wrappers.c
trunk/memcheck/memcheck.h
trunk/memcheck/tests/addressable.c
trunk/memcheck/tests/clientperm.c
trunk/memcheck/tests/custom_alloc.c
trunk/memcheck/tests/mempool.c
trunk/memcheck/tests/pointer-trace.c
trunk/memcheck/tests/post-syscall.c
trunk/memcheck/tests/sh-mem.c
trunk/memcheck/tests/x86/scalar.c
[... diff too large to include ...]
|