diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-22 16:54:41 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-22 16:54:41 +0200 |
| commit | c9afca3d377bd32bd8dd551aee49d561cc1fa770 (patch) | |
| tree | 8baf40d368afff47720e33d761e96d301a145e86 /cparser/Cabshelper.ml | |
| parent | 97ef3561168a6262833e65aba379ab9aca1a1a17 (diff) | |
| download | compcert-c9afca3d377bd32bd8dd551aee49d561cc1fa770.tar.gz compcert-c9afca3d377bd32bd8dd551aee49d561cc1fa770.zip | |
Better error message for function initializer
Initializers for function variables are not allowed. CompCert now
reports an error and exits.
Bug 19606
Diffstat (limited to 'cparser/Cabshelper.ml')
0 files changed, 0 insertions, 0 deletions