explicitly mark kill accesses
[pet.git] / tests / 
treedb80e3ada1082afda0c1361277799b9281b09dfc
drwxr-xr-x   ..
-rw-r--r-- 842 QR.c
-rw-r--r-- 4296 QR.scop
-rw-r--r-- 180 arg.c
-rw-r--r-- 1378 arg.scop
-rw-r--r-- 117 array.c
-rw-r--r-- 681 array.scop
-rw-r--r-- 208 assume.c
-rw-r--r-- 1119 assume.scop
-rw-r--r-- 96 assume2.c
-rw-r--r-- 803 assume2.scop
drwxr-xr-x - autodetect
-rw-r--r-- 85 boolean.c
-rw-r--r-- 1053 boolean.scop
-rw-r--r-- 181 break.c
-rw-r--r-- 1249 break.scop
-rw-r--r-- 210 break2.c
-rw-r--r-- 1283 break2.scop
-rw-r--r-- 188 break3.c
-rw-r--r-- 2443 break3.scop
-rw-r--r-- 359 break4.c
-rw-r--r-- 21941 break4.scop
-rw-r--r-- 271 break5.c
-rw-r--r-- 1391 break5.scop
-rw-r--r-- 186 break6.c
-rw-r--r-- 7848 break6.scop
-rw-r--r-- 148 break7.c
-rw-r--r-- 3262 break7.scop
-rw-r--r-- 82 cast.c
-rw-r--r-- 670 cast.scop
-rw-r--r-- 127 ceild.c
-rw-r--r-- 690 ceild.scop
-rw-r--r-- 498 conditional_assignment.c
-rw-r--r-- 4643 conditional_assignment.scop
-rw-r--r-- 509 conditional_assignment2.c
-rw-r--r-- 4926 conditional_assignment2.scop
-rw-r--r-- 184 continue.c
-rw-r--r-- 1256 continue.scop
-rw-r--r-- 291 continue2.c
-rw-r--r-- 7925 continue2.scop
-rw-r--r-- 217 continue3.c
-rw-r--r-- 5147 continue3.scop
-rw-r--r-- 218 continue4.c
-rw-r--r-- 4358 continue4.scop
-rw-r--r-- 218 continue5.c
-rw-r--r-- 4020 continue5.scop
-rw-r--r-- 178 cuervo.c
-rw-r--r-- 1440 cuervo.scop
-rw-r--r-- 500 data_dependent.c
-rw-r--r-- 3888 data_dependent.scop
-rw-r--r-- 208 data_dependent2.c
-rw-r--r-- 2721 data_dependent2.scop
-rw-r--r-- 111 dec.c
-rw-r--r-- 689 dec.scop
-rw-r--r-- 114 dec2.c
-rw-r--r-- 689 dec2.scop
-rw-r--r-- 115 dec3.c
-rw-r--r-- 689 dec3.scop
-rw-r--r-- 114 dec4.c
-rw-r--r-- 751 dec4.scop
-rw-r--r-- 284 decl.c
-rw-r--r-- 3513 decl.scop
-rw-r--r-- 71 decl2.c
-rw-r--r-- 883 decl2.scop
-rw-r--r-- 79 decl3.c
-rw-r--r-- 1232 decl3.scop
-rw-r--r-- 234 div_mod.c
-rw-r--r-- 2237 div_mod.scop
-rw-r--r-- 353 dynamic_bound.c
-rw-r--r-- 2825 dynamic_bound.scop
-rw-r--r-- 176 dynamic_condition.c
-rw-r--r-- 1168 dynamic_condition.scop
-rw-r--r-- 116 empty_domain.c
-rw-r--r-- 687 empty_domain.scop
drwxr-xr-x - encapsulate
-rw-r--r-- 138 enum.c
-rw-r--r-- 485 enum.scop
-rw-r--r-- 104 filter.c
-rw-r--r-- 737 filter.scop
-rw-r--r-- 99 filter2.c
-rw-r--r-- 1440 filter2.scop
-rw-r--r-- 127 filter3.c
-rw-r--r-- 1752 filter3.scop
-rw-r--r-- 77 float.c
-rw-r--r-- 817 float.scop
-rw-r--r-- 95 float2.c
-rw-r--r-- 900 float2.scop
-rw-r--r-- 117 floord.c
-rw-r--r-- 689 floord.scop
-rw-r--r-- 180 floord2.c
-rw-r--r-- 691 floord2.scop
-rw-r--r-- 233 for_while.c
-rw-r--r-- 2882 for_while.scop
-rw-r--r-- 236 for_while_dec.c
-rw-r--r-- 3071 for_while_dec.scop
-rw-r--r-- 236 for_while_inc.c
-rw-r--r-- 3111 for_while_inc.scop
-rw-r--r-- 236 for_while_inc2.c
-rw-r--r-- 4730 for_while_inc2.scop
-rw-r--r-- 236 for_while_inc3.c
-rw-r--r-- 4732 for_while_inc3.scop
-rw-r--r-- 241 for_while_inc4.c
-rw-r--r-- 3974 for_while_inc4.scop
-rw-r--r-- 233 for_while_init.c
-rw-r--r-- 4727 for_while_init.scop
-rw-r--r-- 236 for_while_init2.c
-rw-r--r-- 4824 for_while_init2.scop
-rw-r--r-- 147 for_while_init3.c
-rw-r--r-- 4076 for_while_init3.scop
-rw-r--r-- 193 for_while_overflow.c
-rw-r--r-- 2083 for_while_overflow.scop
-rw-r--r-- 246 for_while_unsigned.c
-rw-r--r-- 3093 for_while_unsigned.scop
-rw-r--r-- 318 for_while_unsigned2.c
-rw-r--r-- 3646 for_while_unsigned2.scop
-rw-r--r-- 97 forward_substitution1.c
-rw-r--r-- 1648 forward_substitution1.scop
-rw-r--r-- 94 forward_substitution2.c
-rw-r--r-- 1510 forward_substitution2.scop
-rw-r--r-- 99 forward_substitution3.c
-rw-r--r-- 2304 forward_substitution3.scop
-rw-r--r-- 108 forward_substitution4.c
-rw-r--r-- 1469 forward_substitution4.scop
-rw-r--r-- 95 forward_substitution5.c
-rw-r--r-- 1511 forward_substitution5.scop
-rw-r--r-- 103 generic_condition.c
-rw-r--r-- 555 generic_condition.scop
-rw-r--r-- 146 generic_condition2.c
-rw-r--r-- 622 generic_condition2.scop
-rw-r--r-- 75 if1.c
-rw-r--r-- 1174 if1.scop
-rw-r--r-- 80 if2.c
-rw-r--r-- 456 if2.scop
-rw-r--r-- 116 implicit_condition.c
-rw-r--r-- 688 implicit_condition.scop
-rw-r--r-- 109 inc.c
-rw-r--r-- 688 inc.scop
-rw-r--r-- 109 inc2.c
-rw-r--r-- 732 inc2.scop
-rw-r--r-- 112 inc3.c
-rw-r--r-- 688 inc3.scop
-rw-r--r-- 128 inc4.c
-rw-r--r-- 688 inc4.scop
-rw-r--r-- 117 inc5.c
-rw-r--r-- 3403 inc5.scop
-rw-r--r-- 189 independent1.c
-rw-r--r-- 1392 independent1.scop
-rw-r--r-- 182 independent2.c
-rw-r--r-- 1343 independent2.scop
-rw-r--r-- 211 independent3.c
-rw-r--r-- 3461 independent3.scop
-rw-r--r-- 212 independent4.c
-rw-r--r-- 1298 independent4.scop
-rw-r--r-- 209 inf.c
-rw-r--r-- 1230 inf.scop
-rw-r--r-- 210 inf2.c
-rw-r--r-- 1230 inf2.scop
-rw-r--r-- 106 inf3.c
-rw-r--r-- 1373 inf3.scop
-rw-r--r-- 218 inf4.c
-rw-r--r-- 1230 inf4.scop
-rw-r--r-- 113 iterator_declaration.c
-rw-r--r-- 688 iterator_declaration.scop
-rw-r--r-- 73 label.c
-rw-r--r-- 747 label.scop
-rw-r--r-- 96 loop.c
-rw-r--r-- 482 loop.scop
-rw-r--r-- 118 loop2.c
-rw-r--r-- 622 loop2.scop
-rw-r--r-- 126 loop3.c
-rw-r--r-- 622 loop3.scop
-rw-r--r-- 129 loop4.c
-rw-r--r-- 597 loop4.scop
-rw-r--r-- 112 loop5.c
-rw-r--r-- 612 loop5.scop
-rw-r--r-- 139 loop6.c
-rw-r--r-- 609 loop6.scop
-rw-r--r-- 116 loop7.c
-rw-r--r-- 2829 loop7.scop
-rw-r--r-- 111 loop8.c
-rw-r--r-- 681 loop8.scop
-rw-r--r-- 101 loop_body.c
-rw-r--r-- 458 loop_body.scop
-rw-r--r-- 97 loop_body2.c
-rw-r--r-- 456 loop_body2.scop
-rw-r--r-- 76 macro.c
-rw-r--r-- 206 macro.scop
-rw-r--r-- 279 matmul.c
-rw-r--r-- 1892 matmul.scop
-rw-r--r-- 119 max.c
-rw-r--r-- 705 max.scop
-rw-r--r-- 123 min.c
-rw-r--r-- 706 min.scop
-rw-r--r-- 168 min2.c
-rw-r--r-- 707 min2.scop
-rw-r--r-- 125 mod.c
-rw-r--r-- 732 mod.scop
-rw-r--r-- 129 mod2.c
-rw-r--r-- 840 mod2.scop
-rw-r--r-- 142 omega.c
-rw-r--r-- 707 omega.scop
-rw-r--r-- 176 piecewise.c
-rw-r--r-- 770 piecewise.scop
-rw-r--r-- 170 piecewise2.c
-rw-r--r-- 770 piecewise2.scop
-rw-r--r-- 206 propagate.c
-rw-r--r-- 1936 propagate.scop
-rw-r--r-- 220 quasi_affine.c
-rw-r--r-- 1938 quasi_affine.scop
-rw-r--r-- 61 scalar.c
-rw-r--r-- 456 scalar.scop
-rw-r--r-- 67 scalar_inc.c
-rw-r--r-- 729 scalar_inc.scop
-rw-r--r-- 93 shortcut1.c
-rw-r--r-- 547 shortcut1.scop
-rw-r--r-- 93 shortcut2.c
-rw-r--r-- 546 shortcut2.scop
-rw-r--r-- 144 static.c
-rw-r--r-- 679 static.scop
-rw-r--r-- 91 struct1.c
-rw-r--r-- 647 struct1.scop
-rw-r--r-- 101 struct10.c
-rw-r--r-- 911 struct10.scop
-rw-r--r-- 129 struct11.c
-rw-r--r-- 1655 struct11.scop
-rw-r--r-- 168 struct2.c
-rw-r--r-- 827 struct2.scop
-rw-r--r-- 261 struct3.c
-rw-r--r-- 1744 struct3.scop
-rw-r--r-- 191 struct4.c
-rw-r--r-- 1274 struct4.scop
-rw-r--r-- 193 struct5.c
-rw-r--r-- 1295 struct5.scop
-rw-r--r-- 93 struct6.c
-rw-r--r-- 674 struct6.scop
-rw-r--r-- 181 struct7.c
-rw-r--r-- 1504 struct7.scop
-rw-r--r-- 227 struct8.c
-rw-r--r-- 1741 struct8.scop
-rw-r--r-- 361 struct9.c
-rw-r--r-- 1838 struct9.scop
-rw-r--r-- 143 ternary.c
-rw-r--r-- 1167 ternary.scop
-rw-r--r-- 134 tobi1.c
-rw-r--r-- 532 tobi1.scop
-rw-r--r-- 204 tobi2.c
-rw-r--r-- 696 tobi2.scop
-rw-r--r-- 258 unsigned1.c
-rw-r--r-- 653 unsigned1.scop
-rw-r--r-- 114 unsigned2.c
-rw-r--r-- 487 unsigned2.scop
-rw-r--r-- 103 unsigned3.c
-rw-r--r-- 582 unsigned3.scop
-rw-r--r-- 152 unsigned_break1.c
-rw-r--r-- 912 unsigned_break1.scop
-rw-r--r-- 174 unsigned_break2.c
-rw-r--r-- 2211 unsigned_break2.scop
-rw-r--r-- 621 wdp.c
-rw-r--r-- 5894 wdp.scop
-rw-r--r-- 212 while.c
-rw-r--r-- 2813 while.scop
-rw-r--r-- 208 while_affine.c
-rw-r--r-- 1264 while_affine.scop
-rw-r--r-- 296 while_break.c
-rw-r--r-- 7794 while_break.scop
-rw-r--r-- 159 while_break2.c
-rw-r--r-- 2237 while_break2.scop
-rw-r--r-- 111 while_inc.c
-rw-r--r-- 2666 while_inc.scop
-rw-r--r-- 179 while_overflow.c
-rw-r--r-- 2083 while_overflow.scop