diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-04-19 07:55:04 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-04-19 08:55:04 +0300 |
commit | e79bc7f63db91866c2401c898cffe373125d46c6 (patch) | |
tree | 3f30b60654ae4d9b1dcd921dd65c64301a1b19ab /runtime/c/i64_stod.c | |
parent | 9195d4826485709c1a903ab307b7e18112c021ab (diff) | |
download | compcert-e79bc7f63db91866c2401c898cffe373125d46c6.tar.gz compcert-e79bc7f63db91866c2401c898cffe373125d46c6.zip |
Function defintions: keep the attributes from previous declarations (#89)
After calling enter_or_refine for a function identifier we need to keep
the combined attributes. Here is an example where it makes a difference:
```
_Noreturn void f(int x);
void f(int x) { }
```
Before this commit, the `_Noreturn` on the declaration is ignored when checking the definition.
Bug 23385
Diffstat (limited to 'runtime/c/i64_stod.c')
0 files changed, 0 insertions, 0 deletions