db/fixup_kernel.sh: fix clear_user() handlingmaster
[smatch.git] / validation / optim / 
tree5b7857922407022ac8308cedec5b1dd2e765d934
drwxr-xr-x   ..
-rw-r--r-- 267 address-used01.c
-rw-r--r-- 488 and-extend.c
-rw-r--r-- 295 and-lsr.c
-rw-r--r-- 314 and-or-bf0.c
-rw-r--r-- 283 and-or-bf1.c
-rw-r--r-- 297 and-or-bf2.c
-rw-r--r-- 420 and-or-bfs.c
-rw-r--r-- 349 and-or-bfu.c
-rw-r--r-- 265 and-or-bfx.c
-rw-r--r-- 200 and-or-constant0.c
-rw-r--r-- 276 and-or-constant1.c
-rw-r--r-- 257 and-or-constant2.c
-rw-r--r-- 141 and-or-crash.c
-rw-r--r-- 229 and-or-lsr0.c
-rw-r--r-- 243 and-or-lsr1.c
-rw-r--r-- 267 and-or-lsr2.c
-rw-r--r-- 286 and-or-lsrx.c
-rw-r--r-- 231 and-or-mask.c
-rw-r--r-- 209 and-or-mask0.c
-rw-r--r-- 246 and-or-mask1.c
-rw-r--r-- 268 and-or-mask2.c
-rw-r--r-- 479 and-or-mask3s.c
-rw-r--r-- 477 and-or-mask3u.c
-rw-r--r-- 476 and-or-mask4.c
-rw-r--r-- 254 and-or-maskx.c
-rw-r--r-- 206 and-or-shl0.c
-rw-r--r-- 243 and-or-shl1.c
-rw-r--r-- 267 and-or-shl2.c
-rw-r--r-- 290 and-or-shlx.c
-rw-r--r-- 230 and-or-trunc0.c
-rw-r--r-- 198 and-or-trunc1.c
-rw-r--r-- 241 and-or-trunc2.c
-rw-r--r-- 245 and-or-truncx.c
-rw-r--r-- 371 and-trunc.c
-rw-r--r-- 245 bad-phisrc1.c
-rw-r--r-- 315 bad-phisrc1a.c
-rw-r--r-- 232 bad-phisrc2.c
-rw-r--r-- 280 bad-phisrc3.c
-rw-r--r-- 1337 binops-same-args.c
-rw-r--r-- 1325 bitfield-init-zero.c
-rw-r--r-- 934 bitfield-size.c
-rw-r--r-- 543 bitfield-store-load0.c
-rw-r--r-- 438 bitfield-store-loads.c
-rw-r--r-- 366 bitfield-store-loadu.c
-rw-r--r-- 430 bits-not-zero.c
-rw-r--r-- 1717 bool-context-fp.c
-rw-r--r-- 273 bool-context.c
-rw-r--r-- 284 bool-eq0.c
-rw-r--r-- 324 bool-int-bool.c
-rw-r--r-- 290 bool-ne0.c
-rw-r--r-- 292 bool-neq0.c
-rw-r--r-- 295 bool-same-args.c
-rw-r--r-- 335 bool-sext-test.c
-rw-r--r-- 766 bool-simplify.c
-rw-r--r-- 4220 bool-simplify2.c
-rw-r--r-- 335 bool-zext-test.c
-rw-r--r-- 302 call-complex-pointer.c
-rw-r--r-- 320 call-inlined.c
-rw-r--r-- 344 canonical-abs.c
-rw-r--r-- 960 canonical-add.c
-rw-r--r-- 293 canonical-arg.c
-rw-r--r-- 1039 canonical-cmp-zero.c
-rw-r--r-- 1006 canonical-cmp.c
-rw-r--r-- 460 canonical-cmpe-minmax.c
-rw-r--r-- 436 canonical-cmps-minmax.c
-rw-r--r-- 561 canonical-cmps-sel.c
-rw-r--r-- 462 canonical-cmps.c
-rw-r--r-- 466 canonical-cmpu.c
-rw-r--r-- 2028 canonical-fcmp.c
-rw-r--r-- 668 canonical-mul.c
-rw-r--r-- 200 canonical-not.c
-rw-r--r-- 206 canonical-sub-cte.c
-rw-r--r-- 6906 cast-kinds.c
-rw-r--r-- 272 cast-nop.c
-rw-r--r-- 375 cgoto01.c
-rw-r--r-- 232 cgoto02.c
-rw-r--r-- 274 cmp-and-pow2.c
-rw-r--r-- 239 cmp-op-type.c
-rw-r--r-- 574 cmp-sext-sext.c
-rw-r--r-- 2822 cmp-sext-simm.c
-rw-r--r-- 943 cmp-sext-uimm.c
-rw-r--r-- 947 cmp-sext.c
-rw-r--r-- 197 cmp-type0.c
-rw-r--r-- 203 cmp-type1.c
-rw-r--r-- 873 cmp-zext-simm.c
-rw-r--r-- 764 cmp-zext-uimm0.c
-rw-r--r-- 500 cmp-zext-uimm1.c
-rw-r--r-- 1419 cmp-zext-uimm2.c
-rw-r--r-- 577 cmp-zext-zext.c
-rw-r--r-- 584 cmp-zext.c
-rw-r--r-- 263 cmpe-and0.c
-rw-r--r-- 232 cmpe-or0.c
-rw-r--r-- 736 cmps-and0.c
-rw-r--r-- 382 cmps-minmax.c
-rw-r--r-- 700 cmps-or0.c
-rw-r--r-- 290 cmps0-and0.c
-rw-r--r-- 575 cmpu-and0.c
-rw-r--r-- 606 cmpu-or0.c
-rw-r--r-- 188 cse-arg01.c
-rw-r--r-- 261 cse-cmp-next.c
-rw-r--r-- 766 cse-commutativity.c
-rw-r--r-- 1408 cse-dual-compare.c
-rw-r--r-- 253 cse-fcmp.c
-rw-r--r-- 188 cse-label.c
-rw-r--r-- 261 cse-not01.c
-rw-r--r-- 318 cse-not02.c
-rw-r--r-- 211 cse-reg01.c
-rw-r--r-- 220 cse-setfval.c
-rw-r--r-- 261 cse-size.c
-rw-r--r-- 298 devirtualize0.c
-rw-r--r-- 351 double-unop.c
-rw-r--r-- 260 dup-cond0.c
-rw-r--r-- 389 eqne-select.c
-rw-r--r-- 239 ext-trunc-greater.c
-rw-r--r-- 306 ext-trunc-same.c
-rw-r--r-- 274 ext-trunc-smaller.c
-rw-r--r-- 1437 fact-add-mul.c
-rw-r--r-- 1437 fact-and-ior.c
-rw-r--r-- 483 fact-and-shift.c
-rw-r--r-- 1437 fact-ior-and.c
-rw-r--r-- 483 fact-ior-shift.c
-rw-r--r-- 1386 fact-select01.c
-rw-r--r-- 1437 fact-xor-and.c
-rw-r--r-- 483 fact-xor-shift.c
-rw-r--r-- 245 fpcast-constant.c
-rw-r--r-- 414 fpcast-nop.c
-rw-r--r-- 316 inline-return.c
-rw-r--r-- 492 kill-casts.c
-rw-r--r-- 390 kill-stores0.c
-rw-r--r-- 694 kill-stores1.c
-rw-r--r-- 222 kill-stores2.c
-rw-r--r-- 194 killed-insn.c
-rw-r--r-- 388 live-stores0.c
-rw-r--r-- 227 load-converted.c
-rw-r--r-- 196 load-dead.c
-rw-r--r-- 356 load-semi-volatile.c
-rw-r--r-- 236 lsr-and0.c
-rw-r--r-- 479 lsr-and1.c
-rw-r--r-- 527 lsr-asr.c
-rw-r--r-- 270 lsr-shl0.c
-rw-r--r-- 374 lsr-to-asr.c
-rw-r--r-- 277 mask-lsr.c
-rw-r--r-- 226 mask-out.c
-rw-r--r-- 317 mask1-setne0.c
-rw-r--r-- 346 memops-missed01.c
-rw-r--r-- 226 memops-missed02.c
-rw-r--r-- 357 merge_bbe-adjust_phi.c
-rw-r--r-- 291 missing-select.c
-rw-r--r-- 478 muldiv-by-one.c
-rw-r--r-- 269 muldiv-by-zero.c
-rw-r--r-- 475 muldiv-minus-one.c
-rw-r--r-- 279 multi-phisrc.c
-rw-r--r-- 77 null-phi.c
-rw-r--r-- 438 or-and-constant1.c
-rw-r--r-- 349 phi-count00.c
-rw-r--r-- 269 phi-ret.c
-rw-r--r-- 300 range-check1.c
-rw-r--r-- 234 range-check2.c
-rw-r--r-- 220 reassoc-op-op1.c
-rw-r--r-- 938 restrict.c
-rw-r--r-- 380 select-and-shift.c
-rw-r--r-- 272 select-constant-cond.c
-rw-r--r-- 193 select-same-args.c
-rw-r--r-- 309 select-select-true-false0.c
-rw-r--r-- 232 select-select-true-false1.c
-rw-r--r-- 220 select-select-true-true.c
-rw-r--r-- 244 select-self-zero.c
-rw-r--r-- 240 select-zero.c
-rw-r--r-- 552 set-uimm0.c
-rw-r--r-- 259 set-uimm1.c
-rw-r--r-- 425 set-uimm2.c
-rw-r--r-- 249 set-uimm3.c
-rw-r--r-- 227 setcc-mask.c
-rw-r--r-- 685 setcc-setcc.c
-rw-r--r-- 353 setcc-seteq.c
-rw-r--r-- 356 setcc-setne.c
-rw-r--r-- 184 setne0-sext.c
-rw-r--r-- 186 setne0-trunc.c
-rw-r--r-- 210 setne0-zext.c
-rw-r--r-- 205 sext-sext.c
-rw-r--r-- 250 sext.c
-rw-r--r-- 423 sh-or-and0.c
-rw-r--r-- 425 sh-or-and1.c
-rw-r--r-- 489 sh-or-and2.c
-rw-r--r-- 1259 shift-big.c
-rw-r--r-- 1623 shift-shift.c
-rw-r--r-- 221 shift-zext.c
-rw-r--r-- 236 shl-and0.c
-rw-r--r-- 479 shl-and1.c
-rw-r--r-- 273 shl-lsr0.c
-rw-r--r-- 207 simplify-add-neg.c
-rw-r--r-- 214 simplify-cte-sub-addl.c
-rw-r--r-- 214 simplify-cte-sub-addr.c
-rw-r--r-- 209 simplify-cte-sub-subr.c
-rw-r--r-- 219 simplify-neg-add-cte.c
-rw-r--r-- 207 simplify-neg-add.c
-rw-r--r-- 196 simplify-neg-not.c
-rw-r--r-- 208 simplify-neg-sub.c
-rw-r--r-- 219 simplify-not-add-cte.c
-rw-r--r-- 198 simplify-not-neg.c
-rw-r--r-- 219 simplify-not-sub-cte.c
-rw-r--r-- 219 simplify-not-xor-cte.c
-rw-r--r-- 242 simplify-same-add-subl.c
-rw-r--r-- 242 simplify-same-add-subr.c
-rw-r--r-- 207 simplify-same-addl-sub.c
-rw-r--r-- 207 simplify-same-sub-addl.c
-rw-r--r-- 279 simplify-same-subl-add.c
-rw-r--r-- 279 simplify-same-subr-add.c
-rw-r--r-- 207 simplify-sub-neg.c
-rw-r--r-- 195 simplify-zero-sub.c
-rw-r--r-- 211 store-dominated.c
-rw-r--r-- 197 testsuite.c
-rw-r--r-- 252 trivial-phi01.c
-rw-r--r-- 221 trivial-phis.c
-rw-r--r-- 271 trunc-mask-zext.c
-rw-r--r-- 536 trunc-not0.c
-rw-r--r-- 368 trunc-or-shl.c
-rw-r--r-- 384 trunc-seteq0.c
-rw-r--r-- 286 trunc-setne0.c
-rw-r--r-- 200 trunc-trunc.c
-rw-r--r-- 327 void-if-convert.c
-rw-r--r-- 217 volatile-bitfield.c
-rw-r--r-- 217 volatile-side-effect.c
-rw-r--r-- 331 volatile-store00.c
-rw-r--r-- 213 zext-and.c
-rw-r--r-- 220 zext-and1.c
-rw-r--r-- 237 zext-asr.c
-rw-r--r-- 779 zext-cmpu.c
-rw-r--r-- 241 zext-sext.c
-rw-r--r-- 250 zext-zext.c