Expand description
C++’s semantic diagnostics: conservative unrecognized-type reporting.
The pass only fires where it can prove what a translation unit sees: a
compile_commands.json entry with no forced or system includes, an
#include closure of quoted project headers that all parse cleanly, and no
preprocessor conditionals or macro definitions anywhere in that closure. Any
of those gives up and reports nothing, because the alternative is to
second-guess a preprocessor this analyzer does not run.
analyzer/cpp/diagnostics.rs in brokk-bifrost-analysis keeps only the
fixtures that build a real CppAnalyzer; the SemanticDiagnosticReport
wrapper IAnalyzer::semantic_diagnostics returns stays on the analyzer.