John,
The clever bit with inline testing is having all sorts of dependencies between the call site and the potentially inlined function that should/should not effect the behavior of the code.But Csmith is sort of the opposite of clever. If we've done our job, all of these possibilities will naturally arise out of random generation.
I did wonder whether it made sense to do this kind of thing with a general tool like Csmith compared to something tailored to the job. -- Derek M. Jones tel: +44 (0) 1252 520 667 Knowledge Software Ltd blog:shape-of-code.coding-guidelines.com Source code analysis http://www.knosof.co.uk