diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-04-20 18:02:34 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-04-20 19:02:34 +0300 |
commit | 90f83fd516f625f21533c7c8d775bf630bbacdb5 (patch) | |
tree | ed52870ef65244b2356ab17a5876914621a7723f /backend/RTLtyping.v | |
parent | cdeece5cb3f3087baa641c41cc30ec34aa635edd (diff) | |
download | compcert-90f83fd516f625f21533c7c8d775bf630bbacdb5.tar.gz compcert-90f83fd516f625f21533c7c8d775bf630bbacdb5.zip |
Better check for incomplete types in pointer subtraction (#92)
In the case of pointer subtraction both side can be pointers, for
example if the difference between two array cells is calculated,
so we need to check that both sides have complete types.
Bug 23312
Diffstat (limited to 'backend/RTLtyping.v')
0 files changed, 0 insertions, 0 deletions