[PATCH] D104550: [analyzer] Implement getType for SVal

[Kristóf Umann via Phabricator via cfe-commits]

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