23369f9c9e
The bitcode file given to the instrumentation pass does not include certain weak symbols, in particular regcomp and regfree, which are required to be visible to the magic pass for state transfer to work correctly. This patch forces DS to make the calls using their actual symbol names (with leading underscore), thus resolving the issue, but this issue should really be solved in a cleaner and more generic way. Change-Id: Iebee4341cc30ddabcf7593afb5c49d41c0839863 |
||
---|---|---|
.. | ||
inc.h | ||
main.c | ||
Makefile | ||
proto.h | ||
store.c | ||
store.h |