repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
ranges: fix a bug in rl_invert()
2016-04-22
Dan
C
arpenter
rang
e
s:
fix a bug in rl_
i
n
v
ert()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpe
n
ter
sv
a
l
, type: make so
m
e
functio
n
s inlin
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan
Carp
e
nter
implied: fi
x
an old
i
mplication bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
i
m
plied:
r
emove unused
a
dd_pool() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carp
e
nt
e
r
implied: pass sm_s
t
ates
instead of pools
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
D
an Carpe
n
ter
im
p
li
e
d: fix a type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
D
a
n Carpenter
implie
d
: update
some de
b
ug ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpenter
imp
l
ied: create fake implication
h
istory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
states: tweak debug
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
s
t
ate
s
:
print debug output in
_
_set_true_false_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpent
e
r
implied: ove
r
write
s
match_extra using implied states
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpente
r
r
a
n
g
es, extra:
m
ove and export
spli
t
_c
o
mparison_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
an Carpenter
s
l
ist: r
e
move un
u
s
e
d __set
_
true_fals
e
_if_not
_
al
r
e
ady_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
db: make a file ker
n
e
l
.
return_fixes for updating return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Car
p
enter
flow: merge multiple case
s
t
atem
e
nts in a
r
ow
tog
e
ther
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpe
n
ter
help
e
r: use
.
instead o
f
-> for more varia
b
les
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpente
r
param_s
e
t:
remo
v
e an unnneede
d
v
ariable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
arpenter
extra: p++ should clea
r
t
he sta
t
es for *p or p->foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n C
a
rpen
t
er
m
ath:
handle __buil
t
i
n
_types_compati
b
le_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpente
r
f
low: spl
i
t case statement ha
n
dli
n
g in
t
o its
o
wn f
u
nct
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpe
n
ter
implied: replace __get_implie
d
_values() with get_a
b
solute_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpent
e
r
flo
w
: fix bug i just introduced w
i
th
k
nown s
w
itch state
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Car
p
en
t
er
deb
u
g: print the
ma
x
s
i
ze fo
r
__
s
m
a
tch_buf_size
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an C
a
rpen
t
e
r
debug: in
c
lude ->p
o
ssible a
n
d
a
b
s
olu
t
e in __sma
t
ch_about
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
a
r
p
enter
im
p
lied
:
remove
u
nnecessary
initialization
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
p
aram_cl
e
ared:
s
trip
a
way cas
t
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
ra
n
ges:
m
a
ke filter_top_rl()
t
ake
a
r
a
nge_list
filt
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Ca
r
penter
flow: shuf
f
le cas
e
statement
h
andling around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Carp
e
nter
implied:
split the __implied_case_stree() i
n
to two
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpente
r
extra: white space cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
i
magi
n
ary_abso
l
ute: it's like smatch_e
x
tra
.
c for impossible
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
D
an Car
p
e
n
t
e
r
implied: rem
o
ve
some duplicate lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
D
an Carpenter
ext
r
a
: rem
o
ve an o
b
solete
c
omment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
ext
r
a: split hand
l
e_c
o
mpari
s
on() in
t
o
t
wo f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
db: ignore
u
nreachable re
t
urns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Car
p
enter
db: split return
s
in to NU
L
L
a
nd no
n
-NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
db: remove pointless
r
eturn
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
D
a
n Carpenter
db: small cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
hooks:
rename
CAL
L
_HOOK_
A
FT
E
R
to C
A
LL_
H
OOK_AFTER_DB
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
D
a
n C
a
r
penter
untra
c
ked_param: handle inli
n
e
c
a
lls bet
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
D
an Carp
e
nt
e
r
flow: doen't reset loop_c
o
unt
for
inline
f
unc
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-05
Dan Ca
r
pente
r
imp
l
ied: u
s
e the correct ty
p
e for conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carpenter
s
c
ope: del
e
t
e
o
ut of scope
v
ariables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpent
e
r
validation/sm_chunk2
.
c: upd
a
te validati
o
n test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan
C
arpe
n
te
r
db:
r
evert a "sp
e
edup"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpe
n
ter
r
e
a
l
_absolute:
t
urn this code
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
err_ptr_
d
eref: com
p
lain about dereferences insi
d
e
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
D
a
n Carpenter
return_efault: compla
i
n about "r
e
turn copy_from_u
s
er();"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Car
p
e
nter
buf_s
i
ze: save size
of fixe
d
ar
r
a
y
s
t
hat are return
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carp
e
nter
modi
f
ication_hooks: remov
e
a
n unneeded variabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
sl
i
st: make merg
e
_states() static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n C
a
r
p
enter
s
tates: make debug
ou
t
p
u
t more cons
i
stent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Carpenter
hooks: put each ty
p
e o
f
hook into it's own array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
.
g
itignore: add
.
gdb
_
history
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Car
p
enter
stored_c
o
n
d
itions: white space
c
h
a
n
ges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan
Carp
e
nter
math: prefer rea
l
_abso
l
ute_v
a
lue to the d
b
val
u
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Carpenter
implied: re
m
ove a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carp
e
nter
conditions: bug i
n
c
o
ndi
t
ion
a
ssignment
s
like foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
imp
o
ss
i
ble:
h
andl
e
a
s
s
ignment
c
onditions be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
an Carpenter
s
tr
i
ng_con
d
i
t
ion
:
don'
t
c
o
mplain about TRACE_EV
E
NT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
functio
n
_
hoo
k
s
:
handl
e
r
e
t
urs th
a
t don't set a s
t
a
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
an Carpente
r
db: d
o
n't u
s
e
split_succ
e
s
s
_fa
i
l
i
f
it d
o
esn
'
t r
e
turn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Da
n
Ca
r
pen
t
er
db: fix bug in print_struct_me
m
be
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Car
p
enter
db: for impos
s
ible returns just do
t
he
simplest thing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
e
x
tra: us
e
real_ab
s
ol
u
te values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpen
t
er
extra:
i
mprov
e
ar
r
ay handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
D
an
Ca
r
p
e
nter
smatch: add a --tim
e
option to print how
long
smatc
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpe
n
ter
flow: handle "*p++ = fo
o
" better
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpent
e
r
f
low: fix inside_loop(
)
with inline function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-17
Dan C
a
rp
e
nter
param
_
set: handl
e
array
as
s
ignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
Dan Carpente
r
i
m
p
l
ied:
r
emove buggy
c
o
d
e
f
or
working around the old
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
D
a
n Carpenter
d
b/fixup_
k
ernel
.
sh
:
ad
d
kmall
o
c_order_trace()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
Dan
Ca
r
penter
d
b/f
i
xu
p
_kernel
.
sh: igno
r
e a lot
o
f
P
C
I
errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan C
a
rpenter
d
a
ta/k
e
rnel
.
clea
r
s_argument:
a
d
d
co
p
y_use
r
_
g
eneric(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpenter
db: spli
t
po
s
itiv
e
from negativ
e
return
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpe
n
ter
expressions:
i
ntrodu
c
e
compare_expression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan
Carpenter
impl
i
ed: intro
d
uce assu
m
e(co
n
dition
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan
C
arp
e
n
t
er
db:
handle param
e
ter function pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-07
Dan Carpenter
s
tates: handle fak
e
slist pro
p
erly when we merge
t
rue
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
va
l
idation: add
a test
f
or rang
e
d c
a
se statemen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan
C
arpenter
condition
s
:
big
f
ake state re-w
o
rk
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Ca
r
penter
avl:
r
e
m
ove
s
ign
(
) fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carp
e
nter
s
list: introduce type
_
s
tree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
co
n
ditions:
a
d
d a NULL
c
heck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
imp
l
ied: reve
r
t no
t
already set change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-29
D
a
n
Carpenter
ext
r
a: h
a
ndle
p
ost op increment l
o
op
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-26
Dan
Carpenter
type: fix "
s
t
r
an
g
e no
n
-value functi
o
n or array"
w
a
rnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-25
Dan Car
p
enter
le
a
ks: don't reset states
to the
m
sel
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-23
Dan Carpenter
flow, conditions: ha
n
d
le label statements
corr
e
ctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-23
Da
n
C
a
rpenter
db: fix
a
bug in
splitting return states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-19
Dan
Carpenter
Reve
r
t "st
a
tes
:
only set the f
a
ke_
s
tree in set_s
t
ate(
)
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
locking:
d
on
'
t
war
n
about
impossibl
e
paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
D
an Carpenter
valid
a
tion/sm
_
implied8
.
c
: upda
t
e test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Ca
r
penter
functio
n
_hook
s
: use
__s
e
t_sm_cur_stree() in db_ret
u
rn_s
t
ates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
states:
o
nly
s
et t
h
e
f
ake_st
r
e
e
in set_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpe
n
ter
im
p
lic
a
tions: use
s
tored_
c
ondi
t
ions
t
he default fall
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
D
a
n Carpente
r
i
m
pli
e
d: unbreak as
s
i
g
n
_r
a
nged_functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpenter
sta
t
es:
d
elete an unused funct
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan Car
p
enter
im
p
lie
d
: fix PARAM_LIMIT
im
p
lications ag
a
in
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
D
an C
a
r
penter
impli
e
d
:
fa
l
l out from fake_cur_str
e
e chan
g
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next