This is an experience report with talks, demos, and Q&A by the authors of the Clang-based implementation of Herb Sutter’s
Lifetime safety profile for the C++ Core Guidelines, available online at
cppx.godbolt.org.
We will cover the kinds of diagnoses supported by the checker and how they are implemented using Clang’s type trees and control flow graphs, including use-after-invalidation (dangling) and null-dereference compile-time diagnostics for pointers, iterators, views, and more. We will also summarize early experience with performance against real-world code bases, including compile time performance and initial analysis results from compiling LLVM sources with the checker.
Also, if you try the online compiler and have questions about why any examples are flagged or not flagged, you can bring them and ask the implementers!