From d71d963d9ad1c046c40ecaad002b58846cfb411a Mon Sep 17 00:00:00 2001 From: Andrew Noyes Date: Tue, 27 Oct 2026 14:06:58 -0400 Subject: [PATCH] Improve codegen for checkMaxBetweenExclusiveImpl(Node3 $ ninja -C build && nm -C -S build/CMakeFiles/conflict-set-object.dir/ConflictSet.cpp.o | grep 'checkMaxBetweenExclusive(Node3' ... 0000000000000000 0000000000000529 T checkMaxBetweenExclusive(Node3*, int, int, InternalVersionT, ReadContext*) $ git stash pop ... $ ninja -C build && nm -C -S build/CMakeFiles/conflict-set-object.dir/ConflictSet.cpp.o | grep 'checkMaxBetweenExclusive(Node3' ... 0000000000000000 0000000000000106 T checkMaxBetweenExclusive(Node3*, int, int, InternalVersionT, ReadContext*) --- ConflictSet.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/ConflictSet.cpp b/ConflictSet.cpp index 8d6c2eb..5898ec3 100644 --- a/ConflictSet.cpp +++ b/ConflictSet.cpp @@ -2307,6 +2307,8 @@ bool checkMaxBetweenExclusiveImpl(Node3 *n, int begin, int end, assert(!(begin == -1 && end == 256)); auto *self = static_cast(n); + assume(1 <= self->numChildren); + assume(self->numChildren <= 3); ++begin;