<div dir="auto">Hi all,<div dir="auto">Few days ago I have discovered the symcc[1] project. This project, via an llvm pass, is able to modify the IR code and to inject calls to a backend which allows symbolic execution. I can use it with clang/llvm 11 but not with the version 13. </div><div dir="auto"><br></div><div dir="auto">I was wondering if maybe the new pass manager uses llvm passes in a different way .. so I have created a small pass which injects a call to printf in each function and I'm able to use it via opt. Now my question is: is it possible to run the same pass via clang and just obtain the modified IR code? I'd like to avoid to use opt if not mandatory. Is it possible to do it or the new pass manager forces me to use opt?</div><div dir="auto"><br></div><div dir="auto">How would you fix this situation in symcc?</div><div dir="auto"><br></div><div dir="auto">If someone could tell me how to load a ModulePass in clang-13 would be great.</div><div dir="auto"><br></div><div dir="auto">Thanks a lot</div><div dir="auto">Alberto</div><div dir="auto"><br></div><div dir="auto">[1] <a href="https://github.com/eurecom-s3/symcc" target="_blank" rel="noreferrer">https://github.com/eurecom-s3/symcc</a><br><div dir="auto"><br></div></div></div>