rem: have_read_stdin = 1;
add: have_read_stdin = true;
context: digest_file (const char *filename, int binary, unsigned char *bin_result,	   int (*digest_stream)(FILE *, void *)){  FILE *fp;  int err;  if (STREQ (filename, "-"))    {      have_read_stdin = 1;      fp = stdin;#if O_BINARY      /* If we need binary reads from a pipe or redirected stdin, we need	 to switch it to BINARY mode here, since stdin is already open.  */      if (binary)	SET_BINARY (fileno (stdin));#endif    }  else    {      /* OPENOPTS is a macro.  It varies with the system.	 Some systems distinguish between internal and	 external text representations.  */      fp = fopen (filename, OPENOPTS (binary));      if (fp == NULL)	{	  error (0, errno, "%s", filename);	  return 1;	}    }  err = (*digest_stream) (fp, bin_result);  if (err)    {      error (0, errno, "%s", filename);      if (fp != stdin)	fclose (fp);      return 1;    }  if (fp != stdin && fclose (fp) == EOF)    {      error (0, errno, "%s", filename);      return 1;    }  return 0;}