diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-28 09:18:49 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-28 09:18:49 +0100 |
commit | 2fd25fea96ecb39d2792f463b60fb39594fc75be (patch) | |
tree | 1a1b9987c7e0dfdd3523ce432bdf6aeec676de5d /arm | |
parent | 507f000343636e1e300b1f3af71177726926292c (diff) | |
download | compcert-2fd25fea96ecb39d2792f463b60fb39594fc75be.tar.gz compcert-2fd25fea96ecb39d2792f463b60fb39594fc75be.zip |
Allow adding of attributes in valid_assignment_attr.
Implementing the same behavior as gcc anc clang.
Bug 18004
Diffstat (limited to 'arm')
0 files changed, 0 insertions, 0 deletions