Browse Source
Merge pull request #12753 from liamwhite/why
device_memory_manager: fix ScratchBuffer indexing
pull/15/merge
Charles Lombardo
2 years ago
committed by
GitHub
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with
2 additions and
3 deletions
-
src/core/device_memory_manager.inc
|
|
|
@ -31,9 +31,8 @@ public: |
|
|
|
buffer.resize(0); |
|
|
|
size_t index = 0; |
|
|
|
const auto add_value = [&](u32 value) { |
|
|
|
buffer[index] = value; |
|
|
|
index++; |
|
|
|
buffer.resize(index); |
|
|
|
buffer.resize(index + 1); |
|
|
|
buffer[index++] = value; |
|
|
|
}; |
|
|
|
|
|
|
|
u32 iter_entry = start_entry; |
|
|
|
|