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
implied: delete unused function sm_state_in_slist()
2016-06-11
Da
n
Carpenter
i
m
p
lied: dele
t
e
unused function sm_st
a
te_in_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Ca
r
p
enter
ptrlist: use after f
r
ee in last_ptr_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
f
low:
type
i
ssue
h
andling switch sta
t
ement
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
ranges: f
i
x type issue
i
n remove_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan
C
arpenter
condit
i
ons: silence valgrind warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-06
Dan Carpen
t
er
flo
w
: set final_p
a
ss
i
f
w
e have
to
b
ail on a
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpen
t
er
extra:
e
xp
o
r
t
g
e
t
_other_n
a
me_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
D
an Carpenter
i
mpossible
:
ad
d
is_imp
o
ssibl
e
_pat
h
() to
smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
d
b: don't c
r
ash generati
n
g S
Q
L
f
o
r
in
v
a
l
id code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
extra:
fix bu
g
handli
n
g untracked pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan
Carpenter
st
r
uct
_
assi
g
nmen
t
: ignore certain types of assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
D
an
C
arpent
e
r
ext
r
a: defe
r
e
n
ces i
n
fake assignments don't count
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpent
e
r
extra
:
h
andle fake assignm
e
nts faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
implied:
i
mprove overwrite_s
t
ate
s
_using_pool
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
implied: add a co
m
ment expla
i
ning
how implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpe
n
ter
fun
c
tion_ho
o
ks
:
c
he
c
k P
A
RAM_LIMIT implication
s
all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-31
Dan Carpenter
fu
n
c
tion_h
o
oks: i
n
tegrate call_
i
mplies hooks with the
db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
s
l
ist: mangle
the l
i
n
e number of merg
e
d stat
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
sizeof_par
a
m
: remove read_
r
om() from checke
d
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
c
reate_db: delete
s
ome d
u
plica
t
e entrees from functi
o
n_ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carp
e
nter
re
a
l_absolute: don't store whole
ranges for no reason
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Car
p
enter
struc
t
_assignment: p
u
ll s
p
lit_fake_expr() into its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
an Carpenter
db: limit
t
he amount
o
f data in type_valu
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
e
xtra
:
handle if (IS_E
R
R(foo[ba
r
]))
{
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n
Ca
r
penter
db: introduce g
e
t_param_name_var_
s
ym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
rpenter
implie
d
: handle chunks i
n
swi
t
ch statements like
s
witch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carp
e
nt
e
r
e
xtra: do
n
't mark all ar
r
ays as dere
f
erence
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpent
e
r
helper: create a
n
alloc_s
t
a
te_ex
p
r(
)
helper
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arpenter
white
s
p
ace: remove some bl
a
nk lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
e
x
tra: remove unused function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
a
r
penter
locking: add
m
ore
i
mpossible
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
an Carpenter
db
:
remo
v
e some ex
t
ra semi-colons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
an Carp
e
nter
ra
n
ges: remove an u
n
nee
d
e
d
i
nitializer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpent
e
r
return
s
: provid
e
a split out list of
a
l
l the return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carp
e
nter
returns: add ge
t
_all_returns_states() funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
penter
move
f
reeing to AFT
E
R_F
U
NC
_
HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arpenter
db: co
n
stify some pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arpe
n
te
r
extra: a
d
d missing inclu
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
a
r
penter
extra: don't overwrite
n
on-null poi
n
ters beca
u
se of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
pen
t
er
e
xtr
a
: fi
x
handling
o
f "if (foo & 0x3210) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-04
Dan Carpenter
param_set: introduce
p
ara
m
_was
_
set_var_sy
m
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Car
p
en
t
er
i
m
pos
s
ibl
e
: handle switch st
a
tements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan
Carp
e
nter
im
p
ossible: don't
o
verwrite the impossible state
b
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpenter
implied:
h
andle impli
c
ations for if (({whatever; foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-26
D
a
n
Carp
e
nt
e
r
sli
s
t
:
c
r
eate is_leaf() func
t
io
n
which
i
s t
h
e opp
o
s
ite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-25
Dan Carpenter
r
an
g
es:
u
s
e
si
g
ned type for negative
i
nt
s
l
ess th
a
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan C
a
r
p
enter
db/
k
e
r
n
e
l
.
return_fixes
r
egmap_bulk_
r
e
a
d()
r
etu
r
ns negati
v
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Car
p
enter
ranges: fi
x
a bug in
r
l_invert()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
D
a
n Ca
r
pent
e
r
sval, type:
make some
functions inline
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Da
n
Carpenter
i
m
plied: fix
a
n
old
i
mplication bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan C
a
r
p
en
t
er
implied: remove unused add
_
pool() fu
n
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpe
n
ter
imp
l
ie
d
: pass
sm_st
a
te
s
in
s
tead of pools
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpent
e
r
implied:
fix a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpenter
impl
i
ed: update some d
e
bug
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Da
n
Carpenter
imp
l
ied: cr
e
at
e
fake implica
t
ion history
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Da
n
Carpen
t
er
s
t
at
e
s
:
tw
e
ak debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
states:
pri
n
t
d
ebug o
u
t
pu
t
in __set_true_fal
s
e_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
D
an
C
arp
e
n
ter
i
mplied: overwrite
s
match_extra u
s
ing implied states
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
ranges, extr
a
: move and export split_
c
ompa
r
ison_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
an
C
a
r
penter
slist
:
remove un
u
sed
_
_set_true_false_if_no
t
_a
l
ready_set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
db: make a fil
e
kernel
.
return_fixes for updating retu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpente
r
flow: merge
m
ulti
p
l
e case sta
t
eme
n
ts
in a row
tog
e
ther
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n
Ca
r
pe
n
ter
h
e
lper
:
use
.
instea
d
of -> for more v
a
ri
a
bles
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carp
e
nter
param_set: remove an unnneeded variab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan
Carpenter
extra:
p++ should
c
lear the states for
*p or
p
-
>
foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
arpenter
math: handle __builtin_types_compatible_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow:
s
p
lit case st
a
te
m
e
nt handl
i
ng into it
s
own fu
n
c
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpent
e
r
implied: re
p
lac
e
__get_implied_va
l
ues() wit
h
get_absolute
_
rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
arpen
t
e
r
flow: fix b
u
g i just intro
d
uced wit
h
kno
w
n switch
s
t
a
tem
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Carpenter
debug: print the max size for __smatch_buf_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Carpent
e
r
d
e
bug:
i
nc
l
ude ->possible and
a
bsolu
t
e in _
_
s
m
a
t
c
h
_
about
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carp
e
nt
e
r
implied: remove un
n
ec
e
ssary i
n
itia
l
ization
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpenter
param_cleared: strip away
c
asting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
arpenter
ranges: make fil
t
er_top_rl() take
a
range_list f
i
lter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Car
p
enter
fl
o
w: shuffle
c
ase statement handling around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
implied: split the __implied_case_stree()
into t
w
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
extra: white
space cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpenter
imaginary_
a
bsolut
e
: it's
li
k
e smat
c
h_extra
.
c for
i
m
p
ossible
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Ca
r
penter
impl
i
ed
:
remove
s
ome duplicate lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan C
a
rpenter
e
xtra:
r
emove an obsolet
e
c
om
m
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
extra: split
h
and
l
e_c
o
mparison() i
n
to two functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan
C
arpente
r
db: ign
o
re unrea
c
ha
b
le returns
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 NUL
L
and non-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan C
a
rpen
t
er
db: remove pointless return
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
db: small cle
a
nup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan
C
arpenter
hooks
:
rename CALL_HOOK_A
F
TER to
C
ALL_HOOK_AFTER_DB
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan C
a
rpenter
untracked_par
a
m:
han
d
l
e inli
n
e c
a
lls better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Da
n
Carpenter
f
l
ow: doen't res
e
t loo
p
_count for inline functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carpenter
implie
d
: us
e
the correct type fo
r
conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
Dan Ca
r
p
enter
scope
:
delete out of
scope variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpent
e
r
valida
t
ion/sm_chu
n
k
2
.
c: update valida
t
ion test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
db
:
revert a
"
sp
e
e
dup"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
real_absolute: t
u
rn this
c
ode on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
err_pt
r
_deref: complain
a
bout d
e
references
inside a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
return_efa
u
lt: com
p
lain
a
b
out "return copy_f
r
o
m
_user();"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Ca
r
p
e
nter
buf
_
size:
s
ave size
o
f fixe
d
arra
y
s that are retur
n
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Carpenter
mo
d
i
f
i
c
a
t
i
o
n
_h
o
oks: remove an unneed
e
d variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
slist: make m
e
rge_states()
static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carp
e
nter
states:
m
ake d
e
bug outp
u
t more consis
t
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpen
t
er
hooks:
p
ut ea
c
h t
y
p
e of hook into it's own
a
rray
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next