diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-11-13 15:42:25 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-11-13 15:42:25 +0100 |
commit | 9f0fcc2c52d136fb8891f1ce2e135bdb1273df19 (patch) | |
tree | 0a536a5e755514cad2acfad746282cadf7f8926c /cparser/GCC.mli | |
parent | 3f24b362f5ac2aa252ee14f1b793ebbf2f69ff08 (diff) | |
download | compcert-9f0fcc2c52d136fb8891f1ce2e135bdb1273df19.tar.gz compcert-9f0fcc2c52d136fb8891f1ce2e135bdb1273df19.zip |
Issue #71: incorrect initialization of wchar_t arrays from wide string literal
Regression test added in regression/initializers.c
Diffstat (limited to 'cparser/GCC.mli')
0 files changed, 0 insertions, 0 deletions