diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-03-27 16:58:38 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-03-27 16:58:38 +0200 |
| commit | 96abbcd8f25f03352ff397c2dd442015269722b8 (patch) | |
| tree | 317386fd16faf3cc279248af63c3aa36112b3e79 /cparser/Bitfields.ml | |
| parent | 3837216731df1417eeb8885d472ffbd8f87fa144 (diff) | |
| download | compcert-96abbcd8f25f03352ff397c2dd442015269722b8.tar.gz compcert-96abbcd8f25f03352ff397c2dd442015269722b8.zip | |
Arrays should decay to pointers (#65)
Arrays should decay to pointers except if they are used as operands of sizeof, _Alignof or as
operand of the unary &. The "comma" sequencing operator was missing a "decay" on the type of its second argument. All other operators "decay" their operands correctly.
Bug 23299
Bug 23311
Diffstat (limited to 'cparser/Bitfields.ml')
0 files changed, 0 insertions, 0 deletions