Turns out 5bc7361d2a4244062039f4b52618f07b88c4632f did not completely fix #71, but only did so in places were declarations are not allowed (i.e., after labels).
This fixes it in a more general setting by no longer allowing decl_spec_list consisting of only an attribute to parse to declaration via decl_spec_list SEMICOLON.
Turns out 5bc7361d2a4244062039f4b52618f07b88c4632f did not completely fix #71, but only did so in places were declarations are not allowed (i.e., after labels).
This fixes it in a more general setting by no longer allowing
decl_spec_listconsisting of only an attribute to parse todeclarationviadecl_spec_list SEMICOLON.This fixes all warnings in https://github.com/goblint/bench/issues/16.