Skip to Content.
Sympa Menu

svadev - [svadev] SAFECode's whole-program analysis features

svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] SAFECode's whole-program analysis features


Chronological Thread 
  • From: Fábio Resner <fabiusks AT gmail.com>
  • To: svadev AT cs.uiuc.edu
  • Subject: [svadev] SAFECode's whole-program analysis features
  • Date: Mon, 7 May 2012 09:33:16 -0300
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
  • List-id: <svadev.cs.uiuc.edu>

Hi, 

I'm having trouble using the whole-program analysis features.
When I try to run the

$clang -flto -use-gold-plugin -fmemsafety -o file file1.o file2.o ... -L$PREFIX/lib

command, it gives me the following error message:

/usr/bin/ld: unrecognized option '-plugin'
/usr/bin/ld: use the --help option for usage information
clang: error: linker command failed with exit code 1 (use -v to see invocation)

(Yes I am changing the parameters)

I also checked the clang man page and didn't find any reference to this option.
Am I missing something on the installation?

Thanks,

--
Fabio Resner.



Archive powered by MHonArc 2.6.16.

Top of Page