diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-05-27 09:05:47 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-05-27 09:05:47 +0200 |
| commit | a5f96b68f8af673f7666658f796f2322b6b9da93 (patch) | |
| tree | 10690b73f3029a0940c8c20352ec7886702801b2 /common | |
| parent | 9dc1505c01a5748cdd5cac9d978645e2fbc0773c (diff) | |
| download | compcert-a5f96b68f8af673f7666658f796f2322b6b9da93.tar.gz compcert-a5f96b68f8af673f7666658f796f2322b6b9da93.zip | |
String literals are l-values and have array types (#116)
* Allow strings literals as lvalues.
Strings and WStrings literals are lvalues, thus it is allowed to take their
addresses.
Bug 23356.
* String literals have types "array of (wide) char", not "pointer to (wide) char"
The pointer types were a leftover from the early, CIL-based C frontend.
* Remove special case for sizeof("string literal") during elaboration
No longer needed now that literals have array types.
Diffstat (limited to 'common')
0 files changed, 0 insertions, 0 deletions