C front-end: fallthrough and fallthrough are the same attribute#5730

Merged

kroening merged 1 commit intodiffblue:developfrom

tautschnig:attribute-fallthrough

Mar 15, 2021

Commits on Mar 15, 2021

C front-end: fallthrough and __fallthrough__ are the same attribute
tautschnig
committed