<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/63729>63729</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it)
</td>
</tr>
<tr>
<th>Labels</th>
<td>
new issue
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
irene23dm
</td>
</tr>
</table>
<pre>
THE ERROR
:~$ python3 prova.py
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
0 libConcretelangBindingsPythonCAPI.so 0x00007f6e7d7f0b91 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 225
1 libConcretelangBindingsPythonCAPI.so 0x00007f6e7d7ee5a4
2 libc.so.6 0x00007f6e86003520
3 libConcretelangBindingsPythonCAPI.so 0x00007f6e81bd7652 concrete_optimizer::dag::unparametrized::OperationDag::new::h9a051e100108e97d + 18
4 libConcretelangBindingsPythonCAPI.so 0x00007f6e81bd06aa
5 libConcretelangBindingsPythonCAPI.so 0x00007f6e81bcc9da concrete_optimizer::dag::empty() + 10
6 libConcretelangBindingsPythonCAPI.so 0x00007f6e80e88378
7 libConcretelangBindingsPythonCAPI.so 0x00007f6e80e8a718
8 libConcretelangBindingsPythonCAPI.so 0x00007f6e7d72a452 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) + 1314
9 libConcretelangBindingsPythonCAPI.so 0x00007f6e7d72aa29 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) + 361
10 libConcretelangBindingsPythonCAPI.so 0x00007f6e7d72ba33 mlir::detail::OpToOpPassAdaptor::runOnOperationImpl(bool) + 435
11 libConcretelangBindingsPythonCAPI.so 0x00007f6e7d72a146 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) + 534
12 libConcretelangBindingsPythonCAPI.so 0x00007f6e7d72aa29 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) + 361
13 libConcretelangBindingsPythonCAPI.so 0x00007f6e7d72b531 mlir::PassManager::run(mlir::Operation*) + 1873
14 libConcretelangBindingsPythonCAPI.so 0x00007f6e7f43e16b mlir::concretelang::pipeline::getFHEContextFromFHE[abi:cxx11](mlir::MLIRContext&, mlir::ModuleOp&, mlir::concretelang::optimizer::Config, std::function<bool (mlir::Pass*)>) + 1211
15 libConcretelangBindingsPythonCAPI.so 0x00007f6e7f4171b0 mlir::concretelang::CompilerEngine::getConcreteOptimizerDescription(mlir::concretelang::CompilerEngine::CompilationResult&) + 352
16 libConcretelangBindingsPythonCAPI.so 0x00007f6e7f4178dd mlir::concretelang::CompilerEngine::determineFHEParameters(mlir::concretelang::CompilerEngine::CompilationResult&) + 669
17 libConcretelangBindingsPythonCAPI.so 0x00007f6e7f41a9d6 mlir::concretelang::CompilerEngine::compile(llvm::SourceMgr&, mlir::concretelang::CompilerEngine::Target, std::optional<std::shared_ptr<mlir::concretelang::CompilerEngine::Library>>) + 2214
18 libConcretelangBindingsPythonCAPI.so 0x00007f6e7f4200ac mlir::concretelang::CompilerEngine::compile(llvm::SourceMgr&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, bool, bool, bool, bool) + 556
19 libConcretelangBindingsPythonCAPI.so 0x00007f6e7d5c284c
20 libConcretelangBindingsPythonCAPI.so 0x00007f6e7d5c501a library_compile(LibrarySupport_Py, char const*, mlir::concretelang::CompilationOptions) + 282
21 _concretelang.cpython-310-x86_64-linux-gnu.so 0x00007f6e7a2b1adc
22 _concretelang.cpython-310-x86_64-linux-gnu.so 0x00007f6e7a291b4d
23 _concretelang.cpython-310-x86_64-linux-gnu.so 0x00007f6e7a278177
24 python3 0x000055fe990b3c9e
25 python3 0x000055fe990aa72b _PyObject_MakeTpCall + 603
26 python3 0x000055fe990c21eb
27 python3 0x000055fe990a275a _PyEval_EvalFrameDefault + 25610
28 python3 0x000055fe990b44ec _PyFunction_Vectorcall + 124
29 python3 0x000055fe9909cc14 _PyEval_EvalFrameDefault + 2244
30 python3 0x000055fe990b44ec _PyFunction_Vectorcall + 124
31 python3 0x000055fe990a275a _PyEval_EvalFrameDefault + 25610
32 python3 0x000055fe990b44ec _PyFunction_Vectorcall + 124
33 python3 0x000055fe9909cc14 _PyEval_EvalFrameDefault + 2244
34 python3 0x000055fe990a98b4 _PyObject_FastCallDictTstate + 196
35 python3 0x000055fe990be184
36 python3 0x000055fe990aa6cc _PyObject_MakeTpCall + 508
37 python3 0x000055fe990a2b2c _PyEval_EvalFrameDefault + 26588
38 python3 0x000055fe990b44ec _PyFunction_Vectorcall + 124
39 python3 0x000055fe9909cc14 _PyEval_EvalFrameDefault + 2244
40 python3 0x000055fe99099176
41 python3 0x000055fe9918ec56 PyEval_EvalCode + 134
42 python3 0x000055fe991bbb18
43 python3 0x000055fe991b496b
44 python3 0x000055fe991bb865
45 python3 0x000055fe991bad48 _PyRun_SimpleFileObject + 424
46 python3 0x000055fe991baa43 _PyRun_AnyFileObject + 67
47 python3 0x000055fe991abc3e Py_RunMain + 702
48 python3 0x000055fe99181bcd Py_BytesMain + 45
49 libc.so.6 0x00007f6e85fead90
50 libc.so.6 0x00007f6e85feae40 __libc_start_main + 128
51 python3 0x000055fe99181ac5 _start + 37
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Illegal instruction (core dumped)
THE PYTHON SCRIPT
from concrete import fhe
def add(x, y):
return x + y
compiler = fhe.Compiler(add, {"x": "encrypted", "y": "clear"})
inputset = [(2, 3), (0, 0), (1, 6), (7, 7), (7, 1)]
circuit = compiler.compile(inputset)
x = 4
y = 4
clear_evaluation = add(x, y)
homomorphic_evaluation = circuit.encrypt_run_decrypt(x, y)
print(x, "+", y, "=", clear_evaluation, "=", homomorphic_evaluation)
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWV1P87gS_jXhxqLyRz4vuIB-CCQ4VIBW2nMTOc609dnEjhyHl-7F-e1HTpy2QNkF-u5qL04vmsSeGT8z89ieOLxt5VoBXATRVRDNznhnN9pcSAMKKCvrs0KX24un6zmaPzzcPwR4FuBL_88u_xvQEDVbu9GKocboZz5ptkPvo-XiN1R2dYN-SLvRnUXtti50hRSvoUUBTUG1nQG01R3a8GdAVfVcnw9C8ncwSCrXZ9Dy8ukaaYNasMhuAIF6lkarGpRFz9ygIMa3t7_c5Y-_3l3d3978e_6QO5Ugxshq1GiprLuRNqBZwDx6jCpZTLUSBixUXK2vpCqlWrfL3p3p5fJm0mq0--EXjDFOVjEkZbLCRUZ6vM4eu2y37XCzNFLZ3vUnwwUENN0LGf4j1601wOuAxgGdIqkcJBTQK0RpNOAip-ACiHg42KHOjpi0ehKjz_z2dtIYYxZRPNhh38aTkqJM4ogi4bVz3VhZu9QOASn5erjpVMMNr8Ea-TuUQ9t9A4ZbqdVslFLwY7jZZBxHBAjGBKeQJWUfQZIOgEP0OcSvgeKY80E_-o6-EFnJ_9xRqBu7DWg6Zp34IMffDzKGNGWJ9z05yQ5Pxhimp5CQ8jCiqK7k6D1YLqsxq0_6vlnytr0seWO1FzGdCmi6V3ECAb10c2TfuGPEu55LxattK9s7rvgajOsstK7ctVP9-lYezjXCiJ8k2Wl-cpp92c-lbKCSCl75O4ju4Mc_3fFDJTfUjWqt6dwKqs07q68FhpGHDo99yQ0oe6NW2lG-tb2FIbYsJn4d--QC-zqkBWfsyyG9V7sI3dRNFdB0CMKAKGTjynrS0ko5CeN_Mqsj5klN6P9Z_Zex-pPb4RtWR4y8QTL6dpQor0PjF600YR5D-P38rkIGJC4OwIgDO0NLM-ayf1qDXVzPp1pZeLELo-vF9TyIrnghnfLLCyFBNHuF_u725sHLv0v6nS67Cu6bdx3vYbzZQ6dareTaKbXWlwirTokhjVPHD3R8smUBm--CSMmYyOjLiVyFJCEF_kPQU103sgIzV-vDCI7j3I8-zaAVRjZDjtOvWhzaeoY8QNtVQ5w9VSPqPfx-UdG7mpbll10twYKppYLF9Xw5lHRg2p_sYRxn3sPvlzvOQ56V8Zc9FEPbq8L-UXdGwN36_Rr3OZtP3KzBvqK27qnBq4BNd23thhso88aagE2_OsatLAw3WzcX9tOB0rEQIidUfKuQYszFXxLKnfN5Pqw1_UPBWyny1hrp7E_FhptXwq4ht4ZL247dzukDCV5VWvB-B9v1vxH520Yc97Y_vvpNPop9wj5Zuh5uRJGgaSj86-E3yrNIRJhwp-eolO_z58n12DWNNjZfbh1s5-TBRvqZadHP9_ue-u2Oo6lfzyhB-aHiRAwHD-eM4POXNM7j8LySqns5X6vuDXROC8LL0XV6iqGMFGHpDbFTDCUpSRJvaH-I8rnfYCiKVpBluGAiA28oOsUQ5wktUL7c3hf_AWHzO_4bPDVTXlXDuot9AULj3Siv9AUlUHiR5LgIp0nE3RDzZ17l7m_hdokZrHhX2SHhUTy-FtP0uJUiDEE4KwtfAeS_gLDaiBEqoeMpSHZKQDIhSPgnaGnoh2L4VLCM_IygMXoSmT6Plh1H-7WghR-4nKVFeEDFBW-tI-JMCvvUWm5hAJP55ZBFHwQfSDoO9QFrOY-F-Jj1EfZnIuxDShdU_Im_cZSOVtK_KTvZT8hO-AGls4wkPvDhcc6SFEQUo4Nhprr0ORvfU0N6XLUoit1Z3nGOkSLMYr_ShMcZRIoijf2Lf3icHKTgZZi6WDx0Kn-UdVPBQlYw8GA4OxjDGR4nDyk4D9lo4lJt3-jHfoEPkxOyTnghGKDlNn_o1B2XqjedYL8vhscXSZKSQpRO62prod3phWNQsoMD4oNzwGgFvMz8WhLhj4UgxCjPXXfeWm5sXo9DEOrTF31EDsJFhAa14aXFx2l5O798nKO2K2ppEUdFt0YGXFGBrEYba5v-nJ0uArpYS7vpionQdUAXfQU5XM4bo10CArqQbdtBG9AF4qpEUomqK6H_hCAMbzeo4OI3a7iAyTD8TVXBmldI9scE_QRzL5VCG-i_ZEDpXicPP4H0_0_Xc7T89en6_l_ocfpws3wamldG17sjYSTr3o3VBg5VS1ghXpYBTV9cibQ9_ELheGDAdkahlz5K20NNX30ZFLCZszoZS-yApr3FKQqSq4DSl4DSgF2igFJQwmwb69ygvQCl232vqMBVtTRIZm_clKrpbAu2HyuIrgJXlNEpYk6ut5Nid8X7Z-Ku8f45cdfkzTNxz9HMOySN6OQwxujcZF9jjhjeQHvp5f0s3R4-eKvOqRyeedXxIZ9s9i7iveRG17rWptlI8VbeQ5v4-OWmU3kJ_f17O8N_Y_oTqqGzD_eVD_p2bGEz3_IW4zuB49ACmp2VF6zMWMbP4ILEaZqQNKHp2eYi5ZGIi4xzUaxSFtFYRHGWiTSNsoSVRXgmLyimDCc4wSmjOJ0QATjmkBS4iCCkIggx1FxWEzenJtqsz_rZdBGzhGZnFS-gavuPhpQq-IH6Tgc3mp2Zi34eFt26DUJcyda2eytW2gou_qFfB886U118f5npY_O_AAAA__8CNOBb">