Svadev mailing list

[Daniel Huang <dan.e.huang AT gmail.com>]

Hmm, I did a make install on LLVM, projects/poolalloc and projects/safecode. Any other thoughts? I'll try the -L anyway.

On Fri, Dec 7, 2012 at 6:50 PM, John Criswell <criswell AT illinois.edu> wrote:

On 12/7/12 5:46 PM, Daniel Huang wrote:

Hi,

I recently built Safecode from the release_32 branch with the -DPOOLALLOC flag turned on. Running:

clang -flto -fmemsafety -o ex1.o ex1.c

You need to specify a -L flag that will tell clang where to find the SAFECode libraries.  I believe that the -L flag should not be necessary if you do a "make install" to install SAFECode clang, but if you're using clang out of the build tree, then the -L option will be necessary.

-- John T.

returns:

Undefined symbols:

  "___fastgepcheck", referenced from:

      llvm bitcode in sc1-ouTaUh.o

  "___faststorecheck", referenced from:

      llvm bitcode in sc1-ouTaUh.o

  "___loadcheck", referenced from:

      llvm bitcode in sc1-ouTaUh.o

  "___fastloadcheck", referenced from:

      llvm bitcode in sc1-ouTaUh.o

  "___storecheck", referenced from:

      llvm bitcode in sc1-ouTaUh.o

ld: symbol(s) not found

clang: error: linker command failed with exit code 1 (use -v to see invocation)

Any thoughts on why this is happening? I think I am using the correct libLTO.dylib. Running the above without the -flto flag is fine. 

Regards,

Dan

_______________________________________________
svadev mailing list
svadev AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/svadev