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 /LICENSE | |
| parent | 1a02cbf4746bcbd059c35613d4a71cd127fbfa13 (diff) | |
| download | compcert-5c88ca36f5225231cc595fe0352c50a9e9fe83a2.tar.gz compcert-5c88ca36f5225231cc595fe0352c50a9e9fe83a2.zip | |
Catch initialization of arrays with single expressions, bug 18000
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions