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 /configure | |
| 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 'configure')
0 files changed, 0 insertions, 0 deletions