max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(library/compiler/emit_cpp): another bug in emit_quoted_string

Browse source
This commit is contained in:
Leonardo de Moura 2019-02-01 14:59:51 -08:00
parent 8c1d6c49c5
commit 6e8f8a8cdc
1 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
src/library/compiler/emit_cpp.cpp
View file

@ -240,24 +240,24 @@ static void emit_file_header(std::ostream & out, module_name const & m, list<mod
static void emit_hexdigit(std::ostream & out, unsigned char c) {
lean_assert(c < 16);
if (c < 10) {
out << c;
out << static_cast<char>('0' + c);
} else {
out << 'a' + (c - 10);
out << static_cast<char>('a' + (c - 10));
}
}
static void emit_quoted_string(std::ostream & out, std::string const & s) {
for (unsigned i = 0; i < s.size(); i++) {
unsigned char c = s[i];
if (c == '\n')
if (c == '\n') {
out << "\\n";
else if (c == '\t')
} else if (c == '\t') {
out << "\\t";
else if (c == '\\')
} else if (c == '\\') {
out << "\\\\";
else if (c == '\"')
} else if (c == '\"') {
out << "\\\"";
else if (c <= 31 || c >= 0x7f) {
} else if (c <= 31 || c >= 0x7f) {
out << "\\x"; emit_hexdigit(out, c / 16); emit_hexdigit(out, c % 16);
} else {
out << c;