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
parse: ignore _Pragma()
2016-06-30
D
a
n
Carpent
e
r
parse: ign
o
r
e
_Pra
g
ma()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
smatch
_
d
at
a
/win
e
.
ign
o
red_
m
acros: add ok()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpen
t
er
smat
c
h_data/wine
.
no_
r
eturn_funcs: u
p
date
the l
i
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
sparse: ad
d
/usr/
i
n
clude/x86_64-linux-gn
u
/ include
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan
C
arpe
n
ter
wine_WtoA: add singled quot
e
s in t
h
e o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-25
D
a
n Carpent
e
r
d
b
:
remove
PRAGM
A
synchr
o
nous = O
F
F
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
D
an Carpente
r
avl: ma
k
e get_stree_id() return -1 if the stree pointe
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan
C
arpenter
implied: han
d
le ->implied states differently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan C
a
rpenter
slist, implied: preserve the entire
c
u
r
_s
t
ree i
n
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan
C
arpenter
implied: fix
a bug where we imply t
h
e wrong thing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
implied:
r
e
move an ind
e
nt level
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
implied: change de
b
u
g output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-17
Dan Carpenter
extra: igno
r
e trunca
t
ed limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
f
low: h
a
ndle asm gotos
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
db: s
p
lit on
b
oole
a
n parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan
C
arpenter
struct_as
s
i
g
n
m
e
n
t: handle point
e
rs be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan
Carpen
t
e
r
function
_
h
o
oks: h
a
c
k around i
n
v
a
lid inp
u
t
f
r
o
m t
h
e
DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
fu
n
cti
o
n
_
ho
o
k
s
: fi
x
the previo
u
s
range hooks fix
a
ga
i
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan
C
ar
p
enter
flow: set ->parent for expression state
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
h
e
lpe
r
, untracked_param: move the in
t
_
st
a
ck
to smatch_hel
p
er
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n Carp
e
nt
e
r
rang
e
s: fix c
a
s
t
ing to bool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n Car
p
e
nt
e
r
fl
o
w: set position at t
h
e start
o
f t
h
e function correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan
C
arpent
e
r
function_hooks: fix
a
typo
in debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan
C
a
r
penter
im
p
li
e
d: tweak timeout in
separate_and_fil
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Car
p
enter
function_
h
ooks:
f
i
x
a type
i
s
s
ue (a
f
f
e
cts ra
n
ged func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
function
_
hooks:
f
ix db
a
nd
r
anged_func
t
ions int
e
gration
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
db
/
k
e
r
n
el
.
return_fixes: ha
c
k aro
u
nd
down_inte
r
r
u
p
t
ib
l
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan C
a
rp
e
nter
db/kernel
.
return_
f
ixes: add scnprintf()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Car
p
e
n
ter
f
unction_hooks: fix locking
f
alse positives when you
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
e
x
tra: fix memset() h
a
ndli
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Da
n
Ca
r
penter
implied: delete unused func
t
i
on sm_
s
tate_in_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Car
p
enter
ptrli
s
t: use
after free
in last_ptr_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
D
a
n Carpe
n
ter
f
low: type issue handl
i
ng swit
c
h s
t
ateme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan
Carpenter
ranges: fix type
issue in remo
v
e_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan
C
arpenter
c
onditions
:
silenc
e
valgrind wa
r
n
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-06
Dan Carpenter
f
l
ow: set f
i
na
l
_pass i
f
we
have to bail on a fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan C
a
rpenter
extra: expor
t
g
et
_
other_n
a
me_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
D
an Carpent
e
r
i
m
possible
:
a
dd
is_impossible_pat
h
()
to s
m
atch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpe
n
ter
db: don't
crash generating SQL for
i
n
v
al
i
d cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Da
n
Carpente
r
extra: fix bug handling u
n
tr
a
cked
p
oin
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
arpe
n
ter
struct_assignment: ignore
certain types of assign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
ex
t
r
a
: deferences in fake assignments don't count
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
e
xtra: handle fake assignme
n
ts
f
aste
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
implied: impro
v
e over
w
ri
t
e_s
t
ates
_
using_pool()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpen
t
er
impl
i
ed: add a
comme
n
t expla
i
ning how i
m
plications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
function_h
o
o
k
s: che
c
k PARAM_LIMIT implications al
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-31
Dan
C
arpente
r
fun
c
tion_ho
o
ks: integrate
c
a
ll_implies
h
ooks wit
h
the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpe
n
t
e
r
slist:
m
angle the lin
e
number of merged states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
sizeo
f
_param: r
e
mo
v
e read_rom() from
c
hec
k
e
d
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
a
rpenter
crea
t
e_db: d
e
lete some d
u
plicate ent
r
ees from function_ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpe
n
ter
real_ab
s
o
lute: don't store whole ranges
f
or no reason
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
struct_assig
n
ment: pull split_fake_e
x
pr() in
t
o its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpente
r
db: limit the amount of data i
n
type_value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
C
arpen
t
e
r
extra:
h
andl
e
if (IS_ERR
(
foo[bar]
)
) {
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
d
b
:
i
nt
r
oduce
get_param_name_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
p
e
nter
implied: handle
c
hunks i
n
s
w
itc
h
statements lik
e
switch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
r
p
en
t
er
extra: don't ma
r
k all ar
r
ays as
d
erefe
r
enced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpente
r
helper: crea
t
e an a
l
lo
c
_state_exp
r
() helper function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
an Carp
e
nte
r
whitespa
c
e: remove some
b
lank
lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
penter
extra: remove
u
nused
f
un
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
lo
c
king: ad
d
mo
r
e i
m
p
ossible
h
andling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Carpe
n
t
e
r
db: remove s
o
me extra semi-colo
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
r
anges: remove an
u
nneeded in
i
tializer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Carpenter
re
t
urns: provide a split out list
of all the retu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
returns: add
get_all_
r
e
t
ur
n
s_states() fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
move f
r
eeing to AFTER_
F
UNC_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpe
n
ter
d
b: consti
f
y so
m
e
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
penter
ex
t
ra: add mi
s
s
i
ng i
n
clude
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
a
rpente
r
ext
r
a: don'
t
overwrite non-nul
l
point
e
rs becau
s
e
of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
extra: fix handling of "
i
f
(foo & 0
x
3210) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-04
Da
n
Carpenter
para
m
_
s
et
:
introduce
param_was
_
set_var_sym
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan
Carpenter
impossibl
e
:
h
andle swi
t
c
h
statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
D
an Car
p
enter
impossible: don't overwrite the i
m
possible st
a
te by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpen
t
er
i
mplied
:
handle imp
l
ications for
if ((
{
wha
t
eve
r
;
foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-26
Dan
C
arpe
n
te
r
slist: create is_leaf() function wh
i
ch is
the oppo
s
ite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-25
Da
n
C
a
rpen
t
er
r
anges:
u
se signed
type for negati
v
e ints less
th
a
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan
C
arpente
r
db/kernel
.
re
t
u
rn_fix
e
s regmap_bul
k
_read() r
e
tur
n
s negatives
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpen
t
er
ranges: fix
a bug in rl_invert()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Da
n
Ca
r
penter
sval, typ
e
: m
a
ke so
m
e
fun
c
tions
i
nline
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
implied: f
i
x an old implicatio
n
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
D
an Ca
r
penter
imp
l
ied:
remove unused add_pool() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carp
e
nter
implied: pass
sm_st
a
tes inste
a
d of pools
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpenter
im
p
lied: fix a type b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Car
p
enter
impli
e
d:
u
p
d
ate some debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Car
p
enter
implied: creat
e
fake implic
a
tion hi
s
tor
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Ca
r
penter
states: tweak debug
o
u
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan C
a
rpenter
states: p
r
int debug outp
u
t
in __set_true_false_sm
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
D
an Carpenter
i
m
plied: overwrite sm
a
tch_ext
r
a using implied states
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpenter
ranges, extr
a
: move and export split_compar
i
s
o
n_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
an C
a
rpenter
sl
i
st: remov
e
unused
_
_set_true_false_if
_
not_a
l
ready_set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
an Carpen
t
er
db: make a file
k
e
rnel
.
return_fixes for updat
i
n
g
re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan C
a
rpenter
fl
o
w: merge
m
u
lt
i
ple ca
s
e st
a
t
ements i
n
a row together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
helper: us
e
.
instead of -> for mo
r
e
vari
a
bles
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
an Ca
r
penter
para
m
_set: r
e
move an unnn
e
e
ded variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Car
p
enter
ex
t
ra: p++
s
hould cl
e
a
r
the
s
tates
for
*p or p->foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
m
a
th: handle
__builtin_types_
c
ompatib
l
e
_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpent
e
r
flow: split case stat
e
ment
handling into it
s
o
wn function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
implied: replace __get_implied_values
(
) with g
e
t
_abso
l
ute_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan C
a
rpe
n
ter
flow
:
fix
b
ug
i just i
n
troduced with know
n
switch statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Carpenter
debug: print the max size for __
s
match
_
b
uf_size
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next