Skip to Content.
Sympa Menu

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

svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

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


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

Yes I'm using Linux and no,

I did not saw that document!
Gonna try it, thanks =)

On Mon, May 7, 2012 at 11:44 AM, John Criswell <criswell AT illinois.edu> wrote:
On 5/7/12 7:33 AM, Fábio Resner wrote:
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'm assuming you're on Linux.  Is this correct?



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

Yes.  You need to install the Gold linker; some Linux systems come with an older version of ld that isn't based on Gold and, therefore, cannot use the LLVM/SAFECode libLTO plugins.

Directions on compiling and installing these can be found in the LLVM Gold Plugin document at http://llvm.org/docs/GoldPlugin.html.

-- John T.



Thanks,

--
Fabio Resner.


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




--
Fabio Resner.



Archive powered by MHonArc 2.6.16.

Top of Page