diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2019-02-15 10:57:54 +0100 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-02-25 17:15:36 +0100 |
commit | 4fb8df8cd1df4552e937d02fa78fc4993af81e63 (patch) | |
tree | 512eb6f4a383243ea372b9729cc7776998851cfb /test/regression/Results/casts2 | |
parent | eec6d60b5fa43fa8cf011747d6b98322dcdaaae8 (diff) | |
download | compcert-4fb8df8cd1df4552e937d02fa78fc4993af81e63.tar.gz compcert-4fb8df8cd1df4552e937d02fa78fc4993af81e63.zip |
Revised attachment of name attributes to structs, unions, enums
Consider:
```
struct s { ... } __attribute((aligned(N)));
struct t { ... }
__attribute((aligned(N))) struct t x;
```
In the first case, the aligned attribute should be attached to struct s, so that further references to struct s are aligned.
In the second case, the aligned attribute should be attached to the variable x, because if we attach it to struct t, it will be ignored and cause a warning.
This commit changes the attachment rule so that it treats both cases right.
Extend regression test for "aligned" attribute accordingly, by testing
aligned attribute applied to a name of struct type.
Diffstat (limited to 'test/regression/Results/casts2')
0 files changed, 0 insertions, 0 deletions