mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Introduce the --no-link option
Introduce an option to prevent `revamb` from linking in all the QEMU helpers. This is useful if the output doesn't need to be compiled, but just analyzed.
This commit is contained in:
+6
-1
@@ -296,7 +296,12 @@ bool CorrectCPUStateUsagePass::runOnModule(Module& TheModule) {
|
||||
continue;
|
||||
}
|
||||
|
||||
assert(!Callee->empty() && "external functions are not supported");
|
||||
assert((Callee->getName().startswith("helper")
|
||||
|| !Callee->empty())
|
||||
&& "external functions are not supported");
|
||||
|
||||
if (Callee->empty())
|
||||
break;
|
||||
|
||||
// TODO: move all the specialization-handling code outside
|
||||
// Is the callee already a specialization?
|
||||
|
||||
Reference in New Issue
Block a user