Allow calling C code that was compiled with -fsanitize=memory
commit05b3c6beca1497a74ef4c6271c8f48997369b0ab
authorDouglas Katzman <dougk@google.com>
Tue, 31 Oct 2017 14:54:46 +0000 (31 10:54 -0400)
committerDouglas Katzman <dougk@google.com>
Tue, 31 Oct 2017 15:01:09 +0000 (31 11:01 -0400)
tree8181fe565490c778a5a197cff5c31908944aacf7
parent561fda243be8967968640bf67cc553237d83fbb0
Allow calling C code that was compiled with -fsanitize=memory

* Mark all results from malloc as nonpoisoned. This is a remediation
  in lieu of marking the allocated memory when and only when written.

* Mark all dynamic-extent vectors as nonpoisoned.

To enable, :MSAN must be present in *FEATURES*, and the C runtime
must be compiled with -DMEMORY_SANITIZER. Only works on x86-64/linux.
src/code/linkage-table.lisp
src/compiler/early-c.lisp
src/compiler/main.lisp
src/compiler/target-main.lisp
src/compiler/x86-64/alloc.lisp
src/runtime/immobile-space.c
src/runtime/os-common.c