diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-21 14:01:51 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-21 14:01:51 +0100 |
commit | 1e867c804ed11200c8ed1a55a71f416977249363 (patch) | |
tree | f2acbb3d45d27b403840ef35b38b0159285f2ab6 /cparser/Cerrors.ml | |
parent | a83df40c59f8b3c50581304fb6c0d3913acf15c7 (diff) | |
download | compcert-1e867c804ed11200c8ed1a55a71f416977249363.tar.gz compcert-1e867c804ed11200c8ed1a55a71f416977249363.zip |
Added check for large arrays.
The check tests whether the size calculation of an array overflows
or the array covers half of the available address space and reports
an error in this case.
Bug 21034
Diffstat (limited to 'cparser/Cerrors.ml')
0 files changed, 0 insertions, 0 deletions