Gilles Peskine 23b4096ecf
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-17 20:45:39 +01:00
2020-08-19 10:35:41 +02:00
2021-10-28 14:28:53 +02:00
2020-06-26 18:31:26 +02:00
2021-07-22 19:45:12 +02:00
2020-08-19 10:35:41 +02:00
2020-12-10 21:30:01 +01:00
2021-11-17 20:45:39 +01:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2021-05-25 19:35:17 +02:00
2021-01-20 12:03:24 +01:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2021-11-09 12:06:37 +01:00
2021-09-14 11:28:22 +02:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2021-09-27 20:01:08 +02:00
2021-09-27 20:01:08 +02:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2020-12-10 23:16:03 +01:00
2021-03-24 09:26:44 +01:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2020-12-10 21:30:08 +01:00
2021-05-25 19:31:21 +02:00
2020-08-19 10:35:41 +02:00
2021-05-05 17:59:15 +02:00
2020-08-19 10:35:41 +02:00
23b4096ecf