diff options
author | Michael Meskes | 2013-07-06 20:08:53 +0000 |
---|---|---|
committer | Michael Meskes | 2013-07-06 20:12:14 +0000 |
commit | 6dc4e62d0457b42969732aae0651a4bf25565ad5 (patch) | |
tree | 9c272402e933b2b1f63cef3befe780ec000939a9 | |
parent | 456d37a0bfaf22ecd5c7e86778595278b32f43f8 (diff) |
Also escape double quotes for ECPG's #line statement.
-rw-r--r-- | src/interfaces/ecpg/preproc/output.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interfaces/ecpg/preproc/output.c b/src/interfaces/ecpg/preproc/output.c index 7e375aafafb..7bfa201f032 100644 --- a/src/interfaces/ecpg/preproc/output.c +++ b/src/interfaces/ecpg/preproc/output.c @@ -95,7 +95,7 @@ hashline_number(void) #endif ) { - /* "* 2" here is for escaping \s below */ + /* "* 2" here is for escaping '\' and '"' below */ char *line = mm_alloc(strlen("\n#line %d \"%s\"\n") + sizeof(int) * CHAR_BIT * 10 / 3 + strlen(input_filename) * 2); char *src, *dest; @@ -105,7 +105,7 @@ hashline_number(void) dest = line + strlen(line); while (*src) { - if (*src == '\\') + if (*src == '\\' || *src == '"') *dest++ = '\\'; *dest++ = *src++; } |