Jordy Ruiz

Thanks for the quick response, @inducer. I'll try to find a workaround.

Note this also occurs when building from `opam pin`: ```console $ opam pin FrontC --dev-repo [FrontC.3.4.3-1] synchronised (git+https://github.com/BinaryAnalysisPlatform/FrontC) FrontC is now pinned to git+https://github.com/BinaryAnalysisPlatform/FrontC (version 4.1.0) The following actions will...

I am building with ocaml 4.04. I have upgraded to ocaml 4.07, the newest available using `opam`. I still get the error. This doesn't look like a version issue. ```console...

I agree the repository/author can be hard to find/contact. It's unfortunate that you were not able to start from the more recent versions. I am in contact with Hugues Cassé...

@ccadar sounds good, but this PR should be merged before the KLEE PR, otherwise the KLEE PR will have failing tests and merging blocked, right?

No matter how I twist it the klee-uclibc changes seem to have no impact. When I run this test: ```c #include int main() { fd_set fds; FD_ZERO(&fds); FD_SET(0, &fds); }...

@ccadar This test file passes for me if you run it in the KLEE test suite, but I hardcoded the klee-uclibc directory path. Not sure how to test for this...

I use klee-uclibc 07c4d2d1aff3858506c81ab1e7e4f4780dfe2a72 I figured this is related to variadic functions, I'll submit a patch when I get everything worked out. In any case, here is some useful assembly.ll...