Discussion:
A question about compiling klee-uclibc-0.02-x64 with Clang 3.2
Peng Li
2013-12-21 06:23:45 UTC
Permalink
Dear All

Right now, I am using Clang-3.2 to compile the klee-uclibc-0.02-x64, and
I changed the Rules.mak and Rules.mak.llvm to
set $(LLVMGCC) as Clang accordingly, however, I am always encountering
an error shown below:

libc/misc/sysvipc/sem.c:73:26: error: use of undeclared identifier
'IPCOP_semget'
return __syscall_ipc(IPCOP_semget, key, nsems, semflg, NULL);

Do you have any idea on how to fix it?

Thanks and Happy Holiday!
Peng
Cristian Cadar
2013-12-21 22:08:57 UTC
Permalink
Hi Peng, we are shortly going to make public an improved version of
klee-uclibc, which will hopefully fix your problem. I hope this will
happen in the next week.

Best,
Cristian
Post by Peng Li
Dear All
Right now, I am using Clang-3.2 to compile the klee-uclibc-0.02-x64, and
I changed the Rules.mak and Rules.mak.llvm to
set $(LLVMGCC) as Clang accordingly, however, I am always encountering
libc/misc/sysvipc/sem.c:73:26: error: use of undeclared identifier
'IPCOP_semget'
return __syscall_ipc(IPCOP_semget, key, nsems, semflg, NULL);
Do you have any idea on how to fix it?
Thanks and Happy Holiday!
Peng
_______________________________________________
klee-dev mailing list
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
Peng Li
2013-12-21 23:54:56 UTC
Permalink
Hi Cristian

Great to hear that, looks like that KLEE will be ported to LLVM-3.2 too?

Thanks
Peng
Post by Cristian Cadar
Hi Peng, we are shortly going to make public an improved version of
klee-uclibc, which will hopefully fix your problem. I hope this will
happen in the next week.
Best,
Cristian
Post by Peng Li
Dear All
Right now, I am using Clang-3.2 to compile the klee-uclibc-0.02-x64, and
I changed the Rules.mak and Rules.mak.llvm to
set $(LLVMGCC) as Clang accordingly, however, I am always encountering
libc/misc/sysvipc/sem.c:73:26: error: use of undeclared identifier
'IPCOP_semget'
return __syscall_ipc(IPCOP_semget, key, nsems, semflg, NULL);
Do you have any idea on how to fix it?
Thanks and Happy Holiday!
Peng
_______________________________________________
klee-dev mailing list
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
Daniel Liew
2013-12-22 07:42:08 UTC
Permalink
Post by Peng Li
Great to hear that, looks like that KLEE will be ported to LLVM-3.2 too?
We're actually targeting LLVM 3.3. There's still quite a lot of work to do
so any help would be appreciated.

Thanks,
Dan.

Loading...