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