On Wednesday, September 28, 2011 18:44:29 you wrote:
> Thanks for the patch, I've applied it.
Thank you.
(Just some background: the patch is aimed for CIL-lifying Linux device
drivers, which usually contain statically initialized structures full of
pointers to various driver functions. We want
On Wed, Sep 28, 2011 at 04:24:48PM +0400, Pavel Shved wrote:
> However, I'm not sure how and if it should be inserted into the CIL test
> suite.
Thanks for the patch, I've applied it. Not including the test, though,
since I can't figure out a way to check the result automatically.
Best regards,
Here's a sample file to test the fix.
However, I'm not sure how and if it should be inserted into the CIL test
suite.
--
Pavel Shved
ISPRAS
(Institute for System Programming
of Russian Academy of Sciences)
Operating Systems section
email: sh...@ispras.ru
void good()
{}
void bad()
{}
struct
This option prevents converting direct function calls into the
calls-by-pointers if the address of the function has been taken
somewhere. Calls from inside of structures are converted anyway.
(A small debug print fix has been also applied)
---
src/ext/simplify.ml | 14 +++---
1 files c