usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i

int main(void)
{ struct usb_serial *var_group1 = (struct usb_serial *) __VERIFIER_nondet_pointer();
  struct usb_device_id const *var_whiteheat_firmware_download_0_p1 = (struct usb_device_id const *) __VERIFIER_nondet_pointer();
  struct tty_struct *var_group2 = (struct tty_struct *) __VERIFIER_nondet_pointer();
  struct usb_serial_port *var_group3 = (struct usb_serial_port *) __VERIFIER_nondet_pointer();
  unsigned char const *var_whiteheat_write_6_p2 = (unsigned char const *) __VERIFIER_nondet_pointer();
  int var_whiteheat_write_6_p3 = __VERIFIER_nondet_int();
  unsigned int var_whiteheat_ioctl_10_p1 = __VERIFIER_nondet_uint();
  unsigned long var_whiteheat_ioctl_10_p2 = __VERIFIER_nondet_ulong();
  struct ktermios *var_whiteheat_set_termios_11_p2 = (struct ktermios *) __VERIFIER_nondet_pointer();
  int var_whiteheat_break_ctl_12_p1 = __VERIFIER_nondet_int();
  unsigned int var_whiteheat_tiocmset_9_p1 = __VERIFIER_nondet_uint();
  unsigned int var_whiteheat_tiocmset_9_p2 = __VERIFIER_nondet_uint();
  struct urb *var_group4 = (struct urb *) __VERIFIER__nondet_pointer();
  int tmp___7 ;
  int ldv_s_whiteheat_fake_device_usb_serial_driver ;
  int ldv_s_whiteheat_device_usb_serial_driver ;
  int tmp___8 ;
  int tmp___9 ;