diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-23 17:22:33 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-26 18:44:22 +0100 |
| commit | 73551e058a850297bc72924a69b39affcfa49dfa (patch) | |
| tree | 2a461533d1655004bc47f73af3ae4b2359c4acfa /runtime | |
| parent | d851af2536a093d9ff257df55a3a67a0f381a6b6 (diff) | |
| download | compcert-kvx-73551e058a850297bc72924a69b39affcfa49dfa.tar.gz compcert-kvx-73551e058a850297bc72924a69b39affcfa49dfa.zip | |
C parser: handle other built-in types than __builtin_va_list
All the built-in types declared in $ARCH/CBuiltins.ml are now recognized
as type names initially.
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions