diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-16 10:27:49 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-16 10:27:49 +0100 |
commit | 6bef869040014b4d589a8e49b42ac36a970d1bc6 (patch) | |
tree | 1310b87acfeefa5b0d06d6c6b5e612ba9420befc /x86/SelectLong.vp | |
parent | 15f354788a954635b44b3d2fae1057f67006509e (diff) | |
download | compcert-6bef869040014b4d589a8e49b42ac36a970d1bc6.tar.gz compcert-6bef869040014b4d589a8e49b42ac36a970d1bc6.zip |
Change warning for pragmas inside functions
Follow-up to 35e2b11db.
Put the warning "pragmas are ignored inside functions" inside the Unnamed
category, so that it is displayed by default and cannot be disabled.
Diffstat (limited to 'x86/SelectLong.vp')
0 files changed, 0 insertions, 0 deletions