Szelethus added a comment. This is not an urgent, but still a very important issue: `SVal` is likely among the first things a new developer in the analyzer sees. Its common around the university here that some students barely halfway through their BSc are given smaller tasks, like the implementation of a checker in the static analyzer. Instead of
// Try to get a reasonable type for the given value. Maybe we should tell why this might fail, why its not just a type but a best effort, etc. Despite being in the analyzer for so long, I don't have anything anything meaningful to add just yet :) Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D104550/new/ https://reviews.llvm.org/D104550 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits