diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-09-04 19:08:22 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-09-04 19:08:22 +0200 |
commit | 91f21889423c41bb46b8b25b510c71987cf6006b (patch) | |
tree | 0f39c51602d6d3947f35784c9eee8a10df3ae545 /common/Memdata.v | |
parent | 941c3f023f473731d5a3399d950c746d0cadf46a (diff) | |
download | compcert-91f21889423c41bb46b8b25b510c71987cf6006b.tar.gz compcert-91f21889423c41bb46b8b25b510c71987cf6006b.zip |
`_Generic` is a C11 feature, should trigger the corresponding warning if active
Diffstat (limited to 'common/Memdata.v')
0 files changed, 0 insertions, 0 deletions