contrib/sqlite3/sqlite3.c

106031 ** Return non-zero if Expr p can only be true if pNN is not NULL.
106034 ** non-NULL if pNN is not NULL
106039   Expr *pNN,          /* The expression that is NOT NULL */
106044   assert( pNN );
106045   if( sqlite3ExprCompare(pParse, p, pNN, iTab)==0 ){
106046     return pNN->op!=TK_NULL;
106053       return exprImpliesNotNull(pParse, p->pLeft, pNN, iTab, 1);
106060       if( exprImpliesNotNull(pParse, pList->a[0].pExpr, pNN, iTab, 1)
106061        || exprImpliesNotNull(pParse, pList->a[1].pExpr, pNN, iTab, 1)
106065       return exprImpliesNotNull(pParse, p->pLeft, pNN, iTab, 1);
106085       if( exprImpliesNotNull(pParse, p->pRight, pNN, iTab, seenNot) ) return 1;
106092       return exprImpliesNotNull(pParse, p->pLeft, pNN, iTab, seenNot);
106097       return exprImpliesNotNull(pParse, p->pLeft, pNN, iTab, 1);
106101       return exprImpliesNotNull(pParse, p->pLeft, pNN, iTab, 1);