Skip to Content.
Sympa Menu

svadev - Re: [svadev] problems installing safecode

svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

Re: [svadev] problems installing safecode


Chronological Thread 
  • From: geremy condra <debatem1 AT gmail.com>
  • To: Matthew Wala <wala1 AT illinois.edu>
  • Cc: svadev AT cs.uiuc.edu
  • Subject: Re: [svadev] problems installing safecode
  • Date: Sun, 2 Oct 2011 13:07:15 -0700
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
  • List-id: <svadev.cs.uiuc.edu>

On Sun, Oct 2, 2011 at 12:54 PM, Matthew Wala
<wala1 AT illinois.edu>
wrote:
>
> The libraries to link in should actually be -lsc_dbg_rt
> -lpoolalloc_bitmap -lgdtoa -lstdc++.
> I've added that to the svn documentation but apparently it's not on the
> website.
>
> Matt
>

Thanks for your help, but unfortunately while this eliminates the
undefined reference errors in libsc_dbg_rt.so it doesn't seem to do
anything for the test application.

As a note, simply executing a `make` instead of a `make tools-only`
seems to drop a small handful of the errors. Here's what I have now:

user@machine:/tmp$
clang -g -fmemsafety -o test test.c -lsc_dbg_rt
-lpoolalloc_bitmap -lgdtoa -lstdc++
/tmp/test-AYWkSt.o: In function `foo':
/tmp/test.c:5: undefined reference to `pool_register_stack_debug'
/tmp/test.c:5: undefined reference to `pool_register_stack_debug'
/tmp/test.c:5: undefined reference to `fastlscheck_debug'
/tmp/test.c:5: undefined reference to `fastlscheck_debug'
/tmp/test.c:5: undefined reference to `fastlscheck_debug'
/tmp/test.c:5: undefined reference to `fastlscheck_debug'
/tmp/test.c:6: undefined reference to `fastlscheck_debug'
/tmp/test-AYWkSt.o:/tmp/test.c:6: more undefined references to
`fastlscheck_debug' follow
/tmp/test-AYWkSt.o: In function `foo':
/tmp/test.c:6: undefined reference to `pool_unregister_stack_debug'
/tmp/test.c:6: undefined reference to `pool_unregister_stack_debug'
/tmp/test-AYWkSt.o: In function `main':
/tmp/test.c:12: undefined reference to `poolargvregister'
/tmp/test.c:12: undefined reference to `pool_register_stack_debug'
/tmp/test.c:12: undefined reference to `pool_register_stack_debug'
/tmp/test.c:12: undefined reference to `pool_register_stack_debug'
/tmp/test.c:12: undefined reference to `pool_register_stack_debug'
/tmp/test.c:12: undefined reference to `pool_register_stack_debug'
/tmp/test-AYWkSt.o:/tmp/test.c:12: more undefined references to
`pool_register_stack_debug' follow
/tmp/test-AYWkSt.o: In function `main':
/tmp/test.c:12: undefined reference to `fastlscheck_debug'
/tmp/test.c:12: undefined reference to `fastlscheck_debug'
/tmp/test.c:12: undefined reference to `fastlscheck_debug'
/tmp/test.c:12: undefined reference to `fastlscheck_debug'
/tmp/test.c:12: undefined reference to `fastlscheck_debug'
/tmp/test-AYWkSt.o:/tmp/test.c:12: more undefined references to
`fastlscheck_debug' follow
/tmp/test-AYWkSt.o: In function `main':
/tmp/test.c:17: undefined reference to `pool_register_debug'
/tmp/test.c:17: undefined reference to `fastlscheck_debug'
/tmp/test.c:17: undefined reference to `fastlscheck_debug'
/tmp/test.c:17: undefined reference to `fastlscheck_debug'
/tmp/test.c:16: undefined reference to `fastlscheck_debug'
/tmp/test.c:16: undefined reference to `fastlscheck_debug'
/tmp/test-AYWkSt.o:/tmp/test.c:20: more undefined references to
`fastlscheck_debug' follow
/usr/local/lib/libsc_dbg_rt.so: undefined reference to `__poolalloc_init'
clang: error: linker command failed with exit code 1 (use -v to see
invocation)

Any thoughts?

Geremy Condra




Archive powered by MHonArc 2.6.16.

Top of Page