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 /backend/Linearize.v | |
parent | f0857720ae2be7f73c43f462a4a0f47ad20b5750 (diff) | |
download | compcert-6657ff7f757d22ad70fe13458f8e7eb76698ac6b.tar.gz compcert-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 'backend/Linearize.v')
0 files changed, 0 insertions, 0 deletions