commit 72673a24e2d38c1699d911cfca0203f5e545f78c
author drh <drh@noemail.net> Thu Dec 04 16:27:17 2014 +0000
committer drh <drh@noemail.net> Thu Dec 04 16:27:17 2014 +0000
tree 90f4ce666016c55d5f17f3b409f4c1240611e298
parent d8922052b27a3d2d62ccf3cf0ef1ea9b7272124d

If a table is the right operand of a LEFT JOIN, then any column of that
table can be NULL even if that column as a NOT NULL constraint.
Fix for ticket [6f2222d550f5b0ee7ed].

FossilOrigin-Name: 6f6fcbe4736b9468a495c684d5eebc8bfe5c566a

src/resolve.c

diff --git a/src/resolve.c b/src/resolve.c
index 8fb580b..d4bd548 100644
--- a/src/resolve.c
+++ b/src/resolve.c
@@ -320,6 +320,10 @@
       if( pMatch ){
         pExpr->iTable = pMatch->iCursor;
         pExpr->pTab = pMatch->pTab;
+        assert( (pMatch->jointype & JT_RIGHT)==0 ); /* RIGHT JOIN not (yet) supported */
+        if( (pMatch->jointype & JT_LEFT)!=0 ){
+          ExprSetProperty(pExpr, EP_CanBeNull);
+        }
         pSchema = pExpr->pTab->pSchema;
       }
     } /* if( pSrcList ) */