diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-04-05 15:11:56 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-04-05 15:11:56 +0200 |
commit | 777e6204ef99436cb315e7c914709e4a334f0066 (patch) | |
tree | 4ca5e784851a1ad62b113571f055da40e2f794d5 /cfrontend | |
parent | adbefdc338c921f1b05dcf4996d32a3ca8b5f486 (diff) | |
download | compcert-777e6204ef99436cb315e7c914709e4a334f0066.tar.gz compcert-777e6204ef99436cb315e7c914709e4a334f0066.zip |
Error for subtraction arithmetic type - pointer type (#73)
Substraction is only allowed for pointer - pointer,
pointer - arithmetic or arithmetic - arithmetic. This also leads
to a retyping error later.
Bug 23357
Diffstat (limited to 'cfrontend')
0 files changed, 0 insertions, 0 deletions