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 /lib/Responsefile.mli | |
parent | a773dca6ddd1bca6b4780ea9387ab96deb001da8 (diff) | |
download | compcert-32c34a37e913b856e0267ad8c7ca6e65b96c0b23.tar.gz compcert-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 'lib/Responsefile.mli')
0 files changed, 0 insertions, 0 deletions