diff options
| author | drh <drh@noemail.net> | 2019-07-14 00:15:07 +0000 |
|---|---|---|
| committer | drh <drh@noemail.net> | 2019-07-14 00:15:07 +0000 |
| commit | 08e2e8e680147a52909b292d4c0628a94f928207 (patch) | |
| tree | 176ec5692f3df3ff701a7da15ffb82a4d8450c3e /src | |
| parent | 00885742712b5f54866b74c167b3cb9597850789 (diff) | |
| download | sqlite-08e2e8e680147a52909b292d4c0628a94f928207.tar.gz sqlite-08e2e8e680147a52909b292d4c0628a94f928207.zip | |
Mark an unreachable branch using ALWAYS().
FossilOrigin-Name: 0fff105a3e501fd91877d67761459eb0323e6cf79916242027cce0d05697f554
Diffstat (limited to 'src')
| -rw-r--r-- | src/prepare.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/prepare.c b/src/prepare.c index f385c1fc7..396df7bda 100644 --- a/src/prepare.c +++ b/src/prepare.c @@ -635,7 +635,10 @@ static int sqlite3Prepare( rc = sParse.rc; #ifndef SQLITE_OMIT_EXPLAIN - if( sParse.explain && rc==SQLITE_OK && sParse.pVdbe ){ + /* Justification for the ALWAYS(): The only way for rc to be SQLITE_OK and + ** sParse.pVdbe to be NULL is if the input SQL is an empty string, but in + ** that case, sParse.explain will be false. */ + if( sParse.explain && rc==SQLITE_OK && ALWAYS(sParse.pVdbe) ){ static const char * const azColName[] = { "addr", "opcode", "p1", "p2", "p3", "p4", "p5", "comment", "id", "parent", "notused", "detail" |