aboutsummaryrefslogtreecommitdiffstats
path: root/flocq
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2017-02-21 14:01:51 +0100
committerBernhard Schommer <bernhardschommer@gmail.com>2017-02-21 14:01:51 +0100
commit1e867c804ed11200c8ed1a55a71f416977249363 (patch)
treef2acbb3d45d27b403840ef35b38b0159285f2ab6 /flocq
parenta83df40c59f8b3c50581304fb6c0d3913acf15c7 (diff)
downloadcompcert-kvx-1e867c804ed11200c8ed1a55a71f416977249363.tar.gz
compcert-kvx-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 'flocq')
0 files changed, 0 insertions, 0 deletions