From 202bc495442a1a8fa184b73ac0063bdbbbcdf846 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 24 Feb 2013 09:01:28 +0000
Subject: Constant propagation within __builtin_annot.

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

(limited to 'Changelog')

diff --git a/Changelog b/Changelog
index 243cdff7..cfb516d9 100644
--- a/Changelog
+++ b/Changelog
@@ -10,6 +10,10 @@ Development version
 - Comparisons involving pointers "one past" the end of a block are
   now defined.  (They used to be undefined behavior.)
   (Contributed by Robbert Krebbers).
+- Arguments to __builtin_annot() that are compile-time constants
+  are now replaced by their (integer or float) value in the annotation
+  generated in the assembly file.
+
 
 Release 1.12.1, 2013-01-29
 ==========================
-- 
cgit