alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

parsetl: remove a superfluous diagnostic on some erroneous input

Browse source 
* tests/core/neverclaimread.test: Adjust and remove FIXME.
* spot/parsetl/parsetl.yy (try_recursive_parse): Return false
on empty string.
This commit is contained in:
Alexandre Duret-Lutz 2022-05-06 13:58:52 +02:00
parent 4a2bdd6e86
commit ef9267a58e
2 changed files with 1 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/parsetl/parsetl.yy
View file

@ -296,7 +296,7 @@ using namespace spot;
if (str.empty())
{
error_list.emplace_back(location, "unexpected empty block");
return nullptr;
return fnode::ff();
}
spot::parsed_formula pf;