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 /arm/AsmToJSON.mli | |
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 'arm/AsmToJSON.mli')
0 files changed, 0 insertions, 0 deletions