diff options
| author | Richard Stallman <rms@gnu.org> | 1993-01-02 04:27:50 +0000 |
|---|---|---|
| committer | Richard Stallman <rms@gnu.org> | 1993-01-02 04:27:50 +0000 |
| commit | d54d8150fe14e7e1f35d5d7e3141a1ca3d352b98 (patch) | |
| tree | e357624e20a495424ff5f3930eb92a7b3d338d92 | |
| parent | 98ed4b49d96b59fbfef2edab4eaf1441a5e14612 (diff) | |
| download | gcc-d54d8150fe14e7e1f35d5d7e3141a1ca3d352b98.zip gcc-d54d8150fe14e7e1f35d5d7e3141a1ca3d352b98.tar.gz gcc-d54d8150fe14e7e1f35d5d7e3141a1ca3d352b98.tar.bz2 | |
(stmt, FOR case): Do call position_after_white_space
after recording the current lineno for the increment.
From-SVN: r3051
| -rw-r--r-- | gcc/c-parse.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/c-parse.in b/gcc/c-parse.in index 4b8ec56..d436eed 100644 --- a/gcc/c-parse.in +++ b/gcc/c-parse.in @@ -1605,7 +1605,8 @@ stmt: clear_momentary during the parsing of the next stmt. */ push_momentary (); $<lineno>7 = lineno; - $<filename>8 = input_filename; } + $<filename>8 = input_filename; + position_after_white_space (); } lineno_labeled_stmt { /* Emit the increment expression, with a line number. */ emit_line_note ($<filename>8, $<lineno>7); |