Function recoverStrlen

modules/dasSQLITE/sqlite/shell.c:13780–13783

** Like strlen(). But handles NULL pointer arguments. */

** Like strlen(). But handles NULL pointer arguments.
*/
static int recoverStrlen(const char *zStr){
  if( zStr==0 ) return 0;
  return (int)(strlen(zStr)&0x7fffffff);
}

/*
** This function is a no-op if the recover handle passed as the first