In the previous check-in, use a u32 instead of an int, to make it easier to

prove that the integer will never overflow.

FossilOrigin-Name: 51002079e0b499e116415189a913a238e95ed9766a8af9d042928f4263861a87

1 files changed, 1 insertions, 1 deletions

diff --git a/src/sqliteInt.h b/src/sqliteInt.h
index c8288736b..23beb48de 100644
--- a/src/sqliteInt.h
+++ b/src/sqliteInt.h
@@ -3397,7 +3397,7 @@ struct NameContext {
   int nRef;            /* Number of names resolved by this context */
   int nNcErr;          /* Number of errors encountered while resolving names */
   int ncFlags;         /* Zero or more NC_* flags defined below */
-  int nNestedSelect;   /* Number of nested selects using this NC */
+  u32 nNestedSelect;   /* Number of nested selects using this NC */
   Select *pWinSelect;  /* SELECT statement for any window functions */
 };