Fix string litteral parsing

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2490 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 4 insertions, 1 deletions

diff --git a/cparser/Lexer.mll b/cparser/Lexer.mll
index 7066213..e4cb9a6 100644
--- a/cparser/Lexer.mll
+++ b/cparser/Lexer.mll
@@ -250,7 +250,7 @@ rule initial = parse
                                          match suffix with
                                          | None -> None
                                          | Some c -> Some (String.make 1 c) },
-                                      currentLoc lexbuf)}
+                                      currentLoc lexbuf) }
   | hexadecimal_floating_constant { CONSTANT (Cabs.CONST_FLOAT
                                       {Cabs.isHex_FI = true;
                                        Cabs.integer_FI = intpart;
@@ -313,6 +313,9 @@ rule initial = parse
         try Hashtbl.find lexicon id (currentLoc lexbuf)
         with Not_found -> VAR_NAME (id, ref VarId, currentLoc lexbuf) }
   | eof                           { EOF }
+  | '"' ("" | 'L') s_char* '\\' (_ as c) {
+      Cerrors.fatal_error "%s:%d Error:@ invalid escape sequence in string litteral %S"
+        lexbuf.lex_curr_p.pos_fname lexbuf.lex_curr_p.pos_lnum (Printf.sprintf "\\%c" c) }
   | _ as c                        {
       Cerrors.fatal_error "%s:%d Error:@ invalid symbol %C"
         lexbuf.lex_curr_p.pos_fname lexbuf.lex_curr_p.pos_lnum c }