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: get rid of the ->implied member
2016-07-01
Dan
Carpenter
impl
i
ed:
get r
i
d of
the ->im
p
lied membe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
D
a
n
Car
p
e
n
ter
implied: get rid of a
tempor
a
ry va
r
iable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Ca
r
p
e
nt
e
r
sm
a
tch_da
t
a/wine
.
no_return_funcs:
a
dd more
fu
n
ctio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
smatch_script
s
/
gen_n
o
_return_funcs: fix this for ot
h
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan
Car
p
e
n
ter
pre-pro
c
ess: make -nostdinc
work again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carp
e
nter
check_wine: make report(
R
_FATA
L
,
.
.
.
) a
nullify the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan
Carpenter
validation/sm_WtoA: add sing
l
e q
u
ot
e
s in
ou
t
p
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpent
e
r
sma
t
ch_scripts: u
p
dat
e
the gen_*
s
c
r
ipts to take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Da
n
Carpen
t
e
r
parse: ignore _Pragma()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Ca
r
p
e
n
ter
smatch_data
/
wi
n
e
.
ignored
_
macr
o
s: add ok()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpent
e
r
sm
a
tch_data/wine
.
no_return_funcs: update the list
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
sparse: add
/usr/include/x86_64-linux-gnu/ includ
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan
C
arpen
t
er
wine_
W
t
o
A
:
add
s
ing
l
ed quot
e
s in the output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-25
Dan Carpenter
db: r
e
m
o
ve PRAGMA syn
c
hro
n
ous
= OFF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
avl:
m
ake get_stree_id() ret
u
rn -1
if t
h
e stree
pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Ca
r
pe
n
ter
i
mplied:
h
andle ->
i
mplied states differently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan
C
ar
p
ente
r
sl
i
st, imp
l
ied: p
r
e
serv
e
the e
n
tire cur_stree
i
n the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan C
a
rpen
t
er
im
p
lied: fix
a
bug
w
here
w
e
imply
t
h
e
wrong
thing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Da
n
Carpenter
implie
d
:
remove
an indent level
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan
Ca
r
penter
implied:
c
hange debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-17
Dan
C
arpente
r
extra: ig
n
ore truncated li
m
its
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan
C
arpenter
flo
w
: hand
l
e asm
g
o
t
os
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan
Carpenter
db: s
p
lit on
boolean p
a
r
amet
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan C
a
rpen
t
er
struct_assignment:
h
andle pointers
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
D
a
n Carpen
t
er
functio
n
_hoo
k
s:
hack around in
v
alid input fro
m
the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
D
an Carpenter
function_hooks: fix the previous ran
g
e ho
o
ks fi
x
again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan C
a
rpen
t
er
flow:
s
et ->parent for
exp
r
ession
s
t
atemen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan
C
arpe
n
ter
hel
p
er, untra
c
ked_param: move the
i
n
t_sta
c
k to smatch_helper
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
ranges: fix cast
i
n
g
to boo
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan C
a
rpen
t
er
flow
:
set p
o
s
ition at t
h
e start of the
fu
n
cti
o
n c
o
rrec
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
f
unction_
h
ooks: fix a
typo in debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Da
n
Carpenter
implied: tweak timeout in sep
a
rate_and_filter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Da
n
C
a
rp
e
nte
r
funct
i
on_ho
o
ks: fix
a
type issue (affects
r
anged function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n
C
arpent
e
r
function
_
h
o
oks: fix
db and
r
anged_fu
n
ctions i
n
tegration
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpente
r
db/kernel
.
r
et
u
rn_fixes: hack
a
round down_interruptib
l
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
d
b/kerne
l
.
re
t
urn_fixes: add scnprintf()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpente
r
f
unction_h
o
oks:
f
i
x
lo
c
king
f
alse
p
osi
t
ives
when you
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
extra: fix
memse
t
() ha
n
dling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpent
e
r
implie
d
: delete unused
function sm_state
_
in_s
l
ist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Da
n
Carpenter
ptrlis
t
: use after free
in l
a
st_ptr_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
flow: type issue ha
n
dling switch stat
e
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Da
n
Carp
e
n
t
e
r
r
anges: fix t
y
pe issue in remove_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpent
e
r
conditio
n
s: silence
val
g
r
i
nd war
n
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-06
Dan Carpenter
flow: set
f
inal_pass if we have to
bail o
n
a functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
extra: export get_other_name_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Car
p
enter
im
p
ossible: add is_imposs
i
bl
e
_
p
ath() to s
m
atch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Da
n
Ca
r
penter
db: don't
c
rash g
e
nerating SQL for invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
extra: fix
bug handling untracked point
e
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
st
r
uct_assig
n
ment: ignore cer
t
ain types of assi
g
nm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
extra: deferences in fake a
s
signments don't count
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
arpenter
e
x
tra
:
handl
e
f
a
k
e
as
s
ign
m
ents
faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carp
e
n
t
er
imp
l
ied:
i
mprove overwrite
_
s
tates_
u
sing_pool()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan C
a
rpenter
i
m
plied: add a comment
explaining
how im
p
lication
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpente
r
functio
n
_hooks: check PARA
M
_LIMIT implications a
l
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-31
Da
n
Carpenter
functio
n
_hook
s
: int
e
grat
e
ca
l
l_
i
m
p
l
ies hooks w
i
th th
e
d
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Carpenter
s
l
i
st: mangle
the line
n
u
m
b
e
r o
f
merged stat
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
sizeof_param: remove read_rom(
)
from chec
k
e
d
functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
create_
d
b
:
delete some du
p
l
ica
t
e
e
n
t
r
ees from function_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpen
t
er
r
eal_absolute: don't store whol
e
ranges for no reas
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
st
r
uct_assi
g
nment: pul
l
split_fak
e
_
e
xpr() in
t
o it
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
db:
l
im
i
t the amou
n
t of
data in ty
p
e
_
value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n
Carpenter
ext
r
a: handle if (I
S
_ERR(foo[bar])) {
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
an
C
a
rpent
e
r
d
b
:
introduce
get_param_name_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Carpe
n
te
r
implied: handle chun
k
s in sw
i
tch statements
l
i
k
e swi
t
ch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpent
e
r
e
xtra: d
o
n't
ma
r
k all
arr
a
ys as dereferenced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Car
p
enter
helper: create an alloc_state_e
x
pr() helper function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
penter
w
hit
e
space: remove
s
ome blank line
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Carpenter
extra:
r
emove unused
fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
a
rpenter
lockin
g
:
add m
o
re impossible handlin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan C
a
rpenter
d
b
: rem
o
ve some ext
r
a s
e
mi
-
colons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpen
t
e
r
ranges: remove
an unneeded initializer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpe
n
ter
r
e
turns: pro
v
ide a split out list of a
l
l the
r
etur
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Ca
r
p
e
nter
returns: add
get_all_
r
e
t
urns_s
t
ates(
)
fun
c
tion
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan C
a
rpent
e
r
move freeing to AFTER
_
FUNC_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
db:
constify some point
e
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Car
p
enter
extra:
add missi
n
g
include
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Carpenter
e
x
t
ra: don't overwrite n
o
n-null
p
ointers because of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
e
xt
r
a:
fix handling of "if
(
f
oo & 0x32
1
0) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-04
D
a
n Carpenter
p
ar
a
m_set: introduce pa
r
am_was_se
t
_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpe
n
ter
impossible: handle swi
t
ch statem
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan
C
arpenter
impossible: don't ov
e
rwrite the
impossible stat
e
by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpenter
implied: han
d
le i
m
plication
s
for if
(({wha
t
ever; fo
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-26
Da
n
Carpen
t
er
sl
i
st: create is_l
e
af() f
u
ncti
o
n which
i
s th
e
opposite
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-25
Da
n
C
arpe
n
te
r
rang
e
s
: use signed type for
ne
g
a
tive
i
nts
l
ess than
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
D
a
n Carpenter
d
b
/kerne
l
.
return_
f
ixes regmap_bulk_read() returns negati
v
es
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan
C
arpente
r
ranges: fix a bug
in
r
l_invert()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carp
e
nter
sv
a
l, type: ma
k
e some
f
u
nctions inline
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Ca
r
p
enter
impl
i
ed: f
i
x an o
l
d
i
m
plication b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpen
t
er
i
m
p
l
ied: remove u
n
used add
_
p
ool
(
) funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
i
m
pli
e
d
:
p
ass sm_st
a
tes instead of pools
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Da
n
Carpen
t
e
r
implied: fix
a type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
D
an Carpenter
implied: u
p
date
s
ome debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carp
e
n
ter
implied: cre
a
te fa
k
e
i
mplica
t
ion hi
s
tory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan
Carpenter
s
t
a
tes: tweak de
b
ug
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
states: print de
b
ug
o
utput
i
n __set_true
_
false_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
i
m
plie
d
: overwrite
s
m
a
t
ch_extra using im
p
lied states
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
ran
g
es, extra: move an
d
export split
_
comparison_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
slist
:
remove unused __s
e
t
_tru
e
_
f
alse_if_no
t
_already_
s
et(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Ca
r
penter
db: make
a
file kernel
.
ret
u
rn_fixes for
u
p
d
at
i
ng retu
r
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
f
l
ow
:
merge multiple case statements in a r
o
w together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next