Skip to content

Instantly share code, notes, and snippets.

@farazsth98
Created March 22, 2020 01:52
Show Gist options
  • Save farazsth98/23146cb1fa5c36e5951feed8976018c8 to your computer and use it in GitHub Desktop.
Save farazsth98/23146cb1fa5c36e5951feed8976018c8 to your computer and use it in GitHub Desktop.
diff --git a/sanitizers.c b/sanitizers.c
index 78d8fafc..1c905d97 100644
--- a/sanitizers.c
+++ b/sanitizers.c
@@ -23,7 +23,6 @@
"symbolize=1:" \
"detect_leaks=0:" \
"disable_coredump=0:" \
- "detect_odr_violation=0:" \
"allocator_may_return_null=1:" \
"allow_user_segv_handler=0:" \
"handle_segv=2:" \
@@ -54,7 +53,6 @@
"symbolize=1:" \
"detect_leaks=0:" \
"disable_coredump=0:" \
- "detect_odr_violation=0:" \
"allocator_may_return_null=1:" \
"allow_user_segv_handler=1:" \
"handle_segv=0:" \
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment