Ran my corpus with set_cover_merge=1 and use_value_profile=0. Coverage is here, it does not hit some cases because it has only run for a few days, but I can PR those inputs when it does.
Add cmpctblock inputs #276
pull Crypt-iQ wants to merge 1 commits into bitcoin-core:main from Crypt-iQ:05092026/cmpctblock-inputs changing 1435 files +20 −0-
Crypt-iQ commented at 6:53 AM on May 8, 2026: contributor
-
Add cmpctblock inputs 8dfbac846b
-
dergoegge commented at 9:02 AM on May 8, 2026: member
ACK 8dfbac846b90dc5618ef7dbcf847fab0abf43353
waiting for CI
-
maflcko commented at 9:17 AM on May 8, 2026: contributor
Run cmpctblock with args ['/home/runner/work/_temp/build/bin/fuzz', PosixPath('/home/runner/work/_temp/ci/scratch/qa-assets/fuzz_corpora/cmpctblock')]Assertion failed: detected inconsistent lock order for 'cs' in txmempool.h:509 (in thread 'test'), details in debug log. Error processing input "/home/runner/work/_temp/ci/scratch/qa-assets/fuzz_corpora/cmpctblock/5f961ac0646e590d064fafe943ddfd24cf71b61f" Assertion failed: detected inconsistent lock order for 'cs' in txmempool.h:509 (in thread 'test'), details in debug log. Error processing input "/home/runner/work/_temp/ci/scratch/qa-assets/fuzz_corpora/cmpctblock/5f961ac0646e590d064fafe943ddfd24cf71b61f" ⚠️ Failure generated from target with exit code 1: ['/home/runner/work/_temp/build/bin/fuzz', PosixPath('/home/runner/work/_temp/ci/scratch/qa-assets/fuzz_corpora/cmpctblock')] -
Crypt-iQ commented at 5:56 PM on May 8, 2026: contributor
Run cmpctblock with args ['/home/runner/work/_temp/build/bin/fuzz', PosixPath('/home/runner/work/_temp/ci/scratch/qa-assets/fuzz_corpora/cmpctblock')]Assertion failed: detected inconsistent lock order for 'cs' in txmempool.h:509 (in thread 'test'), details in debug log. Error processing input "/home/runner/work/_temp/ci/scratch/qa-assets/fuzz_corpora/cmpctblock/5f961ac0646e590d064fafe943ddfd24cf71b61f" Assertion failed: detected inconsistent lock order for 'cs' in txmempool.h:509 (in thread 'test'), details in debug log. Error processing input "/home/runner/work/_temp/ci/scratch/qa-assets/fuzz_corpora/cmpctblock/5f961ac0646e590d064fafe943ddfd24cf71b61f" ⚠️ Failure generated from target with exit code 1: ['/home/runner/work/_temp/build/bin/fuzz', PosixPath('/home/runner/work/_temp/ci/scratch/qa-assets/fuzz_corpora/cmpctblock')]This is because of
ImmediateTaskRunnerand can't happen during production. WhenBlockConnectedgets called,mempool.csis already locked in the single-thread mode and the callback isn't sent to the scheduler thread so the same thread locksm_tx_download_mutex. Then a later iteration of the fuzz loop sends a tx which locksm_tx_download_mutexand thenmempool.cs. In production, theBlockConnectedis instead sent to the scheduler thread.Not really sure what to do here because I don't think I can modify the order of the locks here (and wouldn't if I could just for fuzz code).
