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 /cfrontend | |
| parent | 9195d4826485709c1a903ab307b7e18112c021ab (diff) | |
| download | compcert-kvx-e79bc7f63db91866c2401c898cffe373125d46c6.tar.gz compcert-kvx-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 'cfrontend')
0 files changed, 0 insertions, 0 deletions