patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Fixed segfault occurring with accidentally unnamed variables.

Browse Source
This commit is contained in:
Patrick Lühne 2017-06-21 16:48:43 +02:00
parent 17985e3b5a
commit ec8007125f
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
lib/pddlparse/src/pddlparse/detail/parsing/VariableDeclaration.cpp
View File

@ -21,8 +21,15 @@ void parseAndAddUntypedVariableDeclaration(Context &context, ast::VariableDeclar
auto &tokenizer = context.tokenizer;
tokenizer.expect<std::string>("?");
const auto position = tokenizer.position();
auto variableName = tokenizer.getIdentifier();
assert(variableName != "-");
if (variableName == "" || variableName == "-")
{
tokenizer.seek(position);
throw ParserException(tokenizer.location(), "could not parse variable name");
}
variableDeclarations.emplace_back(std::make_unique<ast::VariableDeclaration>(std::move(variableName)));
}