From ce1c2de044c91624370411e23acab13b0381949b Mon Sep 17 00:00:00 2001 From: mikebarnett Date: Wed, 15 Jul 2009 21:03:41 +0000 Subject: Initial set of files. --- Test/test0/LineParse.bpl | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 Test/test0/LineParse.bpl (limited to 'Test/test0/LineParse.bpl') diff --git a/Test/test0/LineParse.bpl b/Test/test0/LineParse.bpl new file mode 100644 index 00000000..a64eed0b --- /dev/null +++ b/Test/test0/LineParse.bpl @@ -0,0 +1,12 @@ +#line +#line +#line 0 +#line 0 + +#dontknow what this is No, I don't well, it's an error is what it is + +#define ASSERT(x) {if (!(x)) { crash(); }} // error: A B C . txt(12,0) + +// this is line 5; an error occurs on line 6: + #line 10 // this is not even scanned like a pragma, because the # is not in column 0 + -- cgit v1.2.3