diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-08-27 18:07:15 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-09-20 12:03:55 +0200 |
| commit | e7b938f620ddc1e10542727f7ec142f47f7090bf (patch) | |
| tree | f03c510aa83b5bd5fe226402ec3750e4662ca805 /coq | |
| parent | d9e1175be2e713232d06c80e9aed33032858e9c7 (diff) | |
| download | compcert-kvx-e7b938f620ddc1e10542727f7ec142f47f7090bf.tar.gz compcert-kvx-e7b938f620ddc1e10542727f7ec142f47f7090bf.zip | |
Check ptr arithmetic for ++ and --
Also: improve check for ptr - integer.
(Added by Xavier Leroy <xavier.leroy@college-de-france.fr>)
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions