Some excellent new error diagnostics from gcc with -fanalyze: https://developers.redhat.com/blog/2020/03/26/static-analysis-in-gcc-10/ The multi-function analysis reminds me of Infer, and the cute nested ASCII display resembles rustc.