1 files changed, 2 insertions, 0 deletions
diff --git a/src/vdbeapi.c b/src/vdbeapi.c
index 8ae7c526e..96a19e04e 100644
--- a/src/vdbeapi.c
+++ b/src/vdbeapi.c
@@ -65,6 +65,8 @@ static int vdbeSafetyNotNull(Vdbe *p){
 int sqlite3_finalize(sqlite3_stmt *pStmt){
   int rc;
   if( pStmt==0 ){
+    /* IMPLEMENTATION-OF: R-57228-12904 Invoking sqlite3_finalize() on a NULL
+    ** pointer is a harmless no-op. */
     rc = SQLITE_OK;
   }else{
     Vdbe *v = (Vdbe*)pStmt;