Generate specific statement

[jordiae]

Hi, many thanks for your work. My use case is as follows: I need to generate random C code (ideally just one statement or expression) such that I can get a return value with a given type signature. My goal is to generate random function definitions given their signature.

For instance, from int f(int x); obtain int f(int x) { return 5;}. Is it possible to use C-Smith for this purpose?

Many thanks in advance.