diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-08-17 17:16:55 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-08-17 17:16:55 +0200 |
commit | 7f6149a019d796c479a1bbb6f1ad0a3181732dd2 (patch) | |
tree | 6b4a188ddb6bd274ec65ba20b5081a241b89c906 /test/regression | |
parent | 3bf5dcea0935b280189d04c34e84e46fb07f87e7 (diff) | |
download | compcert-7f6149a019d796c479a1bbb6f1ad0a3181732dd2.tar.gz compcert-7f6149a019d796c479a1bbb6f1ad0a3181732dd2.zip |
Wrong AST for GCC-style attributes
The list of arguments to the attribute was missing a reverse, hence
attribute(("foo"(1,2,3))) was actually read as attribute(("foo"(3,2,1))).
Diffstat (limited to 'test/regression')
0 files changed, 0 insertions, 0 deletions