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

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

steakhal added a comment.

This patch broke the `exploded-graph-rewriter`.
It prints this stack-trace, when I'm using the b032e3ff6121a969b2e90ad7bf493c2d5d7ac3a2 <https://reviews.llvm.org/rGb032e3ff6121a969b2e90ad7bf493c2d5d7ac3a2>. The issue is still present at main.

  Traceback (most recent call last):
    File "/home/user/git/llvm-project/clang/utils/analyzer/exploded-graph-rewriter.py", line 1054, in <module>
      main()
    File "/home/user/git/llvm-project/clang/utils/analyzer/exploded-graph-rewriter.py", line 1033, in main
      graph.add_raw_line(raw_line)
    File "/home/user/git/llvm-project/clang/utils/analyzer/exploded-graph-rewriter.py", line 395, in add_raw_line
      self.nodes[node_id].construct(node_id, json_node)
    File "/home/user/git/llvm-project/clang/utils/analyzer/exploded-graph-rewriter.py", line 322, in construct
      self.state = ProgramState(json_node['state_id'],
    File "/home/user/git/llvm-project/clang/utils/analyzer/exploded-graph-rewriter.py", line 303, in __init__
      if json_ps['index_of_element'] is not None else None
  KeyError: 'index_of_element'

Unfortunately, I cannot share the egraph for reproduction, but I believe the trace should be enough for fixing this.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D127973