diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-04-05 13:44:54 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-04-05 13:44:54 +0200 |
commit | 5c88ca36f5225231cc595fe0352c50a9e9fe83a2 (patch) | |
tree | 3c3075bebf8c5ffc9592fcd77467b36a448118cf /cparser/Cerrors.ml | |
parent | 1a02cbf4746bcbd059c35613d4a71cd127fbfa13 (diff) | |
download | compcert-5c88ca36f5225231cc595fe0352c50a9e9fe83a2.tar.gz compcert-5c88ca36f5225231cc595fe0352c50a9e9fe83a2.zip |
Catch initialization of arrays with single expressions, bug 18000
Diffstat (limited to 'cparser/Cerrors.ml')
0 files changed, 0 insertions, 0 deletions