void FUN_004047a8(char *param_1,int param_2,uint param_3)

{
  char *pcVar1;
  char *__dest;
  
  __dest = param_1;
  if ((param_3 & 1) != 0) {
    __dest = param_1 + 4;
    strcpy(param_1," min")   //possible issue identified - semgrep
  }
  if ((param_3 & 2) != 0) {
    strcpy(__dest," max")   //possible issue identified - semgrep
    __dest = __dest + 4;
  }
  if ((param_3 & 0x2000) == 0) {
    pcVar1 = " limit:%d";
  }
  else {
    strcpy(__dest," lifetime:")   //possible issue identified - semgrep
    __dest = __dest + 10;
    if ((param_3 & 4) == 0) {
      if (param_2 < 1000000) {
        if (param_2 < 1000) {
          pcVar1 = "%dus";
        }
        else {
          param_2 = SUB84((double)param_2 / 1000.0,0);
          pcVar1 = "%gms";
        }
      }
      else {
        pcVar1 = "%gs";
        param_2 = SUB84((double)param_2 / 1000000.0,0);
      }
    }
    else {
      param_2 = SUB84((double)param_2 / 1000000.0,0);
      pcVar1 = "%g";
    }
  }
  (*(code *)(undefined *)0x0)(__dest,pcVar1,param_2);
  (*(code *)(undefined *)0x0)();
  (*(code *)(undefined *)0x0)();
  (*(code *)(undefined *)0x0)();
  (*(code *)(undefined *)0x0)();
  (*(code *)(undefined *)0x0)();
  (*(code *)(undefined *)0x0)();
  (*(code *)(undefined *)0x0)();
  (*(code *)(undefined *)0x0)();
  (*(code *)(undefined *)0x0)();
  (*(code *)(undefined *)0x0)();
  (*(code *)(undefined *)0x0)();
  (*(code *)(undefined *)0x0)();
  (*(code *)(undefined *)0x0)();
  (*(code *)(undefined *)0x0)();
  (*(code *)(PTR___DT_MIPS_BASE_ADDRESS_00417578 + 0xf70))();
  return;
}