diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-05-07 20:09:54 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-05-26 11:05:13 +0200 |
| commit | 2b2585f39000f7000f296bc5b35c14e70f0c31fe (patch) | |
| tree | f7b8f8a520d65af2fb7bc94332e7760bae1eb032 /runtime | |
| parent | 3de896cebebbdb35d179d17133ee53e505b1f0a8 (diff) | |
| download | compcert-2b2585f39000f7000f296bc5b35c14e70f0c31fe.tar.gz compcert-2b2585f39000f7000f296bc5b35c14e70f0c31fe.zip | |
Warning for extern declaration after definition.
Warning for change of storage class after the definition of a function
from default storage class to extern storage class. This only plays a
role if the function is also declared inline, since for inline functions
with default storage class no code is generated, but for inline functions
with extern storage class code should be generated.
Bug 23512
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions