diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-05-02 10:04:52 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-05-02 10:04:52 +0200 |
| commit | e224022a4887029ed099a265a8e3c71c84d67556 (patch) | |
| tree | 4bf9435959de777ad520ab6768fe8293c3e14012 /doc | |
| parent | 37a609c01f48883b68500571fa2559e9932ecfa1 (diff) | |
| download | compcert-e224022a4887029ed099a265a8e3c71c84d67556.tar.gz compcert-e224022a4887029ed099a265a8e3c71c84d67556.zip | |
Reject arrays of incomplete type (#90)
The type of array elements must be complete.
Bug 23341
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions