Szelethus added a comment. While we were there, we also dug into `std::any`, and learned that the analyzer can model it shockingly well. Hopefully we can submit a few patches that demonstrates it in a form of some test files.
In D142354#4079758 <https://reviews.llvm.org/D142354#4079758>, @steakhal wrote: > I would be interested in some of the free-functions dealing with variants, > such as `std::visit()`. https://godbolt.org/z/bbocrz4dG > I hope that's also on the radar. Thank you so much!! We definitely intend to work on this issue, and haven't thought of it before your suggestion. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D142354/new/ https://reviews.llvm.org/D142354 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
