Skip to Content.
Sympa Menu

svadev - [svadev] Safecode -flto flag generates link-time error

svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] Safecode -flto flag generates link-time error


Chronological Thread 
  • From: Daniel Huang <dan.e.huang AT gmail.com>
  • To: "<svadev AT cs.illinois.edu>" <svadev AT cs.illinois.edu>
  • Subject: [svadev] Safecode -flto flag generates link-time error
  • Date: Fri, 7 Dec 2012 18:46:50 -0500
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev/>
  • List-id: <svadev.cs.uiuc.edu>

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

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




Archive powered by MHonArc 2.6.16.

Top of Page