https://bugs.llvm.org/show_bug.cgi?id=35620
Dimitry Andric <[email protected]> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |DUPLICATE
Status|NEW |RESOLVED
--- Comment #2 from Dimitry Andric <[email protected]> ---
Yes, if this is about the lambda here:
https://github.com/esbmc/esbmc/blob/master/src/solvers/smt/smt_conv.cpp#L406
then it is definitely the same segfault as bug 35555.
*** This bug has been marked as a duplicate of bug 35555 ***
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
[email protected]
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
