diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-08 16:08:49 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-08 16:08:49 +0100 |
commit | 251bd245dd2709ffd553a2dec48e05853acc0cf7 (patch) | |
tree | fb5bd7295337561d19623634491164642e163650 | |
parent | 42adde29c69ea99256a4303503dd5b30f978f172 (diff) | |
parent | 6f3850a92150c26f29d666b31461887676d07668 (diff) | |
download | compcert-251bd245dd2709ffd553a2dec48e05853acc0cf7.tar.gz compcert-251bd245dd2709ffd553a2dec48e05853acc0cf7.zip |
Merge branch 'master' of github.com:AbsInt/CompCert
-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: |