NoQ added a comment. Interesting, what specific goals do you have here? Are you planning to find specific bugs (eg. force-unwrap to a wrong type) or just to model the semantics? In the latter case, have you explored the possibility of force-inlining the class instead, like I suggested in the thread? Have you found a reasonable amount of code that uses `std::variant`, to test your checker on?
================ Comment at: clang/include/clang/StaticAnalyzer/Checkers/Checkers.td:312 + } // end "alpha.core" ---------------- Maybe `alpha.cplusplus`? 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
