Svadev mailing list

[Jacob Katz <jgkatz AT mit.edu>]

Dear SAFECode Developers,

This is my first time compiling LLVM and SAFECode, so I apologize if I am running into an obvious issue.  I am trying to build from SVN following the procedure in the install guide on the website (compiling on Ubuntu 10.04):

cd where-you-want-llvm-to-live

svn co http://llvm.org/svn/llvm-project/llvm/branches/release_30 llvm

cd llvm/projects

svn co http://llvm.org/svn/llvm-project/poolalloc/trunk poolalloc

svn co http://llvm.org/svn/llvm-project/safecode/trunk safecode

then

cd LLVM-object-directory

make tools-only ENABLE_ASSERTIONS=1 ENABLE_OPTIMIZED=1 (I assumed this since your tar package has a release+asserts build)

cd projects/poolalloc

make

Up to here everything seems to go fine.  Then:

cd ../safecode

make

At this point I get a bunch of warnings and errors when compiling safeboundcets.c (attached below).  Any advice would be much appreciated.  

I am very interested in using SAFECode for an online coding environment that is part of the Zero Robotics project (zerorobotics.mit.edu).  I have previously used gcc + MUDFLAP for array bounds checking, but the overhead is tremendous, and I've pretty much had to scrap it for more complicated code.  Your approach seems like it will be more efficient, so I'd love to give it a try with the system.

Best regards,

Jake Katz

llvm[2]: Compiling softboundcets.c for Release+Asserts build

softboundcets.c:1:1: warning: C++ style comments are not allowed in ISO C90

softboundcets.c:1:1: warning: (this will be reported only once per input file)

In file included from softboundcets.c:51:

softboundcets.h:1:1: warning: C++ style comments are not allowed in ISO C90

softboundcets.h:1:1: warning: (this will be reported only once per input file)

In file included from softboundcets.c:51:

softboundcets.h: In function â__softboundcets_allocate_shadow_stack_spaceâ:

softboundcets.h:279: warning: format â%pâ expects type âvoid *â, but argument 2 has type âsize_t *â

softboundcets.h:279: warning: ISO C90 does not support the âzâ gnu_printf length modifier

softboundcets.h:279: warning: format â%pâ expects type âvoid *â, but argument 4 has type âsize_t *â

softboundcets.h:285: warning: format â%pâ expects type âvoid *â, but argument 2 has type âsize_t *â

softboundcets.h:289: warning: ISO C90 forbids mixed declarations and code

softboundcets.h: In function â__softboundcets_load_base_shadow_stackâ:

softboundcets.h:297: warning: ISO C90 forbids mixed declarations and code

softboundcets.h:301: warning: format â%pâ expects type âvoid *â, but argument 3 has type âsize_t *â

softboundcets.h: In function â__softboundcets_load_bound_shadow_stackâ:

softboundcets.h:309: warning: ISO C90 forbids mixed declarations and code

softboundcets.h:314: warning: format â%pâ expects type âvoid *â, but argument 3 has type âsize_t *â

softboundcets.h: In function â__softboundcets_load_key_shadow_stackâ:

softboundcets.h:322: warning: ISO C90 forbids mixed declarations and code

softboundcets.h:326: warning: ISO C90 does not support the âzâ gnu_printf length modifier

softboundcets.h:326: warning: format â%pâ expects type âvoid *â, but argument 3 has type âsize_t *â

softboundcets.h: In function â__softboundcets_load_lock_shadow_stackâ:

softboundcets.h:335: warning: ISO C90 forbids mixed declarations and code

softboundcets.h:339: warning: format â%pâ expects type âvoid *â, but argument 3 has type âsize_t *â

softboundcets.h: In function â__softboundcets_store_base_shadow_stackâ:

softboundcets.h:347: warning: ISO C90 forbids mixed declarations and code

softboundcets.h:352: warning: format â%pâ expects type âvoid *â, but argument 3 has type âvoid **â

softboundcets.h: In function â__softboundcets_store_bound_shadow_stackâ:

softboundcets.h:360: warning: ISO C90 forbids mixed declarations and code

softboundcets.h:365: warning: format â%pâ expects type âvoid *â, but argument 3 has type âvoid **â

softboundcets.h: In function â__softboundcets_store_key_shadow_stackâ:

softboundcets.h:371: warning: ISO C90 forbids mixed declarations and code

softboundcets.h:377: warning: ISO C90 does not support the âzâ gnu_printf length modifier

softboundcets.h:377: warning: format â%pâ expects type âvoid *â, but argument 3 has type âsize_t *â

softboundcets.h: In function â__softboundcets_store_lock_shadow_stackâ:

softboundcets.h:384: warning: ISO C90 forbids mixed declarations and code

softboundcets.h:389: warning: format â%pâ expects type âvoid *â, but argument 3 has type âvoid **â

softboundcets.h: In function â__softboundcets_deallocate_shadow_stack_spaceâ:

softboundcets.h:399: warning: comparison of unsigned _expression_ >= 0 is always true

softboundcets.h:399: error: â__SOFTBOUNDCETS_SHADOW_STACK_ENTRIESâ undeclared (first use in this function)

softboundcets.h:399: error: (Each undeclared identifier is reported only once

softboundcets.h:399: error: for each function it appears in.)

softboundcets.h:401: warning: ISO C90 forbids mixed declarations and code

softboundcets.h:410: warning: format â%pâ expects type âvoid *â, but argument 2 has type âsize_t *â

softboundcets.h:410: warning: format â%pâ expects type âvoid *â, but argument 3 has type âsize_t *â

softboundcets.h: In function â__softboundcets_trie_allocateâ:

softboundcets.h:417: error: â__SOFTBOUNDCETS_TRIE_SECONDARY_TABLE_ENTRIESâ undeclared (first use in this function)

softboundcets.h: In function â__softboundcets_copy_metadataâ:

softboundcets.h:452: warning: ISO C90 forbids mixed declarations and code

softboundcets.h:474: warning: ISO C90 forbids mixed declarations and code

softboundcets.h:477: error: â__SOFTBOUNDCETS_TRIE_SECONDARY_TABLE_ENTRIESâ undeclared (first use in this function)

softboundcets.h:480: warning: ISO C90 forbids mixed declarations and code

In file included from softboundcets.c:51:

softboundcets.h: In function â__softboundcets_memcopy_check_i64â:

softboundcets.h:570: warning: this decimal constant is unsigned only in ISO C90

softboundcets.h: In function â__softboundcets_memcopy_checkâ:

softboundcets.h:590: warning: this decimal constant is unsigned only in ISO C90

softboundcets.h: In function â__softboundcets_metadata_storeâ:

softboundcets.h:640: warning: ISO C90 forbids mixed declarations and code

softboundcets.h:659: warning: ISO C90 forbids mixed declarations and code

softboundcets.h: In function â__softboundcets_metadata_loadâ:

softboundcets.h:761: warning: ISO C90 forbids mixed declarations and code

softboundcets.h: In function â__softboundcets_temporal_load_dereference_checkâ:

softboundcets.h:816: warning: ISO C90 forbids mixed declarations and code

softboundcets.h: In function â__softboundcets_temporal_store_dereference_checkâ:

softboundcets.h:842: warning: ISO C90 forbids mixed declarations and code

softboundcets.h: In function â__softboundcets_allocation_secondary_trie_allocate_rangeâ:

softboundcets.h:920: warning: ISO C90 forbids mixed declarations and code

softboundcets.h: In function â__softboundcets_allocation_secondary_trie_allocateâ:

softboundcets.h:945: warning: ISO C90 forbids mixed declarations and code

softboundcets.h:956: warning: ISO C90 forbids mixed declarations and code

softboundcets.h: In function â__softboundcets_add_to_free_mapâ:

softboundcets.h:1018: warning: ISO C90 forbids mixed declarations and code

softboundcets.h:1020: error: â__SOFTBOUNDCETS_N_FREE_MAP_ENTRIESâ undeclared (first use in this function)

softboundcets.h: In function â__softboundcets_check_remove_from_free_mapâ:

softboundcets.h:1043: warning: ISO C90 forbids mixed declarations and code

softboundcets.h:1045: error: â__SOFTBOUNDCETS_N_FREE_MAP_ENTRIESâ undeclared (first use in this function)

softboundcets.c: In function â__softboundcets_abortâ:

softboundcets.c:87: warning: ISO C90 forbids mixed declarations and code

softboundcets.c: In function â__softboundcets_initâ:

softboundcets.c:131: warning: ISO C90 forbids mixed declarations and code

softboundcets.c:139: error: â__SOFTBOUNDCETS_N_STACK_TEMPORAL_ENTRIESâ undeclared (first use in this function)

softboundcets.c:139: warning: ISO C90 forbids mixed declarations and code

softboundcets.c:145: error: â__SOFTBOUNDCETS_N_GLOBAL_LOCK_SIZEâ undeclared (first use in this function)

softboundcets.c:145: warning: ISO C90 forbids mixed declarations and code

softboundcets.c:153: error: â__SOFTBOUNDCETS_SHADOW_STACK_ENTRIESâ undeclared (first use in this function)

softboundcets.c:153: warning: ISO C90 forbids mixed declarations and code

softboundcets.c:158: warning: ISO C90 forbids mixed declarations and code

softboundcets.c:162: warning: format â%pâ expects type âvoid *â, but argument 2 has type âsize_t *â

softboundcets.c:166: error: â__SOFTBOUNDCETS_N_FREE_MAP_ENTRIESâ undeclared (first use in this function)

softboundcets.c:172: error: â__SOFTBOUNDCETS_TRIE_PRIMARY_TABLE_ENTRIESâ undeclared (first use in this function)

softboundcets.c:177: warning: ISO C90 forbids mixed declarations and code

make[2]: *** [/home/jgkatz/llvm/projects/safecode/runtime/SoftBoundRuntime/Release+Asserts/softboundcets.o] Error 1