From 8c26d6d0b57126c0f0d484c65bce7c43a45d9555 Mon Sep 17 00:00:00 2001 From: Patrick Pelissier Date: Thu, 12 Apr 2018 23:39:19 +0200 Subject: [PATCH] Update --- doc/DEV.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/DEV.md b/doc/DEV.md index d934b0d0..7b7b6e5d 100644 --- a/doc/DEV.md +++ b/doc/DEV.md @@ -18,7 +18,7 @@ How to make a release? This needs at least clang 4. Currently there is a false positive detected in m-shared: "Argument to free() is offset by 8 bytes from the start of memory allocated by malloc()" - scan-build is not able to properly track that this case cannot open. + scan-build is not able to properly track that this case cannot happen. 5) Check that coverage is reasonnable. Run 'make coverage' and analyze result. @@ -37,3 +37,4 @@ List of tested systems * g++ 7 on linux/x86-64 * tcc on linux/x86-64 * gcc 6 on windows/x86-64 +* gcc 4.9 on linux/powerpc