diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-07-08 11:24:09 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-07-08 11:24:09 +0200 |
| commit | 3eb2b3b7bb464d9844f7c161fbcff53f597348b9 (patch) | |
| tree | 14e8c38541ebb43513f61a426ad3e26209499ef7 /cparser/StructReturn.ml | |
| parent | cbcf2f8950d0ea7208d9c021422946433f90e745 (diff) | |
| download | compcert-3eb2b3b7bb464d9844f7c161fbcff53f597348b9.tar.gz compcert-3eb2b3b7bb464d9844f7c161fbcff53f597348b9.zip | |
Add implicit "return 0;" at end of function "main".
As per ISO C99, "hosted environment".
"return 0" is added at the end of any function named "main" that has
"int" as return type. If the name is "main" but the return type is
not "int", emit a warning and do not add anything.
Diffstat (limited to 'cparser/StructReturn.ml')
0 files changed, 0 insertions, 0 deletions