diff options
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/memory-block.h | 1 |
2 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1627255..3c79492 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2015-09-23 Mikhail Maltsev <maltsevm@gmail.com> + + PR middle-end/67649 + * memory-block.h (memory_block_pool::allocate): Use valgrind API to + mark the block as accessible. + 2015-09-22 Segher Boessenkool <segher@kernel.crashing.org> * function.c (thread_prologue_and_epilogue_insns): Delete diff --git a/gcc/memory-block.h b/gcc/memory-block.h index 1a495ea..8b1202b 100644 --- a/gcc/memory-block.h +++ b/gcc/memory-block.h @@ -57,6 +57,7 @@ memory_block_pool::allocate () void *result = instance.m_blocks; instance.m_blocks = instance.m_blocks->m_next; + VALGRIND_DISCARD (VALGRIND_MAKE_MEM_UNDEFINED (result, block_size)); return result; } |