Fix use of valgrind API
authorMikhail Maltsev <maltsevm@gmail.com>
Wed, 23 Sep 2015 02:31:14 +0000 (02:31 +0000)
committerMikhail Maltsev <miyuki@gcc.gnu.org>
Wed, 23 Sep 2015 02:31:14 +0000 (02:31 +0000)
commit0c6126b47da9afbd99e5a353297b577ed2cdd09f
treedfffc9089ad4b65bd44618cd80c6390f8ff85b7a
parentdbfc22a47076e571e943e98dbb21637e95fd3420
Fix use of valgrind API

gcc/
PR middle-end/67649
* memory-block.h (memory_block_pool::allocate): Use valgrind API to
mark the block as accessible.

From-SVN: r228033
gcc/ChangeLog
gcc/memory-block.h