aboutsummaryrefslogtreecommitdiffstats
path: root/arm
diff options
context:
space:
mode:
authorBernhard Schommer <bschommer@users.noreply.github.com>2018-05-07 17:21:55 +0200
committerGitHub <noreply@github.com>2018-05-07 17:21:55 +0200
commite2c2f22be7e4df4ceb9a4c7e6c1695d0aeef7865 (patch)
tree6ba8c18b1de5983363826645eed123aca5702220 /arm
parent6657ff7f757d22ad70fe13458f8e7eb76698ac6b (diff)
downloadcompcert-e2c2f22be7e4df4ceb9a4c7e6c1695d0aeef7865.tar.gz
compcert-e2c2f22be7e4df4ceb9a4c7e6c1695d0aeef7865.zip
Added a diagnostic for attributes dec after def
The new warning is raise for function declaration after a function definition that introduce new attributes, which are ignored. Bug 23385
Diffstat (limited to 'arm')
0 files changed, 0 insertions, 0 deletions