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:
yuleisui
commented
3 months ago
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.