From 03be57bacde1638453868f0ed10ba7fdf0fb51d9 Mon Sep 17 00:00:00 2001
From: Christophe Prud'homme <christophe.prudhomme@feelpp.org>
Date: Thu, 21 Mar 2019 04:43:08 +0100
Subject: [PATCH] Update debug.adoc

---
 docs/dev/modules/ROOT/pages/debug.adoc | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/docs/dev/modules/ROOT/pages/debug.adoc b/docs/dev/modules/ROOT/pages/debug.adoc
index df9776bf5..58ee63dd9 100644
--- a/docs/dev/modules/ROOT/pages/debug.adoc
+++ b/docs/dev/modules/ROOT/pages/debug.adoc
@@ -34,3 +34,12 @@ When AddressSanitizer finds a bug you can set a breakpoint
 
 NOTE: you can also set the environment variable `ASAN_OPTIONS=abort_on_error=1` to
 get the same effect as in the second case
+
+[TIP]
+====
+It is advised to disable the leak detection while looking for a bug as follows
+
+----
+> ASAN_OPTIONS=detect_leaks=0  gdb <executable to debug>
+----
+====