/* WARNING: Removing unreachable block (ram,0x00010b48) */

int timer_delete(timer_t __timerid)

{

  int *piVar1;

  int in_a3;

  syscall(0)   //possible issue identified - semgrep

  if (in_a3 != 0) {

    piVar1 = __errno_location();

    *piVar1 = 0x10a5;

  }

  return -1;

}