> It has callers and callees which should not be inlined in order to
> reproduce the bug.

__attribute__((noinline))?

-- 
Eric Botcazou

Reply via email to