mirror of
https://github.com/MariaDB/server.git
synced 2026-05-06 07:05:33 +02:00
Debug measure: trash unused buffer space
This commit is contained in:
parent
b9e5125050
commit
ac3756a1d0
1 changed files with 3 additions and 1 deletions
|
|
@ -113,7 +113,7 @@ public:
|
|||
start= start_arg;
|
||||
end= end_arg;
|
||||
direction= direction_arg;
|
||||
// TRASH(start, end - start);
|
||||
TRASH(start, end - start);
|
||||
reset_for_writing();
|
||||
}
|
||||
|
||||
|
|
@ -153,6 +153,8 @@ public:
|
|||
- it is adjacent to buffer space we're using
|
||||
- it is on the end towards which we grow.
|
||||
*/
|
||||
DBUG_ASSERT(unused_end > unused_start);
|
||||
TRASH(unused_start, unused_end - unused_start);
|
||||
if (direction == 1 && end == unused_start)
|
||||
{
|
||||
end= unused_end;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue