diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2019-09-25 16:45:42 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-09-25 16:45:42 +0200 |
commit | b5b154620e454ba947957eb1164acbffff1cb5bd (patch) | |
tree | c6180d5a9cd2fcc8a193b62b19a0338998e022a9 /cparser/Cleanup.ml | |
parent | f1637021cd51505796e878a21d1b30df0b42e236 (diff) | |
download | compcert-b5b154620e454ba947957eb1164acbffff1cb5bd.tar.gz compcert-b5b154620e454ba947957eb1164acbffff1cb5bd.zip |
Functions that are extern should stay extern (#201)
In ISO C, inline functions behaves differently whether they have been declared `extern` at least once or not (i.e. all the declarations have no `extern` and no `static` modifier).
Hence, functions that have been declared / defined `extern` once should remain `extern` when redeclared without `extern`. This gives the ISO C behavior for inline functions and has no impact for non-inline functions.
Diffstat (limited to 'cparser/Cleanup.ml')
0 files changed, 0 insertions, 0 deletions