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 /.gitattributes | |
| parent | f1637021cd51505796e878a21d1b30df0b42e236 (diff) | |
| download | compcert-kvx-b5b154620e454ba947957eb1164acbffff1cb5bd.tar.gz compcert-kvx-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 '.gitattributes')
0 files changed, 0 insertions, 0 deletions