diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-03-23 11:30:27 +0100 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-03-23 11:30:27 +0100 |
commit | 6c295e28af6a7facd10bd8672a8857a6b1b4971c (patch) | |
tree | 7104ca42aa38829c809f757a9a87ee2436a4bb29 /test | |
parent | 3f83ae50789d44c49bec5db292d58db3f02d5f79 (diff) | |
download | compcert-6c295e28af6a7facd10bd8672a8857a6b1b4971c.tar.gz compcert-6c295e28af6a7facd10bd8672a8857a6b1b4971c.zip |
Do not allow inline on main and warn for Noreturn (#63)
* Do not allow inline on main().
The C99 standard says that in a hosted environment inline shall
not appear in a declaration of main.
Bug 23274
* Added warning for _Noreturn on main().
The C11 standard does not allow any function specifier on the
main function.
Bug 23274
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions