diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-09-21 10:35:22 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-09-21 10:35:22 +0200 |
| commit | 55d08b039b9683eedd89e2dee17bc2a347057633 (patch) | |
| tree | 165694754c9e32e912af0268a58ee28f461cdf33 /.gitignore | |
| parent | 4414aaa31fe17d0e6bed88e708e134b7d4c09334 (diff) | |
| download | compcert-kvx-55d08b039b9683eedd89e2dee17bc2a347057633.tar.gz compcert-kvx-55d08b039b9683eedd89e2dee17bc2a347057633.zip | |
Error instead of warning on illegal escape sequences.
The previous behavior for illegal escape sequences (e.g. '\%') in character
and string literals was to emit an error, then treat "\x" as "x".
As reported by a user, this is dangerous, because the warning can go
unnoticed, and other compilers can treat "\x" as "\\x"
(backslash followed by 'x'). Better to error out.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions