diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2022-10-31 11:03:13 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-11-05 15:22:31 +0100 |
| commit | e637a49e7a963683a4337b742c0adc0e1f93f139 (patch) | |
| tree | 4e37506a73b3679c61189696c52d6150ae6c4580 /cparser/Unblock.ml | |
| parent | ccfeebf91784ab34f3aacaf495c59667b9ec98b6 (diff) | |
| download | compcert-e637a49e7a963683a4337b742c0adc0e1f93f139.tar.gz compcert-e637a49e7a963683a4337b742c0adc0e1f93f139.zip | |
Replace CR, FF and VT with whitespace.
We use Printlines to copy C code fragments to assembly comments.
While CR, FF and VT are treated like whitespace by C, they could
possibly mess up the assembly comments if copied verbatim.
Moreover, this avoids generating CR CR LF end-of-lines under Windows.
Bug 34075
Diffstat (limited to 'cparser/Unblock.ml')
0 files changed, 0 insertions, 0 deletions