Re: [CIL users] [PATCH] Add --no-convert-direct-calls option to Simplify

2011-09-28 Thread Pavel Shved
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

Re: [CIL users] [PATCH] Add --no-convert-direct-calls option to Simplify

2011-09-28 Thread Gabriel Kerneis
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,

Re: [CIL users] [PATCH] Add --no-convert-direct-calls option to Simplify

2011-09-28 Thread Pavel Shved
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

[CIL users] [PATCH] Add --no-convert-direct-calls option to Simplify

2011-09-28 Thread Pavel Shved
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