Note that I sent the test case that triggers the segfault via a personal email to the SQLite developers. The bug was fixed by check-in [778b1224a318d013] shortly after and before I attached the bug report as part of this ticket.