diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/cc/gcc.in.2 | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/config/cc/gcc.in.2 b/config/cc/gcc.in.2 index 33cbbc5..d682769 100644 --- a/config/cc/gcc.in.2 +++ b/config/cc/gcc.in.2 @@ -51,3 +51,17 @@ config CC_GCC_SJLJ_EXCEPTIONS It can happen that ./configure is wrong in some cases. Known case is for ARM big endian, where you should say 'N'. + +config CC_GCC_LIBMUDFLAP + bool + prompt "Compile libmudflap" + default n + help + libmudflap is a pointer-use checking tool, which can detect + various mis-usages of pointers in C and (to some extents) C++. + + You should say 'N' here, as libmduflap generates instrumented + code (thus it is a bit bigger and a bit slower) and requires + re-compilation and re-link, while it exists better run-time + alternatives (eg. DUMA, dmalloc...) that need neither re- + compilation nor re-link. |