tree 3a3666bc646bda9e0af5a89ac948086bdb204969
parent b4b18c1155d93ead1436bba959a2f8920b9dce9a
author Gilles Peskine <Gilles.Peskine@arm.com> 1637178339 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1637869912 +0100

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>