diff options
author | François Pottier <francois.pottier@inria.fr> | 2015-10-23 13:45:27 +0200 |
---|---|---|
committer | François Pottier <francois.pottier@inria.fr> | 2015-10-23 13:45:27 +0200 |
commit | dd95046b3d6bb6603529e20f2d15b14fe4144a94 (patch) | |
tree | 2bfdafa64ff15b16e7d336f8d51c81b8105ba7d5 /cparser/tests/handwritten/missing-closing-brace-at-end-of-function.c | |
parent | f8be3f5f2937b053b9cb75ada7937a6c1b20f019 (diff) | |
download | compcert-dd95046b3d6bb6603529e20f2d15b14fe4144a94.tar.gz compcert-dd95046b3d6bb6603529e20f2d15b14fe4144a94.zip |
Added some handwritten .c files in tests/handwritten/.
Diffstat (limited to 'cparser/tests/handwritten/missing-closing-brace-at-end-of-function.c')
-rw-r--r-- | cparser/tests/handwritten/missing-closing-brace-at-end-of-function.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/cparser/tests/handwritten/missing-closing-brace-at-end-of-function.c b/cparser/tests/handwritten/missing-closing-brace-at-end-of-function.c new file mode 100644 index 00000000..dfb3691d --- /dev/null +++ b/cparser/tests/handwritten/missing-closing-brace-at-end-of-function.c @@ -0,0 +1,10 @@ +int main (void) +{ + int x = 0; + x++; + /* missing closing brace, here */ + /* unfortunately, the error is detected only after the declaration of f */ + +void f (void) +{ +} |