[clang] [analyzer][NFC] Rework SVal kind representation (PR #71039)

Vlad Serebrennikov via cfe-commits cfe-commits at lists.llvm.org
Thu Nov 2 04:58:04 PDT 2023


Endilll wrote:

> I've considered this but I found the number of alternatives too large to make it feasible. Consider that we have 11 possible SValKinds, which would require 4 bits to encode. Requiring all Data pointers to be aligned as such seems rough - although not impossible.

Sorry, I missed the part that you can have 11 different types there. `alignas(16)` might not be unreasonable, but it depends and requires consideration.

> I'd say it's one baby step in that direction, but not the end of the journey. How about looking at this like that?

No objections to this point of view. I just wanted to make sure debugger struggles are brought up in the discussion and understood.

https://github.com/llvm/llvm-project/pull/71039


More information about the cfe-commits mailing list