diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-08-22 19:55:02 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-08-29 13:55:35 +0200 |
| commit | a2c0973bc94babb3f1a5d166e0bdf6a7d8fff94f (patch) | |
| tree | 2fcae4571fa1f3e80be86d043fda13a1436e27dd /cfrontend/Ctypes.v | |
| parent | 169007c52e27ce1fce6ca5fdd5fc7f43071b8841 (diff) | |
| download | compcert-a2c0973bc94babb3f1a5d166e0bdf6a7d8fff94f.tar.gz compcert-a2c0973bc94babb3f1a5d166e0bdf6a7d8fff94f.zip | |
Support mergeable sections for string literals and wide string literals
Note that strings containing null characters (code 0) cannot be put in
a mergeable section, as this will confuse the linker's merging criterion.
Diffstat (limited to 'cfrontend/Ctypes.v')
0 files changed, 0 insertions, 0 deletions