diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-04-27 15:38:16 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-05-07 17:05:40 +0200 |
| commit | 6657ff7f757d22ad70fe13458f8e7eb76698ac6b (patch) | |
| tree | 6e4572e6216bd11a3d3b6959cde95d2870c9cbdb /cparser/Diagnostics.mli | |
| parent | f0857720ae2be7f73c43f462a4a0f47ad20b5750 (diff) | |
| download | compcert-kvx-6657ff7f757d22ad70fe13458f8e7eb76698ac6b.tar.gz compcert-kvx-6657ff7f757d22ad70fe13458f8e7eb76698ac6b.zip | |
Warning for comparison of incomplete pointers.
The C standards says that either both types must be pointer to
complete compatible or incomplete compatible types.
Bug 23631
Diffstat (limited to 'cparser/Diagnostics.mli')
0 files changed, 0 insertions, 0 deletions