diff options
Diffstat (limited to 'cil/doc/examples/ex42.txt')
-rw-r--r-- | cil/doc/examples/ex42.txt | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/cil/doc/examples/ex42.txt b/cil/doc/examples/ex42.txt deleted file mode 100644 index b0f40b8..0000000 --- a/cil/doc/examples/ex42.txt +++ /dev/null @@ -1,22 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex42.c" -int main(void) -{ int tmp ; - - { - goto L; -#line 1 - if (0) { - L: -#line 1 - tmp = 1; - } else { -#line 1 - tmp = 0; - } -#line 1 - return (tmp); -} -} |