30.07.2013, 14:04, "Kees Bakker" <[email protected]>: > Hi Yang, > > OK, forget about the line with the typedef. Replace it with > #include "csmith" > My next question is: is the example invalid for creduce, or do > you expect that the clang parser knows how to find csmith.h?
No for both: example is valid, csmith.h is not found. clang_delta does not require complete AST for working. > > If the example is for creduce then that contradicts John's answer > where he says: "I reduce non-preprocessed C code routinely." > > If the clang parser must be able to find csmith.h then there must be > a way to specify include directories. So far, I haven't found out how > to do that. Creduce has no -I option, does it? -- Regards, Konstantin
