From a5b7ef5c65ebffb359f0ce112a1115eaa678221a Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 19 Jan 2022 13:41:40 +0100
Subject: [PATCH] Update Changelog
---
Changelog | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/Changelog b/Changelog
index 37f1e9dfa35..8eadf954162 100644
--- a/Changelog
+++ b/Changelog
@@ -29,6 +29,10 @@ o! Kernel [2021-11-29] Integer.pretty does not have the optional argument
Open Source Release 24.0 (Chromium)
###################################
+-* Eva [2022-01-19] Always emits alarms about initialization, escaping
+ pointers and special floating-point values for the arguments of
+ calls to functions without body (or whose body is not analyzed),
+ even when -eva-warn-copy-indeterminate is unset.
- ACSL [2021-10-28] better type checks for volatile clauses
- Variadic [2021-10-26] translates printf/scanf calls even if formatting
string is not constant, warning that it will assume arguments
--
GitLab