Svadev mailing list

[Jacob Katz <jgkatz AT mit.edu>]

Hi Santosh,

Do I need to do anything special to compile for a 32 bit target?  Right now I'm somewhat stuck using 32 bit.  I'll give the updates a check later today.

Thanks for the quick response!

Jake

On Wed, Apr 11, 2012 at 1:37 PM, Santosh Nagarakatte <santoshn AT cis.upenn.edu> wrote:

Jacob,

Thanks for reporting the errors. I have fixed the build in revision
154509 from the svn.
I noticed that you are building SafeCode and SoftBound in 32 bit mode.

Although SafeCode supports 32-bit mode execution, SoftBoundCETS does
not support 32-bit execution.

Let me know if anything is broken.

Thanks,
Santosh

> Message: 1
> Date: Tue, 10 Apr 2012 16:48:14 -0400
> From: Jacob Katz <jgkatz AT mit.edu>
> Subject: [svadev] Errors compiling SAFECode from SVN
> To: svadev AT cs.uiuc.edu
> Message-ID:
>        <CAEwmjPETwv+wttQkoteg8bcVUQGpWXX8aE5gEvcLV8xBKKyBjg AT mail.gmail.com>
> Content-Type: text/plain; charset="iso-8859-1"
>
> 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
> -------------- next part --------------
> An HTML attachment was scrubbed...
> URL: http://lists.cs.uiuc.edu/pipermail/svadev/attachments/20120410/fe373d59/attachment-0001.html
>
> ------------------------------
>
> _______________________________________________
> svadev mailing list
> svadev AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/svadev
>
>
> End of svadev Digest, Vol 24, Issue 6
> *************************************



--
Santosh G Nagarakatte,
PhD Student,
Computer and Information Science Department
University of Pennsylvania,
Philadelphia-19104
http://www.cis.upenn.edu/~santoshn


--
Santosh G Nagarakatte,
PhD Student,
Computer and Information Science Department
University of Pennsylvania,
Philadelphia-19104
http://www.cis.upenn.edu/~santoshn