some question about MTA

[yxscc]

I apologize for the disturbance. I encountered an error while testing memcached, specifically when using the MTA. The error message is as follows:
mta: /home/SVF/svf/lib/Graphs/ICFG.cpp:246: SVF::CallICFGNode* SVF::ICFG::getCallICFGNode(const SVF::SVFInstruction*): Assertion `SVFUtil::isNonInstricCallSite(inst) && "associating an intrinsic debug instruction with an ICFGNode!"' failed.

This error consistently occurs when I use MTA, but other tools do not trigger it. I would like to understand what might be causing this issue and whether it can be avoided.

I am using Clang and LLVM version 16.0, and my compilation commands are as follows:

CC="wllvm -O0 -Xclang -disable-O0-optnone -g -save-temps=obj -fno-discard-value-names -w" CXX="wllvm++ -O0 -Xclang -disable-O0-optnone -g -save-temps=obj -fno-discard-value-names -w" ./configure
make
extract-bc ./memcached

I appreciate any insights or advice you might have regarding this matter.

[yuleisui]

Can you attach your bc?