Fix a possible NULL pointer dereference due to the sqlite3_interrupt()
enhancement at [bd8fa10e59f58886]. Reported by [forum:/forumpost/f5a2b1db87|forum post f5a2b1db87]. FossilOrigin-Name: 84417bbd144b2197c9930a520feb94b59053957c190be79f8deaaaebca68ecf1
D
drh committed
8c26e6fa168da6c2bdd5c0f74e4014cb2b165dfe
Parent: 07d1ef9