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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
