diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-05-13 18:56:53 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-05-13 18:56:53 +0200 |
commit | ad613e10f78bfe11e2df2ec055bcd02406456476 (patch) | |
tree | adb0df12de5b9054ede0306937fb4668df01ae9b /test/cminor | |
parent | ced4ff38f1309f05c9b750bde241bf87b83745fa (diff) | |
download | compcert-ad613e10f78bfe11e2df2ec055bcd02406456476.tar.gz compcert-ad613e10f78bfe11e2df2ec055bcd02406456476.zip |
Changed the enter_or_refine_ident function to produce an error if a non-static declaration is followed by a static declaration/definition.
Diffstat (limited to 'test/cminor')
0 files changed, 0 insertions, 0 deletions