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
Dan Carpen
t
er
impli
e
d: de
l
ete unus
e
d function sm_st
a
te_in_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan
C
arpe
n
ter
ptrlist:
u
se aft
e
r free in last_ptr_lis
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Da
n
C
arpenter
flow:
type issu
e
handling switch statem
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
r
anges: fix type
issue in remov
e
_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpent
e
r
conditions
:
silence valgri
n
d warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-06
D
an Carpenter
flow
:
set fi
n
al_pass
i
f we have
t
o bai
l
on
a function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan
Carpenter
ex
t
ra: export get_oth
e
r_name_sym
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpe
n
ter
impos
s
ible: add is_impossible_p
a
th
(
) to sm
a
t
ch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
db: don'
t
crash gen
e
rat
i
n
g
S
QL for invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpente
r
extra: fix bug handling untrack
e
d pointer
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Da
n
Ca
r
pent
e
r
str
u
ct_assignme
n
t
: ignore ce
r
tain ty
p
es
o
f assignm
e
nt
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
D
an Carpenter
extra: defe
r
ences i
n
fake assignments don't count
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
D
a
n Carpenter
ext
r
a: handle fak
e
assignments f
a
ster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
D
an Ca
r
penter
imp
l
ied: im
p
rove ove
r
writ
e
_states_using_p
o
ol()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carp
e
nter
i
mpl
i
ed:
a
dd a comment explaining
h
ow i
m
plications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Da
n
Carpenter
functio
n
_hooks
:
chec
k
PARAM_LIMIT
i
mpli
c
ations all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-31
Dan Car
p
enter
func
t
ion_hooks
:
integ
r
ate call_implies hooks with the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
a
rpente
r
slist: mangle
t
he l
i
ne
numb
e
r of me
r
ged states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arp
e
nter
siz
e
of_param
:
r
emove read
_
rom() from checked fun
c
tio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpen
t
e
r
create_db: delete some duplicate entrees from function_pt
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arpenter
real_absolu
t
e:
don
'
t st
o
re wh
o
le
r
anges for no reason
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Carpent
e
r
st
r
uct_assignment: pul
l
split_fake_
e
xp
r
() into it
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpenter
d
b
:
limit
the amount of
data in type_v
a
lue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpenter
e
xtra: ha
n
dl
e
if (IS_E
R
R(foo[bar])) {
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Carpen
t
er
db: introd
u
ce get_param_name_var_
s
y
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
rpen
t
er
implied: ha
n
dle c
h
unks in sw
i
tch stateme
n
ts l
i
ke switch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpenter
ex
t
ra: don't mark all arr
a
ys as
deref
e
renced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpe
n
ter
hel
p
er
:
c
reate an a
l
loc_state_expr() helper function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carp
e
nter
whit
e
space: re
m
ove some blank lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan C
a
rp
e
nt
e
r
extra
:
re
m
ove unus
e
d function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpe
n
ter
locking: add
m
o
r
e
i
m
p
o
s
si
b
le
handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
db: remo
v
e s
o
me extra semi-co
l
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arpenter
range
s
: remove
a
n unneeded
initi
a
lizer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Carpen
t
e
r
returns: provide a
split ou
t
l
i
st of all the
r
e
turn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpent
e
r
r
e
turns: add g
e
t
_
al
l
_returns_
s
t
ates() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpen
t
e
r
mo
v
e freeing to AFT
E
R_FUN
C
_HOO
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carp
e
nt
e
r
db: consti
f
y
s
o
m
e pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
a
r
pent
e
r
extra: add miss
i
ng inclu
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Carpenter
extra: don't ov
e
rwrite non-null po
i
n
ters because
o
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
extra:
f
i
x handling
of
"if
(
fo
o
& 0x3210) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-04
Da
n
Carpen
t
er
param_set: introd
u
c
e
pa
r
am_was_set_
v
ar_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpenter
i
mpossi
b
le: handle switch stat
e
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Ca
r
penter
i
mpo
s
sible:
don
'
t overwrite the imp
o
ssib
l
e state by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpente
r
implied:
h
andle
i
mplications for if (({whatever
;
foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-26
D
a
n Carpe
n
ter
slis
t
: create
is_leaf() functi
o
n
w
hich i
s
t
he opp
o
site
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-25
Da
n
Ca
r
pent
e
r
ranges
:
use signed ty
p
e for negative
ints less than
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
D
an Carpe
n
ter
db/kernel
.
return_fixes r
e
gmap_bulk_
r
ead(
)
returns negatives
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpenter
ranges: f
i
x
a bug
i
n rl_invert(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpenter
sval, type
:
make s
o
me functions inlin
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan
C
arpente
r
implied: fix a
n
old i
m
plic
a
ti
o
n bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpe
n
ter
i
mplied:
r
emove unuse
d
add_pool() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Car
p
enter
implied: pass sm_s
t
ates instead of pools
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
D
an C
a
r
p
enter
implied: fix a type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Da
n
Carpenter
i
mplied:
update some debug
o
u
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan C
a
rp
e
nter
impl
i
ed: create fake i
m
plicat
i
o
n
history
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan
Carpen
t
er
states: tweak debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
D
a
n C
a
r
penter
states: print deb
u
g
output in
_
_
s
et_true_false_sm(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
imp
l
ied: overwrite smatch_extra using implied sta
t
es
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n Carpente
r
ranges,
ex
t
r
a: mov
e
a
nd expor
t
spli
t
_
c
om
p
arison_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Ca
r
pen
t
er
slist: rem
o
ve unused __set_true_f
a
l
se
_
if_not_
a
lready_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpente
r
d
b
: make a file
kernel
.
r
et
u
rn_fix
e
s
f
or upd
a
ti
n
g return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
arpenter
flow: merge multiple case statements in a row together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
helpe
r
: use
.
instead of -
>
for
m
ore vari
a
bles
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
an Carpenter
param_set
:
remove an unnneeded
v
a
r
ia
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n Carpenter
extra: p+
+
s
h
o
uld clear the states fo
r
*p or p-
>
foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Car
p
e
n
t
er
math:
handle
__builtin_types
_
compatible_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow: spli
t
case s
t
atement handli
n
g into its
o
wn function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Ca
r
p
ent
e
r
imp
l
i
e
d: replace __get_impli
e
d
_
v
alue
s
() with
get_a
b
solute_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow: fix bug i
just
i
ntrodu
c
ed with known switch
statement
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an Carpente
r
debug: print t
h
e max size for __smatch_buf_siz
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an Carpenter
debu
g
: incl
u
d
e
->po
s
sible and absolute in __smat
c
h_about
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
implied
:
remo
v
e unnece
s
sary
i
nit
i
a
l
i
zation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Car
p
enter
param_clea
r
e
d
: stri
p
away casti
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
arpenter
ranges: make filter_top_r
l
() take a range_list f
i
lter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow: shuffle case
statement ha
n
dlin
g
arou
n
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Car
p
e
n
t
e
r
im
p
lie
d
: split th
e
__impl
i
ed_case_
s
t
r
e
e() into two
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpent
e
r
e
x
t
r
a
:
w
hi
t
e space cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
imag
i
nary_absolute: it
'
s like
smatch_extra
.
c
f
or impossible
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Car
p
en
t
er
impl
i
ed: r
e
m
o
ve s
o
me duplicate lin
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Car
p
ent
e
r
extr
a
: remove a
n
obsol
e
te
comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carp
e
nter
e
x
t
r
a: split
h
a
n
d
le_compari
s
on()
i
n
to
t
w
o functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
D
an Carpenter
db: ignore unreachable returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
db
:
split
retu
r
ns
in
to NU
L
L and non-NU
L
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan
C
a
r
penter
db: remove pointless return
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
db: small
clea
n
up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan C
a
rpenter
h
ooks: ren
a
me CALL
_
HOO
K
_A
F
TER to CALL_HOOK_AF
T
ER_DB
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
untracked_
p
aram: handl
e
inline
c
al
l
s bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpe
n
ter
flow: doen't
re
s
e
t
loop_count for inlin
e
f
un
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carpenter
i
mplied:
use the corr
e
c
t typ
e
for
con
d
itions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-05
D
a
n
C
arp
e
nter
sco
p
e: delete out
o
f
s
cope variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
D
a
n
Ca
r
penter
v
a
lidation/
s
m_
c
hunk2
.
c:
update valid
a
tion test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpe
n
ter
d
b: revert a
"speedup"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
r
eal_a
b
solute: turn th
i
s code on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Da
n
Carpenter
er
r
_ptr_deref:
c
omplain about deref
e
rences inside a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
return_efault: com
p
lain about "
r
et
u
rn copy
_
from_user();"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Ca
r
pen
t
er
b
u
f_size: save s
i
ze of
fi
x
ed arrays tha
t
are
r
e
turned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n
Carpe
n
te
r
modif
i
cation_hooks: remove an unneeded variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpente
r
slist
:
m
a
k
e merge_states
(
)
st
a
tic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
C
a
r
penter
states
:
make debug
o
u
t
pu
t
more c
o
ns
i
st
e
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
hooks: pu
t
each ty
p
e of hook
i
nto i
t
's own
a
rray
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next