aboutsummaryrefslogtreecommitdiffstats
path: root/Changelog
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2017-02-07 15:19:11 +0100
committerXavier Leroy <xavier.leroy@inria.fr>2017-02-07 15:19:11 +0100
commit6f3850a92150c26f29d666b31461887676d07668 (patch)
treefee38c2e44b4342a03e619e0622126ae627cbaa2 /Changelog
parent6b0dbab6d1315ae3b0df26d034bce771f743af85 (diff)
downloadcompcert-kvx-6f3850a92150c26f29d666b31461887676d07668.tar.gz
compcert-kvx-6f3850a92150c26f29d666b31461887676d07668.zip
Changelog update concerning attribute handling
Diffstat (limited to 'Changelog')
-rw-r--r--Changelog7
1 files changed, 7 insertions, 0 deletions
diff --git a/Changelog b/Changelog
index 9332ac43..e8b6e18f 100644
--- a/Changelog
+++ b/Changelog
@@ -30,9 +30,16 @@ Usability:
- Added options -Wxxx and -Wno-xxx (for various values of "xxx")
to control which warnings are emitted.
+- Added options -Werror=xxx and -Wno-error=xxx (for various values of "xxx")
+ to control which warnings are treated as errors.
- Support response files where additional command-line arguments can
be passed (syntax: @file).
- Improved wording of warning and error messages.
+- Improved handling of attributes, distinguishing attributes that apply
+ to types from attributes that apply to names. For example, in
+ __attribute((aligned(8),section("foo"))) int * p;
+ the "aligned" attribute is attached to type "int", while
+ the "section" attribute is attached to name "p".
Code generation: