From d8d8c1ae62789a2badace67e619207ce6a0397c9 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Fri, 22 Jun 2018 14:46:41 +0300 Subject: [PATCH] db: set the CACHE_PAGES size I don't know if this helps... I've been running with it for a long time though so it must not hurt. Signed-off-by: Dan Carpenter --- smatch_db.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/smatch_db.c b/smatch_db.c index 9172d965..ed574b0f 100644 --- a/smatch_db.c +++ b/smatch_db.c @@ -29,6 +29,7 @@ struct sqlite3 *cache_db; static int return_id; +#define SQLITE_CACHE_PAGES 1000 struct def_callback { int hook_type; @@ -2068,6 +2069,8 @@ void open_smatch_db(void) option_no_db = 1; return; } + run_sql(NULL, NULL, + "PRAGMA cache_size = %d;", SQLITE_CACHE_PAGES); return; } -- 2.11.4.GIT