diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-08-21 10:18:56 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-08-21 10:18:56 +0200 |
| commit | 32c34a37e913b856e0267ad8c7ca6e65b96c0b23 (patch) | |
| tree | 92705f910dbb288e5b67a86bec40ecc14a039810 /driver/Linker.ml | |
| parent | a773dca6ddd1bca6b4780ea9387ab96deb001da8 (diff) | |
| download | compcert-kvx-32c34a37e913b856e0267ad8c7ca6e65b96c0b23.tar.gz compcert-kvx-32c34a37e913b856e0267ad8c7ca6e65b96c0b23.zip | |
Diagnostic for wrong application of restrict (#119)
Restrict is only allowed for pointers whose referenced type is an
object type or incomplete type, but not a function type.
Bug 23397
Diffstat (limited to 'driver/Linker.ml')
0 files changed, 0 insertions, 0 deletions