Re:The C Bounded Model Checker: Criminally Underused
by WalterBright on Wednesday January 31, 2024 @02:37AM
(#39201116)
There are different ways to count lines. I included in the C parser count the comment lines.
6000 is also a round number, I did that deliberately to imply the number was not exact.
Re:The C Bounded Model Checker: Criminally Underused
by lifthrasiir on Wednesday January 31, 2024 @03:56AM
(#39201580)
A new generated code alone is 4000 lines long [1]. The actual code added is just 2000 lines, and some are used to pay debts, I mean, to make a proper code generator. It is debatable whether that generator should count in the number of lines, since you can always write a generator in a simpler scripting language (for example, Rust uses Python to generate the `unicode-xid` crate). In any case however it is far less complex and, in my opinion, much smaller than the entire C parser proper.
[1] https://github.com/dlang/dmd/pull/15307/files#diff-3677bcc89...
I wondered if you were implementing a normalization (which is complicated), but that doesn't seem the case? I have read the PR and it's clear that it solves multiple issues at once: no start-continue distinction (bug), a code generator, the table itself (which is just an inefficiently formatted block of data). 6000 lines of code just for Unicode identifiers are simply an exaggeration.