diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-02-07 15:19:11 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-02-07 15:19:11 +0100 |
commit | 6f3850a92150c26f29d666b31461887676d07668 (patch) | |
tree | fee38c2e44b4342a03e619e0622126ae627cbaa2 | |
parent | 6b0dbab6d1315ae3b0df26d034bce771f743af85 (diff) | |
download | compcert-6f3850a92150c26f29d666b31461887676d07668.tar.gz compcert-6f3850a92150c26f29d666b31461887676d07668.zip |
Changelog update concerning attribute handling
-rw-r--r-- | Changelog | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -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: |