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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions