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
smatch_data/wine.ignored_macros: add ok()
2016-06-30
Dan
C
a
rpente
r
smat
c
h_data/win
e
.
ignore
d
_macros: add ok()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
smatch_
d
ata/wine
.
no_
r
eturn_funcs: update th
e
l
ist
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
sparse: add /usr/include/x86
_
6
4
-
l
i
nu
x
-
g
nu/ include
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
wine_W
t
oA: add singled quotes
in t
h
e output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-25
Dan Carpenter
db: remove PRA
G
MA synchronou
s
= OFF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan
Carpen
t
er
avl: make get_stree_i
d
() return -1 if the str
e
e p
o
inter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan
C
ar
p
e
nter
implied: handle ->implied states
d
ifferently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
D
a
n Carpent
e
r
slis
t
,
i
mplied: preserve the
e
n
t
ire c
u
r_
s
tr
e
e in
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
D
a
n
Carpen
t
er
implied:
f
ix a bug where w
e
impl
y
the wro
n
g thing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
im
p
lied: remove an inde
n
t level
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan C
a
rpenter
i
m
plied:
c
hange deb
u
g
out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-17
Dan Carp
e
nt
e
r
ext
r
a: ignore truncated
lim
i
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
D
an Carpenter
flow: hand
l
e
as
m
gotos
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
d
b: spli
t
on bool
e
an parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
struc
t
_
a
ssignment: ha
n
dle
p
ointers b
e
t
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Car
p
enter
function
_
h
oo
k
s: ha
c
k around invalid input
f
rom the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
D
a
n
Carpent
e
r
f
unction
_
hooks
:
fix the previous range h
o
oks fix again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
flow
:
set -
>
pare
n
t for expression sta
t
ements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Ca
r
penter
helper, untrac
k
ed_param: mo
v
e the int
_
stac
k
to smat
c
h
_
he
l
per
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Da
n
Carpenter
r
a
n
ges: fix casting to bool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
D
an
C
arpenter
flow: set position at the start of the
f
unction correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpen
t
er
function_hoo
k
s: fi
x
a typo in debu
g
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
implied: twea
k
tim
e
out
i
n
separate_a
n
d_f
i
l
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
f
u
nct
i
on_
h
o
o
ks: fix a type is
s
u
e
(affects ranged function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Ca
r
pent
e
r
fu
n
ction
_
hooks:
fix
d
b
an
d
range
d
_funct
i
ons integr
a
tio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
db/ker
n
el
.
retur
n
_fixes: hack ar
o
und
down_interrup
t
ible()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpe
n
ter
db/kernel
.
return_f
i
xes: ad
d
scnpr
i
ntf()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpe
n
ter
function_hooks: fix locki
n
g f
a
lse posi
t
ives when you
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan
Car
p
enter
extra:
fix mem
s
et() handlin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
D
an Carp
e
nter
implied: delete unused
functi
o
n sm_st
a
te_in_slist
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
p
trlist:
u
se after fre
e
in las
t
_pt
r
_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpe
n
ter
f
low: type issue h
a
ndling switch statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Car
p
enter
ranges: fix type iss
u
e in remo
v
e_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpent
e
r
con
d
i
t
ions: silence valgrind warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-06
Dan Carp
e
nter
flow: set fi
n
a
l_pass i
f
we
have to bai
l
on a f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
extra: ex
p
ort get_oth
e
r_name
_
sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan C
a
rpenter
im
p
o
ssibl
e
: add
is_impossible_path
(
) to sm
a
tch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpe
n
ter
db: don't crash g
e
n
eratin
g
SQL fo
r
invali
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
arpe
n
ter
ex
t
r
a
: fix bug handling un
t
racked
point
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Car
p
enter
struct_assign
m
ent: ignore cer
t
ai
n
t
ypes
o
f assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
arpenter
extra: defe
r
e
n
ces
in
f
ake assignments don
'
t co
u
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Ca
r
pente
r
e
x
tra: h
a
ndle fake assignments faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan
Carpenter
implied: improve overwrite_states_us
i
ng_poo
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
D
a
n Carpenter
impl
i
ed: add a comment explaining
h
ow im
p
l
i
cati
o
ns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan Car
p
enter
function_ho
o
ks
:
check PARAM
_
LIMI
T
impli
c
a
tio
n
s
all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-31
Dan C
a
rpenter
functio
n
_
h
ooks: integrat
e
call_impl
i
es hooks w
i
th the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Car
p
enter
sl
i
st: mangle the
l
ine numbe
r
of merged st
a
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Carpent
e
r
sizeof_pa
r
am: remo
v
e read_r
o
m()
from checked functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
c
r
eate
_
db
:
delete some
dupl
i
cat
e
entr
e
es
from
function_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
penter
rea
l
_
a
bsolut
e
:
don't store whole
ranges for no rea
s
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
struc
t
_a
s
signm
e
nt: pull split_
f
a
ke_expr
(
)
into its
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpen
t
er
db:
l
imit the
a
mount of data in type_val
u
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arpenter
e
x
tra: handle
i
f (IS
_
ERR(f
o
o[bar])) {
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arpente
r
db: in
t
roduce
get_param_name_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpe
n
t
er
i
mplied: hand
l
e chunks in
s
witch statemen
t
s lik
e
switc
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpenter
extra: don't m
a
rk al
l
arrays as
dereferenc
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
rpenter
hel
p
er: create an alloc_state_expr() helper
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
w
h
ite
s
pace: remove
so
m
e
blank li
n
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
an Carpenter
extra:
remove unus
e
d f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
a
rpen
t
er
lock
i
ng: add more impossible
handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpe
n
ter
d
b
: re
m
ove
some
e
xtra
s
e
mi-colons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
ranges: remove an unn
e
eded initialize
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carp
e
nter
return
s
: provide a split out list
o
f
a
l
l the return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
returns: add get_all_returns_states()
f
u
nc
t
ion
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
p
e
n
ter
move freeing to
A
FTER_FU
N
C_HO
O
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
d
b: constify
s
ome pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpen
t
er
extra
:
a
d
d
m
i
ssing includ
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Car
p
ente
r
e
xtra:
don't overwrite non-null
pointer
s
becau
s
e of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpente
r
extra: fix handl
i
n
g of "if
(
foo &
0
x
3
210) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-04
Dan Car
p
enter
par
a
m_set: introduce
p
aram_
w
as_set
_
var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpente
r
impossible: handle sw
i
tch statemen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
D
a
n Carpenter
impossib
l
e: don't ov
e
rwrite the im
p
o
s
sibl
e
state
by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpe
n
ter
implied: handle impl
i
cations
for if (({what
e
ver; foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-26
Dan Carp
e
nter
slist: create is_leaf()
f
unct
i
on whic
h
is th
e
oppos
i
te
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-25
Dan Ca
r
penter
rang
e
s: u
s
e si
g
ned
t
y
pe for negative
int
s
l
e
ss than
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan
Car
p
e
n
ter
db/kernel
.
r
e
turn_fixes regmap
_
bulk_read() returns n
e
gatives
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Da
n
Carp
e
nte
r
ra
n
ges: fix a
bug in rl_inve
r
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan
Carpent
e
r
sval, type: make
some
functions inline
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
imp
l
ied: fix a
n
old im
p
lication
b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Car
p
enter
implied: remove unused add_
p
o
o
l(
)
fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
impli
e
d: pas
s
s
m_st
a
tes instead of pools
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpe
n
ter
implied: fix a t
y
pe bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpenter
imp
l
ied
:
u
pdate
s
ome debug ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpente
r
i
m
plied:
c
reate fake
implication
history
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Da
n
Ca
r
penter
s
t
ates:
t
w
eak debug
o
ut
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Da
n
Carpenter
states
:
pr
i
nt debug
o
utput in _
_
s
e
t_true_false_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan
Carpenter
implied: overwri
t
e s
m
atch_extra usi
n
g implied st
a
t
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpen
t
er
rang
e
s
,
extra: mo
v
e and
e
xport s
p
l
it_
c
o
m
p
arison_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Ca
r
pe
n
ter
slist: remov
e
unused __
s
et_true_false_if_
n
ot_alr
e
ady_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
db: make a file kerne
l
.
return_
f
ixes f
o
r up
d
atin
g
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpent
e
r
flow: merg
e
m
u
ltiple case statements i
n
a
row togethe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
arpe
n
ter
helper: use
.
in
s
t
ea
d
of -> for
m
ore v
a
riables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan
Ca
r
penter
param_set
:
remo
v
e
an u
n
nneeded
v
ariable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpe
n
ter
e
x
tra
:
p++
s
hould clear
the
sta
t
e
s for
*p or
p
->
f
oo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
math:
h
and
l
e __bui
l
tin_types_compati
b
le_
p
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an
Carpenter
f
low
:
spli
t
c
a
se statement handling into its own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an Carpenter
implied: replace
_
_get_implied
_
v
alues() with get_absol
u
te_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an
C
arpenter
flow: f
i
x
b
u
g
i
just intro
d
uced with known switch statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n
C
a
rpen
t
er
d
ebu
g
: print
t
h
e
m
ax size
f
or __sm
a
tch_buf_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
d
ebug:
i
nclu
d
e ->pos
s
ibl
e
and ab
s
olute in
__smatch_about
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next