Function check_VFAT_volume_name

src/fat.c:1280–1306

}

int check_VFAT_volume_name(const char *name, const unsigned int max_size)
{
  unsigned int i;
  /*@
    @ loop assigns i;
    @ loop variant max_size - i;
    @*/
  for(i=0; i<max_size && name[i]!='\0'; i++)
  {
    if(name[i] < 0x20)
      return 1;
    switch(name[i])
    {
      case '<':
      case '>':
      case ':':
      case '"':
      case '/':
      case '\\':
      case '|':
      case '?':
      case '*':
	return 1;
    }
  }
  return 0; /* Ok */
}