diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-07-21 16:42:12 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-07-21 16:42:12 +0200 |
| commit | 7aa563e8d3730e37f42979989f2fa87c940a4d4b (patch) | |
| tree | cc72cdcc76be43ab2328cb2d298ed138a667bfab /README.md | |
| parent | 68df90c91ab67a32fc666bf18798bba9ae6c5f9d (diff) | |
| download | compcert-7aa563e8d3730e37f42979989f2fa87c940a4d4b.tar.gz compcert-7aa563e8d3730e37f42979989f2fa87c940a4d4b.zip | |
Improved handling of C90 calls to undeclared functions
In a call such as "f(expr, ..., expr)", if the identifier "f" is not declared, declare it as specified in the ISO C90 standard, namely like "extern int f()" would do it. Previously, the declaration was done "on the side" and not properly recorded in the environments.
The diff is relatively large because the "enter_or_refine_ident" had to be moved up in the file.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions