Hi Cristian, I have used apt-get to install llvm-gcc (which was version 2.7) and downloaded & built LLVM version 2.6. This was the reason for having the problem. As I said; my mistake. :)
Later on, checking the version of llvm-gcc that I have downloaded from aptitude solved the problem and I downloaded & installed the llvm-gcc from here [1] Then, everything went smoothly. Thanks for correcting me on error-warning seperation and explaining the reason of having such warnings. [1] http://llvm.org/releases/download.html#2.6 Regards, ~ Salim Hi Salim, > > > Sorry for the interruption. My mistake.. >> > The build problem you reported seems to be the same, or similar to a > problem reported by other people: > http://llvm.org/bugs/show_bug.cgi?id=7128 > What was the fix? > > > Now, I am getting the following error, though using necessary header >> files. Even the sort.c example file is using printf function and reports >> the same error. >> >> Do you know the way to fix that? >> >> ......... >> KLEE: WARNING: undefined reference to function: printf >> KLEE: WARNING: calling external: printf(172798904) >> > > This is not an error. It's a warning saying that printf() is being called > as an external function. This happens even when you enable uclibc support > in KLEE because our version of uclibc currently has printf commented out. > > Best, > Cristian > > ......... >> >> Thanks, >> >> ~ Salim. >> > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100617/41eb3937/attachment.html
