On the D Blog: Using the GCC Static Analyzer on the D Programming Language

[max haughton]

On Friday, 14 January 2022 at 20:25:22 UTC, Dukc wrote:
> On Friday, 14 January 2022 at 13:37:11 UTC, Mike Parker wrote:
>> The Blog:
>> https://dlang.org/blog/2022/01/14/using-the-gcc-static-analyzer-on-the-d-programming-language/
>>
>> Reddit:
>> https://www.reddit.com/r/programming/comments/s3sh9p/using_the_gcc_static_analyzer_on_the_d/
>
> Wow, it looks like the analyzer is easy to use! If bloated in 
> it's error messages.

Better bloated than bad IMO. You'll notice that the GCC 
__backend__ can literally do a nicer error message than the D 
frontend. We should really have these for DIP1000, but the 
analysis just kind of happens as the compiler sees the code so 
doing these top-down views is quite hard.