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
db: Using plain integer as NULL pointer
2016-05-30
D
a
n Carpenter
sizeof_pa
r
am: remov
e
read_rom()
f
rom ch
e
c
k
ed functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpent
e
r
create_db: d
e
le
t
e some
d
uplicate entr
e
e
s
from function_ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Car
p
enter
real_absolute: don't store wh
o
le
r
anges for no reason
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
s
truct_a
s
signment: pull split_fake_expr(
)
into its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpe
n
ter
db:
l
imit the
amoun
t
of da
t
a
i
n t
y
p
e_value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Ca
r
penter
extra: handl
e
if
(
I
S
_
E
RR
(
foo[bar]))
{
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arpenter
db: introduce get_p
a
ram_name_
v
ar_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
implied:
handle chunks
i
n
swit
c
h statements like
s
witc
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
extra: do
n
'
t
mar
k
all arrays as
dereferenced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Carpe
n
ter
helper: create an alloc_
s
tate_expr() helper functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
whitespace: remove some blank lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan C
a
rpen
t
er
extr
a
: re
m
ove unused
f
u
n
c
tio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
a
r
p
e
nter
lockin
g
: add more impossible hand
l
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpe
n
t
er
d
b: remove some extra
s
emi
-
colons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
p
enter
ranges: remove an unne
e
ded
initializer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpe
n
te
r
returns
:
p
r
ov
i
de a split out l
i
s
t of all
th
e
retu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Carpen
t
er
ret
u
rns: add get_all_retur
n
s_state
s
() function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Carp
e
nter
move f
r
eeing to AFTER_FUNC_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpente
r
db: consti
f
y some po
i
n
ters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Ca
r
penter
extra: add missi
n
g
i
n
clude
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
extra: don't ov
e
rw
r
ite
n
on-nu
l
l
po
i
nters beca
u
se of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
an Carpen
t
er
extra:
f
ix handling o
f
"if
(
foo & 0x3210) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-04
D
an Carpenter
param_set: introduce param_was_se
t
_
var_
s
ym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpe
n
t
e
r
im
p
ossible: handle switch sta
t
e
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan
Carpenter
imp
o
ssi
b
le
:
don
'
t o
v
e
r
write
t
he imposs
i
ble state by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan
C
a
rpenter
impl
i
ed
:
handl
e
implic
a
t
i
ons for if (
(
{whatever;
foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-26
Dan
Carpenter
slist: create is_
l
eaf() f
u
nction whic
h
is
the opposite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-25
Dan Carpent
e
r
ranges: use
signe
d
type
f
or nega
t
ive ints less than
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpent
e
r
d
b/kernel
.
retur
n
_fixe
s
regmap_bulk_read() returns
n
egat
i
ves
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpente
r
ran
g
es: f
i
x a bu
g
i
n rl_inver
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpenter
s
val, type: make some f
u
n
c
tions inline
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan
C
arpente
r
implied: f
i
x an old
implicati
o
n bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
implied: r
e
move u
n
u
s
ed
a
dd_po
o
l() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
impli
e
d: pas
s
sm_
s
ta
t
es instead of
po
o
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
D
a
n
Ca
r
pent
e
r
implied: f
i
x a
t
y
pe bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
D
a
n
C
a
r
p
enter
implied: update some debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carp
e
n
t
er
implied: c
r
eate fak
e
implic
a
tion history
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
D
a
n Carpenter
sta
t
es: tweak
debu
g
outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpen
t
er
states: print debug output i
n
__s
e
t_true_
f
al
s
e_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan
C
arpenter
i
m
plied: overwrit
e
s
match_extra using
implied states
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Car
p
enter
ra
n
ges, extra: move and e
x
port s
p
l
it_compa
r
is
o
n_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carp
e
nter
slist: re
m
ove unused _
_
s
e
t_true_fal
s
e
_
i
f_not_alre
a
d
y_set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
C
a
rpenter
db: make
a file
ke
r
nel
.
return_fixes for updating r
e
turn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carp
e
n
t
er
fl
o
w: merge multiple
c
ase sta
t
e
m
ents in a row t
o
g
e
ther
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan
Carpenter
hel
p
er: us
e
.
instead of -> for
mor
e
v
a
r
iables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan C
a
rpent
e
r
param_se
t
: remov
e
an un
n
needed varia
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
ext
r
a: p++ shoul
d
clear t
h
e states for *p or p-
>
foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
math
:
handl
e
_
_
builtin_ty
p
es_compatible_
p
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpen
t
er
flow: sp
l
i
t
c
a
s
e
s
tatement
ha
n
dling
into its own functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Car
p
enter
implied: repla
c
e __get
_
i
m
plied_values() with get_
a
b
s
olut
e
_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow: fix
b
u
g
i j
u
st
i
ntrodu
c
ed with known sw
i
tch statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
debug: pr
i
nt t
h
e max
s
ize f
o
r __smatch_buf_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
a
r
pent
e
r
d
ebug: in
c
lu
d
e ->possible and
absolute in
_
_smatch_about
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Carpenter
implied: r
e
move unnecessary initi
a
lizati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Ca
r
pen
t
er
para
m
_
c
leare
d
:
str
i
p away casting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
ranges: make filte
r
_top_rl()
t
ake a range_list
f
ilter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow: shuffle c
a
se statemen
t
h
a
ndlin
g
a
round
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Ca
r
pen
t
er
implie
d
: split
the __im
p
lied_cas
e
_
s
tree() into two
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Ca
r
penter
e
xtra
:
white space cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
an Carpe
n
ter
i
m
aginary_absolu
t
e: it's like sm
a
t
ch_ex
t
ra
.
c f
o
r
impossi
b
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan
C
arpenter
implie
d
:
remove some duplicate lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
extra: r
e
m
o
v
e an
o
b
s
olet
e
comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carp
e
n
ter
extra: split
handle_compariso
n
()
into two func
t
io
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Ca
r
p
enter
db:
i
gnore un
r
eac
h
abl
e
retu
r
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Ca
r
penter
db
:
spl
i
t
r
eturns in to NU
L
L
an
d
non
-
NUL
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan
C
ar
p
ent
e
r
db:
r
emove pointle
s
s return
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
D
a
n Carpenter
d
b
:
sma
l
l cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpente
r
hooks: re
n
a
m
e CALL_H
O
OK_AFTER to C
A
LL_HOOK_AFTER_DB
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
D
a
n
Carpent
e
r
untracked_param: ha
n
dle inline calls better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
flow: doen't res
e
t loop_count for inline fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carpenter
implied: use t
h
e corre
c
t type
f
or c
o
nditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carpenter
s
c
ope: delete
out of scope variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpent
e
r
v
a
l
i
dation/sm_chu
n
k
2
.
c
: update
validation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpente
r
db: revert a "speedup"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Da
n
C
a
rpenter
re
a
l_absolute: turn th
i
s c
o
de on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
e
rr_
p
tr_
d
e
r
e
f
: c
o
mplain about
d
ereferen
c
es inside a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
r
e
turn_efault: complain abo
u
t "return copy_fro
m
_u
s
er
(
);"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Da
n
Carpenter
buf
_
size:
s
a
v
e size of fixed arra
y
s that are
returned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Carpenter
modific
a
t
i
on_hooks: remove a
n
u
n
needed
varia
b
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
s
li
s
t
:
m
ake merge_states() static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
an Carpenter
states: mak
e
d
e
bu
g
outp
u
t more
cons
i
s
t
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
C
a
rp
e
nter
hooks:
p
ut each type
o
f
hook i
n
to
i
t's
o
wn arr
a
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
.
gitig
n
ore
:
ad
d
.
gdb
_
history
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpente
r
stored_co
n
ditions: w
h
it
e
space changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Carpen
t
e
r
math:
p
r
e
fer real_absolut
e
_
v
a
l
ue to the db value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Ca
r
p
enter
i
mplied: remove a
blan
k
line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n
C
a
r
p
enter
co
n
d
i
t
ions:
b
ug
i
n c
o
ndition
a
ssignments like
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpente
r
impossible:
handle assignment conditi
o
ns
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
st
r
ing_co
n
di
t
ion:
don't complai
n
a
bout TRACE_EVEN
T
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carp
e
nter
function_hooks: handle
r
etu
r
s that don't
s
et a
state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
d
b:
do
n
't
u
se spl
i
t_success_fail if it doesn't re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
D
a
n
C
a
rpenter
db:
f
ix bug
in pr
i
nt_stru
c
t_members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
db: for impossible returns just do t
h
e
s
i
mplest thing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpe
n
te
r
extra: use real_absolute v
a
lu
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carp
e
n
ter
extra:
i
mp
r
ove
array hand
l
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpe
n
ter
smatch: add a --time option to prin
t
how long smat
c
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan
C
a
r
penter
fl
o
w: handle "*p++ = foo" better
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Ca
r
penter
flow: fix inside_loop() with
i
nline functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-17
Dan Ca
r
penter
p
aram_set: handle a
r
ray assignm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
Dan
C
arpent
e
r
implied: remove
b
u
g
g
y code for wor
k
ing around the
o
ld
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next