C++: Implement use-after-free and double-free queries using the new IR use-use dataflow
DiagnosticsStream