weaselab/conflict-set
2
0
Fork 0
Code Issues 4 Packages Releases 13 Activity

Actually increment iter

Browse Source
This commit is contained in:
Andrew Noyes
2024-01-24 13:04:01 -08:00
parent 9611345140
commit a7db7711d4
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
ConflictSet.cpp
View File

@@ -1438,6 +1438,7 @@ extern "C" int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) {
for (int i = 0; i < numWrites; ++i) { for (int i = 0; i < numWrites; ++i) {
writes[i].begin.p = (const uint8_t *)iter->data(); writes[i].begin.p = (const uint8_t *)iter->data();
writes[i].begin.len = iter->size(); writes[i].begin.len = iter->size();
++iter;
writes[i].end.len = 0; writes[i].end.len = 0;
writes[i].writeVersion = v; writes[i].writeVersion = v;
#if DEBUG_VERBOSE && !defined(NDEBUG) #if DEBUG_VERBOSE && !defined(NDEBUG)
@@ -1445,6 +1446,7 @@ extern "C" int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) {
int(writes[i].writeVersion)); int(writes[i].writeVersion));
#endif #endif
} }
assert(iter == keys.end());
cs.addWrites(writes, numWrites); cs.addWrites(writes, numWrites);
refImpl.addWrites(writes, numWrites); refImpl.addWrites(writes, numWrites);
} }
@@ -1471,6 +1473,7 @@ extern "C" int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) {
for (int i = 0; i < numReads; ++i) { for (int i = 0; i < numReads; ++i) {
reads[i].begin.p = (const uint8_t *)iter->data(); reads[i].begin.p = (const uint8_t *)iter->data();
reads[i].begin.len = iter->size(); reads[i].begin.len = iter->size();
++iter;
reads[i].end.len = 0; reads[i].end.len = 0;
reads[i].readVersion = v; reads[i].readVersion = v;
#if DEBUG_VERBOSE && !defined(NDEBUG) #if DEBUG_VERBOSE && !defined(NDEBUG)
@@ -1478,6 +1481,7 @@ extern "C" int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) {
int(reads[i].readVersion)); int(reads[i].readVersion));
#endif #endif
} }
assert(iter == keys.end());
auto *results1 = new (arena) ConflictSet::Result[numReads]; auto *results1 = new (arena) ConflictSet::Result[numReads];
auto *results2 = new (arena) ConflictSet::Result[numReads]; auto *results2 = new (arena) ConflictSet::Result[numReads];
cs.check(reads, results1, numReads); cs.check(reads, results1, numReads);