diff options
| author | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2022-05-09 14:39:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-09 14:39:51 +0200 |
| commit | 1d572b330362711c808094333134ba94fcd7b768 (patch) | |
| tree | cc6e0c7fdf4fe12f5e6d5099fa7adf3174a2d862 /cparser/Lexer.mll | |
| parent | a4c98b19ccf5a72bfe551fd5b2f8689442a661a6 (diff) | |
| download | compcert-1d572b330362711c808094333134ba94fcd7b768.tar.gz compcert-1d572b330362711c808094333134ba94fcd7b768.zip | |
Fix the parsing of unprototyped function types in casts (#431)
Before, in casts, `int (*)()` was parsed like `int (*)(void)`.
This caused expressions like `((int (*)()) &f)(42)` to be rejected.
Declarations were correctly parsed.
Diffstat (limited to 'cparser/Lexer.mll')
0 files changed, 0 insertions, 0 deletions