1 files changed, 2 insertions, 0 deletions
diff --git a/src/main.c b/src/main.c
index bf5c38a47..d945106d7 100644
--- a/src/main.c
+++ b/src/main.c
@@ -827,6 +827,8 @@ static int connectionIsBusy(sqlite3 *db){
 */
 static int sqlite3Close(sqlite3 *db, int forceZombie){
   if( !db ){
+    /* EVIDENCE-OF: R-63257-11740 Calling sqlite3_close() or
+    ** sqlite3_close_v2() with a NULL pointer argument is a harmless no-op. */
     return SQLITE_OK;
   }
   if( !sqlite3SafetyCheckSickOrOk(db) ){