1928   PetscOptions toptions;  in PetscOptionsLeft()  local
1931   toptions = options ? options : defaultoptions;  in PetscOptionsLeft()
1932   for (i = 0; i < toptions->N; i++) {  in PetscOptionsLeft()
1933     if (!toptions->used[i]) {  in PetscOptionsLeft()
1934       if (PetscCIOption(toptions->names[i])) continue;  in PetscOptionsLeft()
1935       if (toptions->values[i]) {  in PetscOptionsLeft()
1936 …n left: name:-%s value: %s source: %s\n", toptions->names[i], toptions->values[i], PetscOptionSour…  in PetscOptionsLeft()
1938 …LD, "Option left: name:-%s (no value) source: %s\n", toptions->names[i], PetscOptionSources[toptio…  in PetscOptionsLeft()
1943     toptions = defaultoptions;  in PetscOptionsLeft()
1944     while (toptions->previous) {  in PetscOptionsLeft()
1946       toptions = toptions->previous;  in PetscOptionsLeft()