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 /debug | |
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 'debug')
0 files changed, 0 insertions, 0 deletions