452   char       *string, *vstring = NULL, *astring = NULL, *packed = NULL;  in PetscOptionsInsertFilePetsc()  local
511           PetscCall(PetscSegBufferGet(vseg, len + 1, &vstring));  in PetscOptionsInsertFilePetsc()
512           PetscCall(PetscArraycpy(vstring, tokens[0], len));  in PetscOptionsInsertFilePetsc()
513           vstring[len] = ' ';  in PetscOptionsInsertFilePetsc()
518             PetscCall(PetscSegBufferGet(vseg, len + 3, &vstring));  in PetscOptionsInsertFilePetsc()
519             vstring[0] = '"';  in PetscOptionsInsertFilePetsc()
520             PetscCall(PetscArraycpy(vstring + 1, tokens[1], len));  in PetscOptionsInsertFilePetsc()
521             vstring[len + 1] = '"';  in PetscOptionsInsertFilePetsc()
522             vstring[len + 2] = ' ';  in PetscOptionsInsertFilePetsc()
560       PetscCall(PetscSegBufferGet(vseg, 1, &vstring));  in PetscOptionsInsertFilePetsc()
561       vstring[0] = 0;  in PetscOptionsInsertFilePetsc()
580     vstring = packed + acnt + 1;  in PetscOptionsInsertFilePetsc()
594   if (cnt) PetscCall(PetscOptionsInsertString_Private(options, vstring, PETSC_OPT_FILE));  in PetscOptionsInsertFilePetsc()