diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-11-19 03:07:34 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-11-21 14:37:39 +0100 |
| commit | 172f6a98702de6eeef181fa72d07dfc78c5b40d1 (patch) | |
| tree | 9b9a7fa54010e581f38f48d7908283130fd79e5a /validation/enum-bounds.c | |
| parent | 9305d48da0890d578254bd0e671e55a30b77ced0 (diff) | |
| download | sparse-dev-172f6a98702de6eeef181fa72d07dfc78c5b40d1.tar.gz | |
let function definition inherit prototype attributes
It's common to declare a function with the attribute
'pure' or 'noreturn' and to omit the attribute in the
function definition. It makes somehow sense since the
information conveyed by these attributes are destined
to the function users not the function itself.
So, when checking declaration/definition, let the
current symbol inherit any function attributes present
in previous declarations.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/enum-bounds.c')
0 files changed, 0 insertions, 0 deletions