1
0
mirror of https://github.com/sqlite/sqlite.git synced 2025-07-30 19:03:16 +03:00

The dbsqlfuzz fuzzer found a refutation for a recent ALWAYS() macro.

FossilOrigin-Name: ebfc18aaa6506ccac80f297a1792e726972bb39c0b5c8706faadeb8df94a45e9
This commit is contained in:
drh
2021-09-16 22:23:36 +00:00
parent 8e4616c280
commit 89b1715415
3 changed files with 9 additions and 10 deletions

View File

@ -2802,9 +2802,7 @@ static int fixBoundingBox(Rtree *pRtree, RtreeNode *pNode){
}
box.iRowid = pNode->iNode;
rc = nodeParentIndex(pRtree, pNode, &ii);
/* When we are fixing up a bounding box, we've already
** vvvvvv--- decended down through the tree so we know it is correct */
if( ALWAYS(rc==SQLITE_OK) ){
if( rc==SQLITE_OK ){
nodeOverwriteCell(pRtree, pParent, &box, ii);
rc = fixBoundingBox(pRtree, pParent);
}