pBufStart 57254 ext/sqlite3/libsqlite/sqlite3.c unsigned char * const pBufStart = pBuf; pBufStart 57396 ext/sqlite3/libsqlite/sqlite3.c && &pBuf[-4]>=pBufStart /* (7) */ pBufStart 57400 ext/sqlite3/libsqlite/sqlite3.c assert( aWrite>=pBufStart ); /* hence (7) */