[PATCH] D135763: [analyzer] Workaround crash on encountering Class non-type template parameters

Wed Oct 12 23:28:23 PDT 2022

steakhal added a comment.

In D135763#3853746 <https://reviews.llvm.org/D135763#3853746>, @xazax.hun wrote:

> This change look good to me. I am not entirely sure about the future plans though.

Me neither. That was just a thought.

> We should be able to read the values out from the AST, so we do not need the store to map memregions to values (as far as the values inside the object are concerned).

That's true.

> How to deal with the address of such object is a good question, but a special symbol or constant might be an alternative to introducing memregions.

I'm not sure if we should introduce more and more special cases.
We should experiment with some ideas, that's for sure.

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D135763/new/

https://reviews.llvm.org/D135763