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 /tools | |
parent | d9e1175be2e713232d06c80e9aed33032858e9c7 (diff) | |
download | compcert-e7b938f620ddc1e10542727f7ec142f47f7090bf.tar.gz compcert-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 'tools')
0 files changed, 0 insertions, 0 deletions