math: array parameters can be NULL
[smatch.git] / validation / linear / 
treefe11016b6501b9082c0045c7a572dea24f07490a
drwxr-xr-x   ..
-rw-r--r-- 309 asm-memop.c
-rw-r--r-- 195 asm-toplevel.c
-rw-r--r-- 374 bitfield-expand-deref.c
-rw-r--r-- 205 bitfield-inc.c
-rw-r--r-- 513 bitfield-init-mask.c
-rw-r--r-- 283 bitfield-preinc.c
-rw-r--r-- 3456 bitfield-size.c
-rw-r--r-- 423 bitfield-store.c
-rw-r--r-- 514 bool-cast-lp32.c
-rw-r--r-- 528 bool-cast-lp64.c
-rw-r--r-- 1275 bool-cast.c
-rw-r--r-- 336 builtin_unreachable0.c
-rw-r--r-- 342 builtin_unreachable1.c
-rw-r--r-- 639 call-basic.c
-rw-r--r-- 545 call-builtin.c
-rw-r--r-- 536 call-casted-pointer.c
-rw-r--r-- 542 call-complex-pointer.c
-rw-r--r-- 440 call-direct.c
-rw-r--r-- 481 call-indirect.c
-rw-r--r-- 496 call-inline.c
-rw-r--r-- 531 cast-constant-to-float.c
-rw-r--r-- 5937 cast-constants.c
-rw-r--r-- 289 cast-volatile.c
-rw-r--r-- 297 compound-literal00.c
-rw-r--r-- 314 compound-literal01.c
-rw-r--r-- 333 compound-literal02.c
-rw-r--r-- 409 degen-array.c
-rw-r--r-- 814 degen-function.c
-rw-r--r-- 541 degen-log-not.c
-rw-r--r-- 490 deref-ptr-ptr.c
-rw-r--r-- 214 fp-vs-ptrcast.c
-rw-r--r-- 738 fp2i-cast.c
-rw-r--r-- 240 goto-invalid.c
-rw-r--r-- 324 goto-stmt-expr-conditional.c
-rw-r--r-- 369 goto-stmt-expr-short-circuit.c
-rw-r--r-- 210 label-scope-cgoto.c
-rw-r--r-- 374 label-stmt-dropped.c
-rw-r--r-- 270 label-stmt-expr0.c
-rw-r--r-- 283 label-unreachable.c
-rw-r--r-- 572 logical-phi0.c
-rw-r--r-- 5135 logical.c
-rw-r--r-- 433 missing-insn-size.c
-rw-r--r-- 138 missing-return0.c
-rw-r--r-- 188 missing-return1.c
-rw-r--r-- 151 missing-return2.c
-rw-r--r-- 272 missing-return3.c
-rw-r--r-- 218 missing-return4.c
-rw-r--r-- 392 missing-return5.c
-rw-r--r-- 417 non-const-case.c
-rw-r--r-- 283 noreturn-unreachable0.c
-rw-r--r-- 197 phi-order01.c
-rw-r--r-- 465 phi-order02.c
-rw-r--r-- 161 phi-order03.c
-rw-r--r-- 148 phi-order04.c
-rw-r--r-- 375 range-op.c
-rw-r--r-- 448 struct-init-full.c
-rw-r--r-- 580 struct-init-partial.c
-rw-r--r-- 872 unexamined-base-type.c