diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-22 15:46:40 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-22 15:46:40 +0200 |
| commit | 97ef3561168a6262833e65aba379ab9aca1a1a17 (patch) | |
| tree | 1ea46137d9c9ecc4269bd6bde494436898b6a6a0 /cfrontend/Clight.v | |
| parent | 0200f6b77550e95c0ec309d1a44f5253fc790e4f (diff) | |
| download | compcert-97ef3561168a6262833e65aba379ab9aca1a1a17.tar.gz compcert-97ef3561168a6262833e65aba379ab9aca1a1a17.zip | |
Also print declarations in CompCert C.
The PrintCsyntax now first emits declarations for all functions
and variables in order to allow foward declarations.
Bug 19598.
Diffstat (limited to 'cfrontend/Clight.v')
0 files changed, 0 insertions, 0 deletions