diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2020-02-24 20:22:45 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-24 20:22:45 +0100 |
| commit | c7adc93617712acdde0ea81649eff11ada7d96b9 (patch) | |
| tree | 0f1171cf656dbde0b928d5bc1c1698c8acd0cae6 /riscV | |
| parent | 08efc2a09b850476e39469791650faf99dd06183 (diff) | |
| download | compcert-c7adc93617712acdde0ea81649eff11ada7d96b9.tar.gz compcert-c7adc93617712acdde0ea81649eff11ada7d96b9.zip | |
The type of a wide char constant is wchar_t. (#223)
See ISO C2011 standard, section 6.4.4.4 para 11.
Diffstat (limited to 'riscV')
0 files changed, 0 insertions, 0 deletions