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
..
2020-08-19 10:35:41 +02:00
2021-11-17 14:09:57 +01:00
2020-06-26 18:31:26 +02:00
2021-07-22 12:30:14 +02:00
2020-08-19 10:35:41 +02:00
2020-12-10 21:30:01 +01:00
2021-11-25 20:51:52 +01:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2021-07-01 11:13:29 +02:00
2021-01-20 12:03:24 +01:00
2021-06-28 09:28:33 +01:00
2021-06-28 09:28:33 +01:00
2021-06-28 09:28:33 +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
2021-11-10 20:55:35 +01:00
2021-10-27 11:45:57 +02:00
2020-08-19 10:35:41 +02:00
2021-06-28 09:28:33 +01:00
2021-08-17 12:44:16 +01:00
2021-08-16 10:37: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-12-10 23:16:03 +01:00
2021-06-28 09:28:33 +01:00
2020-08-19 10:35:41 +02:00
2021-06-28 09:28:33 +01:00
2020-12-10 21:30:08 +01:00
2021-11-17 18:06:04 +01:00
2021-05-25 19:39:02 +02:00
2020-08-19 10:35:41 +02:00
2021-06-28 09:28:33 +01:00
2021-09-03 13:30:44 +01:00
2020-08-19 10:35:41 +02:00