Skip to content

[CommandLine] Better report unknown subcommands #74811

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Dec 14, 2023
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
67 changes: 51 additions & 16 deletions llvm/lib/Support/CommandLine.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -324,6 +324,13 @@ class CommandLineParser {
return false;
}

bool hasNamedSubCommands() const {
for (const auto *S : RegisteredSubCommands)
if (!S->getName().empty())
return true;
return false;
}

SubCommand *getActiveSubCommand() { return ActiveSubCommand; }

void updateArgStr(Option *O, StringRef NewName, SubCommand *SC) {
Expand Down Expand Up @@ -425,7 +432,7 @@ class CommandLineParser {
return nullptr;
return Opt;
}
SubCommand *LookupSubCommand(StringRef Name);
SubCommand *LookupSubCommand(StringRef Name, std::string &NearestString);
};

} // namespace
Expand Down Expand Up @@ -550,9 +557,12 @@ Option *CommandLineParser::LookupOption(SubCommand &Sub, StringRef &Arg,
return I->second;
}

SubCommand *CommandLineParser::LookupSubCommand(StringRef Name) {
SubCommand *CommandLineParser::LookupSubCommand(StringRef Name,
std::string &NearestString) {
if (Name.empty())
return &SubCommand::getTopLevel();
// Find a subcommand with the edit distance == 1.
SubCommand *NearestMatch = nullptr;
for (auto *S : RegisteredSubCommands) {
if (S == &SubCommand::getAll())
continue;
Expand All @@ -561,7 +571,14 @@ SubCommand *CommandLineParser::LookupSubCommand(StringRef Name) {

if (StringRef(S->getName()) == StringRef(Name))
return S;

if (!NearestMatch && S->getName().edit_distance(Name) < 2)
NearestMatch = S;
}

if (NearestMatch)
NearestString = NearestMatch->getName();

return &SubCommand::getTopLevel();
}

Expand Down Expand Up @@ -1527,10 +1544,14 @@ bool CommandLineParser::ParseCommandLineOptions(int argc,

int FirstArg = 1;
SubCommand *ChosenSubCommand = &SubCommand::getTopLevel();
if (argc >= 2 && argv[FirstArg][0] != '-') {
std::string NearestSubCommandString;
bool MaybeNamedSubCommand =
argc >= 2 && argv[FirstArg][0] != '-' && hasNamedSubCommands();
if (MaybeNamedSubCommand) {
// If the first argument specifies a valid subcommand, start processing
// options from the second argument.
ChosenSubCommand = LookupSubCommand(StringRef(argv[FirstArg]));
ChosenSubCommand =
LookupSubCommand(StringRef(argv[FirstArg]), NearestSubCommandString);
if (ChosenSubCommand != &SubCommand::getTopLevel())
FirstArg = 2;
}
Expand Down Expand Up @@ -1687,21 +1708,35 @@ bool CommandLineParser::ParseCommandLineOptions(int argc,
}

if (!Handler) {
if (SinkOpts.empty()) {
*Errs << ProgramName << ": Unknown command line argument '" << argv[i]
<< "'. Try: '" << argv[0] << " --help'\n";

if (NearestHandler) {
// If we know a near match, report it as well.
*Errs << ProgramName << ": Did you mean '"
<< PrintArg(NearestHandlerString, 0) << "'?\n";
}

ErrorParsing = true;
} else {
if (!SinkOpts.empty()) {
for (Option *SinkOpt : SinkOpts)
SinkOpt->addOccurrence(i, "", StringRef(argv[i]));
continue;
}

auto ReportUnknownArgument = [&](bool IsArg,
StringRef NearestArgumentName) {
*Errs << ProgramName << ": Unknown "
<< (IsArg ? "command line argument" : "subcommand") << " '"
<< argv[i] << "'. Try: '" << argv[0] << " --help'\n";

if (NearestArgumentName.empty())
return;

*Errs << ProgramName << ": Did you mean '";
if (IsArg)
*Errs << PrintArg(NearestArgumentName, 0);
else
*Errs << NearestArgumentName;
*Errs << "'?\n";
};

if (i > 1 || !MaybeNamedSubCommand)
ReportUnknownArgument(/*IsArg=*/true, NearestHandlerString);
else
ReportUnknownArgument(/*IsArg=*/false, NearestSubCommandString);

ErrorParsing = true;
continue;
}

Expand Down
30 changes: 30 additions & 0 deletions llvm/unittests/Support/CommandLineTest.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -2244,4 +2244,34 @@ TEST(CommandLineTest, HelpWithSubcommands) {
cl::ResetCommandLineParser();
}

TEST(CommandLineTest, UnknownCommands) {
cl::ResetCommandLineParser();

StackSubCommand SC1("foo", "Foo subcommand");
StackSubCommand SC2("bar", "Bar subcommand");
StackOption<bool> SC1Opt("put", cl::sub(SC1));
StackOption<bool> SC2Opt("get", cl::sub(SC2));
StackOption<bool> TopOpt1("peek");
StackOption<bool> TopOpt2("set");

std::string Errs;
raw_string_ostream OS(Errs);

const char *Args1[] = {"prog", "baz", "--get"};
EXPECT_FALSE(
cl::ParseCommandLineOptions(std::size(Args1), Args1, StringRef(), &OS));
EXPECT_EQ(Errs,
"prog: Unknown subcommand 'baz'. Try: 'prog --help'\n"
"prog: Did you mean 'bar'?\n"
"prog: Unknown command line argument '--get'. Try: 'prog --help'\n"
"prog: Did you mean '--set'?\n");

// Do not show a suggestion if the subcommand is not similar to any known.
Errs.clear();
const char *Args2[] = {"prog", "faz"};
EXPECT_FALSE(
cl::ParseCommandLineOptions(std::size(Args2), Args2, StringRef(), &OS));
EXPECT_EQ(Errs, "prog: Unknown subcommand 'faz'. Try: 'prog --help'\n");
}

} // anonymous namespace