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
type_val: handle |= type assignments
2016-04-14
Dan Ca
r
pent
e
r
slist: re
m
ove
u
nused __se
t
_true_fa
l
se_if_no
t
_
alr
e
ady_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan C
a
rpen
t
er
db: m
a
k
e a file
k
er
n
el
.
return_fixes f
o
r
u
pdating
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan C
a
rpenter
flo
w
:
m
e
rge multiple ca
s
e statements in a row together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpente
r
helper: use
.
i
ns
t
e
a
d
o
f -> for more variab
l
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
arpent
e
r
p
a
ram_set: remov
e
an unnneeded variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
arpenter
extra: p
+
+ should
c
lear
t
he states for
*
p or
p->
f
oo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpent
e
r
math: handle __bui
l
ti
n
_types_comp
a
tible_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow: split cas
e
stateme
n
t
h
andling i
n
to its o
w
n function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
arpenter
i
m
plied: replace __
g
et_implied_valu
e
s() wit
h
g
e
t_ab
s
olute_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Carpe
n
ter
flow: fix bug
i just introduced
with known swit
c
h statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
arpen
t
er
debug: p
r
i
n
t the max size for __smatch_buf_size
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpent
e
r
d
e
bug: incl
u
de ->possible and absol
u
te
i
n
_
_smat
c
h_abo
u
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
implied: remove
unne
c
essary in
i
t
i
alization
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an Carpent
e
r
param_cleared:
s
tri
p
away
ca
s
tin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpe
n
te
r
ranges
:
make filte
r
_top_rl() take a r
a
n
ge_list filter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n
C
arpenter
f
low: shuffle ca
s
e sta
t
ement ha
n
dli
n
g a
r
ound
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an C
a
rpenter
implie
d
:
s
plit the __impli
e
d_case_str
e
e() into two
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
arpenter
extra: w
h
i
t
e s
p
ace cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
a
rpenter
imaginary_a
b
solute: it
'
s like
smatc
h
_
e
x
t
ra
.
c
for i
m
poss
i
b
l
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Ca
r
penter
implied: rem
o
ve some duplicate lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan
Carpenter
ex
t
r
a
:
remove an obsolete comm
e
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan
C
a
r
p
enter
extra: spli
t
ha
n
dle_comparison() into two fu
n
c
ti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Car
p
e
n
ter
db: igno
r
e unreachab
l
e
retur
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan
C
ar
p
enter
db: split returns
in to NU
L
L
a
nd non-NU
L
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Ca
r
p
e
nter
db: remove
pointl
e
s
s r
e
t
urn
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Da
n
Carpenter
db:
s
m
all cleanu
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
D
a
n
Carpen
t
e
r
h
o
oks: re
n
a
m
e CALL_
H
OOK_AFTER to CALL_HOOK
_
A
F
TER_DB
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
untracke
d
_param: ha
n
dle inline
c
alls better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
flow: doen't reset loop_count
f
or i
n
line funct
i
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carp
e
nter
i
m
p
lied: use the correct
type for condi
t
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carpent
e
r
s
cope: d
e
lete o
u
t
of sc
o
p
e
v
a
riables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Ca
r
penter
v
a
lidation/sm_chu
n
k2
.
c
: updat
e
validation
t
est
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan
C
arp
e
n
t
er
db:
revert a "speedup"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Car
p
enter
r
e
al_absol
u
te: turn t
h
is co
d
e on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Car
p
e
n
te
r
e
rr_
p
tr_dere
f
: complain
about dere
f
eren
c
es
inside
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
ret
u
rn_ef
a
ult: compla
i
n about
"retu
r
n cop
y
_fro
m
_user()
;
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
buf_size: save siz
e
of fixed arrays that are returned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Carpenter
modific
a
tion_ho
o
k
s:
r
e
m
ove an unneeded
variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
an
C
a
r
penter
slist: make
m
erge_stat
e
s
() static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
states: make deb
u
g outpu
t
more consistent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
hooks: put
each type
o
f
hook into it's ow
n
arra
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpe
n
ter
.
g
i
tignore: add
.
gdb_history
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
stored_condi
t
ions
:
white s
p
a
ce
cha
n
ges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
math:
prefe
r
re
a
l_ab
s
olute
_
value to
the
d
b value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
arpenter
imp
l
ied:
r
emove a b
l
ank lin
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpen
t
e
r
condition
s
: bug
in condition a
s
s
ignments
l
ike
f
o
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpen
t
er
impossibl
e
: handle ass
i
g
n
ment c
o
ndition
s
b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Carpent
e
r
string_condition: don't c
o
mplain about TRACE_EVENT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Ca
r
penter
function_
h
o
o
ks: handle returs th
a
t don't set a s
t
ate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpen
t
er
db: don't use spl
i
t_success_fail if it
d
oesn't retu
r
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
db
:
fix bug
i
n
p
rint_struct_me
m
b
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan C
a
rpen
t
er
db: for i
m
possib
l
e return
s
just
d
o
the sim
p
l
est thi
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpen
t
er
extra:
u
se real
_
absolute values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
extr
a
: improve array handli
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan
C
arp
e
n
t
er
smatch: add a --tim
e
option to print how long
s
mat
c
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
D
a
n Carpenter
flow: han
d
le "*p++ = fo
o
" b
e
tter
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
f
l
ow: fix
inside_loop()
w
i
t
h inl
i
ne f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-17
Dan Carpenter
param_s
e
t: handle arr
a
y
assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
Dan Carpente
r
i
m
plied: remove
buggy code
f
o
r
working around the
old
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
Dan Carpe
n
ter
db/fixup_kernel
.
sh: add kmalloc_
o
rder_trace()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
Dan
Carpenter
db
/
f
ix
u
p_
k
e
rnel
.
sh: ign
o
re a lot of PCI errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpenter
data/ke
r
nel
.
clears_argument:
add cop
y
_user_ge
n
er
i
c
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
D
a
n Carpenter
d
b
: spl
i
t positi
v
e fro
m
neg
a
t
i
ve returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Da
n
Ca
r
pent
e
r
expr
e
ssion
s
: introduce compar
e
_e
x
pression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpenter
implied:
i
ntroduce assume(
c
ond
i
tion)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpenter
db: handle paramet
e
r function poi
n
ters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-07
Dan
C
arpenter
states: handle fake sl
i
st properly when we m
e
rge true
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Da
n
Carpenter
va
l
i
dation: add a test for ranged cas
e
stat
e
me
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan C
a
r
p
ent
e
r
conditi
o
ns: big fake state re-work
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
avl: remove si
g
n
(
) functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
slis
t
: introduce type_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
D
a
n
C
ar
p
enter
conditions: add a NULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
D
a
n Car
p
en
t
er
implied: revert n
o
t
already set change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-29
Dan Carpenter
ext
r
a
:
handle
post op i
n
crement loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-26
Dan Carpenter
type: fix "s
t
rang
e
non-value functi
o
n or
a
rr
a
y" warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-25
Dan Carpente
r
leaks: don't res
e
t
state
s
to themselve
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-23
Dan Carpe
n
ter
flow, condit
i
ons:
h
a
n
dle label statements correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-23
Dan Carpenter
db: f
i
x a bug i
n
splitting ret
u
r
n
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-19
Dan Carpenter
Revert "states: only set the fake_stree in set_sta
t
e()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Da
n
Car
p
en
t
er
locking:
d
on't warn abou
t
impo
s
sible p
a
ths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
valida
t
i
on/sm_i
m
plied8
.
c
:
u
p
date
test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Ca
r
p
e
n
t
e
r
function_hooks: use __set_sm_
c
ur_
s
tree(
)
in
d
b_return_states
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
st
a
tes:
o
nly set the fa
k
e_stree in set
_
state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carp
e
nter
implica
t
ions: use stored_con
d
itio
n
s the default fall
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpent
e
r
impli
e
d: unbreak assign_rang
e
d_fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpenter
state
s
:
delete an unus
e
d
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpente
r
impli
e
d: fix PARAM_LI
M
I
T
i
mplicati
o
ns again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpe
n
ter
implied
:
fall
out from fake_
c
ur_stree cha
n
ge
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Dan Car
p
enter
real_abso
l
ute:
+
= and = are
n
ot the same
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Da
n
Carpente
r
states:
_
_
set_
s
m_cur_stree(
)
should n
o
t chan
g
e
th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Dan Carp
e
n
t
er
states: set
t
i
n
g the true state d
o
esn't set the cur_stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carp
e
nter
impl
i
ed: fix a bug h
a
ndling
P
ARAM_LIMIT imp
l
ications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpen
t
e
r
validati
o
n: add sm_impossible2
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
str
u
ct_assig
n
m
e
nt:
silence a GCC false
p
ositive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
D
an Carpent
e
r
validation/sm_imp
l
i
ed10
.
c: upda
t
e the t
e
st
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
D
an Carpenter
extra: fix val
u
es_fit_type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
R
e
v
e
rt "slis
t
: make _
_
me
r
ge_slist()
all
o
c
a
te less memory"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Ca
r
penter
flo
w
: silence a GCC false positi
v
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan
C
arpenter
val
i
d
a
tion/sm_compare3
.
c: upda
t
e t
h
e check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Da
n
Carp
e
nter
validation:
upd
a
te sm_math1
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next