diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-02-29 15:43:07 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-02-29 15:43:07 +0100 |
| commit | f36085613562e0b08945e9103e00fbc5908ae0da (patch) | |
| tree | 50c96371b2f551c66e85e659a0b460f1cf217ad4 /LICENSE | |
| parent | 4afa3167a76c5cf69e04fa5faae45824158d08bc (diff) | |
| download | compcert-f36085613562e0b08945e9103e00fbc5908ae0da.tar.gz compcert-f36085613562e0b08945e9103e00fbc5908ae0da.zip | |
Relaxing the semantics of pointer arithmetic.
Support <pointer> +/- <integer> where the pointer value is actually an integer (Vint) that has been converted to pointer type.
Such arithmetic, while not defined in ISO C, appears in the wild. If present in static initializers, it used to cause a compile-time failure ("not a compile-time constant"). Hence this relaxation.
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions