diff --git a/Changelog b/Changelog
index 37f1e9dfa35239b1be89b3abc1725d5d23a0df6f..8eadf95416208ba5ea10900756388de728660665 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