diff options
| author | drh <drh@noemail.net> | 2019-04-01 16:23:21 +0000 |
|---|---|---|
| committer | drh <drh@noemail.net> | 2019-04-01 16:23:21 +0000 |
| commit | 495ed62e850f449e566a06ff827db1447cf03fcb (patch) | |
| tree | 1811613607aeef49e53338fccd0cdd82171fc48d /src | |
| parent | 83c5bb997a496d00f50b63a9af8feccb33a2b138 (diff) | |
| download | sqlite-495ed62e850f449e566a06ff827db1447cf03fcb.tar.gz sqlite-495ed62e850f449e566a06ff827db1447cf03fcb.zip | |
Frame range comparisons can never be NULL because the values will have
been checked for NULL prior to the test.
FossilOrigin-Name: fa37cf9a6aa3e4325674cb6af68f617d25e349c3f694d0117a19a36fc42daf15
Diffstat (limited to 'src')
| -rw-r--r-- | src/window.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/window.c b/src/window.c index 6a476dd48..ff164bbe4 100644 --- a/src/window.c +++ b/src/window.c @@ -2543,9 +2543,8 @@ void sqlite3WindowCodeStep( if( pMWin->eStart==pMWin->eEnd && regStart ){ int op = ((pMWin->eStart==TK_FOLLOWING) ? OP_Ge : OP_Le); int addrGe = sqlite3VdbeAddOp3(v, op, regStart, 0, regEnd); - VdbeCoverage(v); - VdbeCoverageIf(v, op==OP_Ge); - VdbeCoverageIf(v, op==OP_Le); + VdbeCoverageNeverNullIf(v, op==OP_Ge); /* NeverNull because bound <expr> */ + VdbeCoverageNeverNullIf(v, op==OP_Le); /* values previously checked */ windowAggFinal(&s, 0); sqlite3VdbeAddOp2(v, OP_Rewind, s.current.csr, 1); VdbeCoverageNeverTaken(v); |