Closed michael-schwarz closed 2 years ago
Fixes #76. In later declarations attributes may appear without leading parenthesis. A naive fix would introduce tons of conflicts once again.
The fix here is imported from the (absorbed) CIL fork used by Frama-C (allowed by the license of the components that used to be part of frontc/CIL) at https://git.frama-c.com/pub/frama-c/-/blob/master/src/kernel_internals/parsing/cparser.mly.
frontc
Fixes #76. In later declarations attributes may appear without leading parenthesis. A naive fix would introduce tons of conflicts once again.
The fix here is imported from the (absorbed) CIL fork used by Frama-C (allowed by the license of the components that used to be part of
frontc/CIL) at https://git.frama-c.com/pub/frama-c/-/blob/master/src/kernel_internals/parsing/cparser.mly.