diff options
author | Michael Schmidt <github@mschmidt.me> | 2019-07-05 16:12:54 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-07-05 16:57:32 +0200 |
commit | 5e8cac37b13cd3dcfbbe8e9dd939ed1fa9d5e310 (patch) | |
tree | 1d815de9d90a603380e6d13f8333d0000e3fb5df /arm | |
parent | 467eb744ae2e7d913744c04866fa3e1a4558cdbe (diff) | |
download | compcert-5e8cac37b13cd3dcfbbe8e9dd939ed1fa9d5e310.tar.gz compcert-5e8cac37b13cd3dcfbbe8e9dd939ed1fa9d5e310.zip |
Update synonymous list for -O0, add new named warning class
Diffstat (limited to 'arm')
0 files changed, 0 insertions, 0 deletions