Gilles Peskine f303c0ddeb Fix several bugs with multiline comments
Empty the current line if it's entirely inside a comment.

Don't incorrectly end a block comment at the second line if it doesn't
contain `*/`.

Recognize `/*` to start a multiline comment even if it isn't at the start of
the line.

When stripping off comments, consistently strip off `/*` and `*/`.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
2021-11-25 20:51:52 +01:00
..
2021-10-25 13:16:04 +01:00
2021-09-03 13:19:57 +01:00
2021-10-27 11:45:57 +02:00
2021-11-24 01:54:50 +00:00