From bb79c5955da0029ef855978519284cca405b0d50 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 30 Mar 2020 09:07:11 +0200
Subject: [PATCH] Updates the Changelog for MR !2555.

---
 Changelog | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Changelog b/Changelog
index d7a8acc7c53..ecda215fe0c 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,11 @@
 Open Source Release <next-release>
 ##################################
 
+-   RTE       [2020/03/30] Emits alarm on invalid pointers when option is on
+-   Eva       [2020/03/30] Emits alarm on invalid pointers when option is on
+-   Kernel    [2020/03/30] New option -warn-invalid-pointer (disabled by
+              default) to warn on invalid pointer arithmetics resulting in a
+              pointer that does not point to an object or one past an object.
 -   RTE       [2020/03/27] Emits alarm on pointer downcast when option is on
 -   Eva       [2020/03/27] Emits alarm on pointer downcast when option is on
 -   Kernel    [2020/03/27] New option -warn-pointer-downcast (activated by
-- 
GitLab