blob: edbe8beb4b81577fc53d7508ec917fa15325a2c7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
*** ../cil.orig/src/frontc/clexer.mll 2006-05-21 06:14:15.000000000 +0200
--- ../cil/src/frontc/clexer.mll 2009-03-29 10:34:34.000000000 +0200
***************
*** 584,590 ****
| blank { hash lexbuf}
| intnum { (* We are seeing a line number. This is the number for the
* next line *)
! E.setCurrentLine (int_of_string (Lexing.lexeme lexbuf) - 1);
(* A file name must follow *)
file lexbuf }
| "line" { hash lexbuf } (* MSVC line number info *)
--- 584,595 ----
| blank { hash lexbuf}
| intnum { (* We are seeing a line number. This is the number for the
* next line *)
! let s = Lexing.lexeme lexbuf in
! begin try
! E.setCurrentLine (int_of_string s - 1)
! with Failure _ ->
! E.warn "Bad line number in preprocessed file: %s" s
! end;
(* A file name must follow *)
file lexbuf }
| "line" { hash lexbuf } (* MSVC line number info *)
|