diff options
Diffstat (limited to 'cil/doc/examples/ex26.txt')
-rw-r--r-- | cil/doc/examples/ex26.txt | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/cil/doc/examples/ex26.txt b/cil/doc/examples/ex26.txt deleted file mode 100644 index 8f5b1718..00000000 --- a/cil/doc/examples/ex26.txt +++ /dev/null @@ -1,29 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex26.c" -int foo(int predicate ) -{ int __retres ; - - { -#line 2 - if (predicate <= 0) { -#line 3 - __retres = 1; - goto return_label; - } else { -#line 5 - if (predicate > 5) { -#line 6 - __retres = 2; - goto return_label; - } -#line 7 - __retres = 3; - goto return_label; - } - return_label: /* CIL Label */ -#line 1 - return (__retres); -} -} |