diff options
Diffstat (limited to 'src/vpp/vnet/main.c')
| -rw-r--r-- | src/vpp/vnet/main.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/vpp/vnet/main.c b/src/vpp/vnet/main.c index 673120a2a97..ea8e4f88718 100644 --- a/src/vpp/vnet/main.c +++ b/src/vpp/vnet/main.c @@ -496,6 +496,15 @@ VLIB_CLI_COMMAND (show_bihash_command, static) = }; /* *INDENT-ON* */ +#ifdef CLIB_SANITIZE_ADDR +/* default options for Address Sanitizer */ +const char * +__asan_default_options (void) +{ + return "unmap_shadow_on_exit=1:disable_coredump=0:abort_on_error=1"; +} +#endif /* CLIB_SANITIZE_ADDR */ + /* * fd.io coding-style-patch-verification: ON * |