From 9e9853b79e652036c2e5c7af01d8ac9add0b8962 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 13 Apr 2010 07:37:09 +0000
Subject: [PATCH] Update for 1.7.1

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1317 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 Changelog | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/Changelog b/Changelog
index 45dd53d99..f6b65cc4f 100644
--- a/Changelog
+++ b/Changelog
@@ -1,3 +1,20 @@
+Release 1.7.1, 2010-04-13
+=========================
+
+Bug fixes in the new C pre-simplifier:
+- Missing cast on return value for some functions
+- Incorrect simplification of some uses of || and &&
+- Nontermination in the presence of a bit field of size exactly 32 bits.
+- Global initializers for structs containing bit fields.
+- Wrong type in volatile reads from variables of type 'unsigned int'.
+
+Small improvements to the PowerPC port:
+- Added __builtin_trap() built-in function.
+- Support for '#pragma reserve_register' (EABI)
+- Less aggressive alignment of global variables.
+- Generate '.type' and '.size' directives (EABI).
+
+
 Release 1.7, 2010-03-31
 =======================
 
-- 
GitLab