aboutsummaryrefslogtreecommitdiff
path: root/src/main.c
diff options
context:
space:
mode:
authordrh <drh@noemail.net>2014-08-11 15:54:11 +0000
committerdrh <drh@noemail.net>2014-08-11 15:54:11 +0000
commitddb17cae386ce5a4ccb920419e9065e7efd65324 (patch)
tree70458edb3db35d32a75d570221b1313fafcacac7 /src/main.c
parent490fe86f1a74ca24703b7b63a656915d49180b72 (diff)
downloadsqlite-ddb17cae386ce5a4ccb920419e9065e7efd65324.tar.gz
sqlite-ddb17cae386ce5a4ccb920419e9065e7efd65324.zip
Updates to evidence marks and requirements. No changes to code.
FossilOrigin-Name: 62d38308b519a5362f559b296a0cf1acccf8f673
Diffstat (limited to 'src/main.c')
-rw-r--r--src/main.c2
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) ){