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
)
unwind: use the shared success_fail_return() function
[smatch.git]
/
validation
/
mem2reg
/
tree
f594561e440de1781fddd454bda6523d98bd0300
drwxr-xr-x
..
-rw-r--r--
267
address-used00.c
blob
|
blame
|
history
|
raw
-rw-r--r--
238
alias-distinct.c
blob
|
blame
|
history
|
raw
-rw-r--r--
336
alias-mixed.c
blob
|
blame
|
history
|
raw
-rw-r--r--
221
alias-same.c
blob
|
blame
|
history
|
raw
-rw-r--r--
235
asm-reload0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
486
broken-phi02.c
blob
|
blame
|
history
|
raw
-rw-r--r--
544
broken-phi03.c
blob
|
blame
|
history
|
raw
-rw-r--r--
273
cond-expr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
348
cond-expr5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
217
dead-phisrc.c
blob
|
blame
|
history
|
raw
-rw-r--r--
328
global-direct-undef.c
blob
|
blame
|
history
|
raw
-rw-r--r--
326
global-direct.c
blob
|
blame
|
history
|
raw
-rw-r--r--
297
global-loop.c
blob
|
blame
|
history
|
raw
-rw-r--r--
309
global-noalias.c
blob
|
blame
|
history
|
raw
-rw-r--r--
382
global-pointer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
286
if-direct.c
blob
|
blame
|
history
|
raw
-rw-r--r--
361
if-pointer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
319
init-global-array.c
blob
|
blame
|
history
|
raw
-rw-r--r--
381
init-local-array.c
blob
|
blame
|
history
|
raw
-rw-r--r--
296
init-local-union0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
462
init-local-union1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
352
init-local32.c
blob
|
blame
|
history
|
raw
-rw-r--r--
352
init-local64.c
blob
|
blame
|
history
|
raw
-rw-r--r--
242
load-dead.c
blob
|
blame
|
history
|
raw
-rw-r--r--
77
load-deadborn.c
blob
|
blame
|
history
|
raw
-rw-r--r--
274
loop00.c
blob
|
blame
|
history
|
raw
-rw-r--r--
315
loop01-global.c
blob
|
blame
|
history
|
raw
-rw-r--r--
328
loop02-array.c
blob
|
blame
|
history
|
raw
-rw-r--r--
256
loop02-global.c
blob
|
blame
|
history
|
raw
-rw-r--r--
276
loop02-local.c
blob
|
blame
|
history
|
raw
-rw-r--r--
323
loop02-pointer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
402
missing-return.c
blob
|
blame
|
history
|
raw
-rw-r--r--
635
not-same-memop0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
457
packed-bitfield.c
blob
|
blame
|
history
|
raw
-rw-r--r--
428
quadra00.c
blob
|
blame
|
history
|
raw
-rw-r--r--
560
quadra01.c
blob
|
blame
|
history
|
raw
-rw-r--r--
323
quadra02.c
blob
|
blame
|
history
|
raw
-rw-r--r--
538
reload-aliasing.c
blob
|
blame
|
history
|
raw
-rw-r--r--
402
short-load.c
blob
|
blame
|
history
|
raw
-rw-r--r--
82
store-deadborn.c
blob
|
blame
|
history
|
raw
-rw-r--r--
327
stray-phisrc.c
blob
|
blame
|
history
|
raw
-rw-r--r--
308
struct.c
blob
|
blame
|
history
|
raw
-rw-r--r--
377
undef00.c
blob
|
blame
|
history
|
raw
-rw-r--r--
266
undef01.c
blob
|
blame
|
history
|
raw
-rw-r--r--
246
unused-var.c
blob
|
blame
|
history
|
raw
-rw-r--r--
335
volatile-store00.c
blob
|
blame
|
history
|
raw