-
Notifications
You must be signed in to change notification settings - Fork 431
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
SVF-example project reports error when compiled with LLVM under Debug mode. #1402
Comments
Not sure why. Looks odd. You could do a printing to debug a bit. how about llvm-16? |
I have not tested llvm 16 because the other parts of my project need llvm 14. The stack is
|
Your bc code is small enough. Can you debug to see why the map retrieval failed? I am not able to debug it for you at the moment |
Hi @yuleisui , I follow I see in It is odd. If I use GCC to compile SVF-example, everything is OK. |
It seems like a bug when SVF 2.9 works with LLVM 14. Then I add |
add |
How about llvm-16? |
I didn't try LLVM 16 because other parts of my projects need llvm 14. |
I compile SVF-example project with LLVM 14 under Debug mode.
The program meets an error:
svf-example: /home/yuffon/data/programs/svf2.9-debug-install/include/svf/SVF-LLVM/LLVMModule.h:219: SVF::SVFInstruction *SVF::LLVMModuleSet::getSVFInstruction(const SVF::Instruction *) const: Assertion `it!=LLVMInst2SVFInst.end() && "SVF Instruction not found!"' failed.
The input
good.ll
file is as follows.LLVM14 + release mode, gcc + debug/release mode do not report this error.
Is there something wrong?
The text was updated successfully, but these errors were encountered: