1201 PetscErrorCode PetscOptionsSetAlias(PetscOptions options, const char newname[], const char oldname[…  in PetscOptionsSetAlias()  argument
1208   PetscAssertPointer(oldname, 3);  in PetscOptionsSetAlias()
1212   PetscCall(PetscOptionsValidKey(oldname, &valid));  in PetscOptionsSetAlias()
1213   PetscCheck(valid, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Invalid aliasee option %s", oldname);  in PetscOptionsSetAlias()
1231   oldname++;  in PetscOptionsSetAlias()
1235   PetscCall(PetscStrlen(oldname, &len));  in PetscOptionsSetAlias()
1237   PetscCall(PetscStrncpy(options->aliases2[options->Na], oldname, len + 1));  in PetscOptionsSetAlias()
3322 …ptionsDeprecated_Private(PetscOptionItems PetscOptionsObject, const char oldname[], const char new…  in PetscOptionsDeprecated_Private()  argument
3333   PetscAssertPointer(oldname, 2);  in PetscOptionsDeprecated_Private()
3340   PetscCall(PetscOptionsFindPair(options, prefix, oldname, &value, &found));  in PetscOptionsDeprecated_Private()
3352       PetscCall(PetscOptionsClearValue(options, oldname));  in PetscOptionsDeprecated_Private()
3359       PetscCall(PetscStrlcat(msg, oldname + 1, sizeof(msg)));  in PetscOptionsDeprecated_Private()