diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-05-22 11:13:23 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-05-22 11:13:23 +0200 |
| commit | ef16a51223a4b73eed74c40ce9938248ab6b4b8a (patch) | |
| tree | 12a81f7818a01eab08b71b253320c11ebb364447 /common/Switch.v | |
| parent | 5dd1544021c608060d8ee5ba052cc82132fff741 (diff) | |
| download | compcert-ef16a51223a4b73eed74c40ce9938248ab6b4b8a.tar.gz compcert-ef16a51223a4b73eed74c40ce9938248ab6b4b8a.zip | |
In AST.calling_conventions, record whether the original C function was "old-style" unprototyped.
Use this info in printing function types for Csyntax and Clight.
Diffstat (limited to 'common/Switch.v')
0 files changed, 0 insertions, 0 deletions