[PATCH] D127973: [analyzer] Eval construction of non POD type arrays.

[Balázs Benics via Phabricator via cfe-commits]

steakhal added a comment.

In D127973#3751119 <https://reviews.llvm.org/D127973#3751119>, @isuckatcs wrote:

>> I had the time for reducing it. Luckily it wasn't that bad.
>
> This egraph doesn't contain an entry with key "index_of_element", which is strange.
>
> I still feel like I need a code snippet, which generates such egraph.

Oh, now I see why. The problem is probably because the version of clang I'm using is not the same as the rewrite script. For the latter I believe I'm using the latest one, hence it hes this change. Unlike with the clang I'm using, which doesn't emit this metadata.
I'm wondering if we should have a window for backward compatibility; There are a couple of places already where we check for the presence of some metadata and display it only if it exists.
Do you think it would be useful for this change as well?
Anyway, my bad for not recognizing the situation sooner. So, I'll just use the matching version of the rewriter. Problem solved for me.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D127973