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
Handle EXPR_FORCE_CAST in __split_expr()
2009-11-07
Dan
Carpenter
Init
i
al
i
ze
values proper
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Turn the two pass s
y
stem
off by d
e
fault
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-10-25
Dan
C
arpe
n
te
r
Opt
i
mization: prepend() -> append()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-09-06
Dan Carpen
t
er
Print an error for this: if (a | b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan Car
p
enter
Dual pass sys
t
em [pat
c
h
#2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan
C
arpenter
D
ual pass
s
ystem [
p
atch #1]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpent
e
r
clean up: mo
v
e DI
M
PLIED
(
)
to smat
c
h_imp
l
ie
d
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan
C
a
rpent
e
r
cod
e
churn
:
rename SM_DEBUG() t
o
sm_
d
ebug()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan C
a
rp
e
nter
code
ch
u
rn: rena
m
e smatch_m
s
g() to sm_
m
sg()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
move my_id param
e
t
er
[part 2 of 2
]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Da
n
Carpenter
M
o
ve
m
y_id parameter
.
[
p
art 1 of 2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpen
t
er
Improve
check_err_ptr
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carp
e
nter
function was supposed to be static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
d
i
sable
s
match_con
t
ainers
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carp
e
n
ter
Random u
g
ly ch
a
nges
t
o che
c
k_overflow
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Da
n
C
a
r
p
e
nter
St
o
p pri
n
ting
s
o m
u
ch info all the ti
m
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
D
an
Carpenter
New opt
i
on: -
-
spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carp
e
nte
r
Remove o
p
timization
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan
Car
p
enter
Add
c
he
c
k
_
assi
g
ned_expr
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Ca
r
penter
fix
c
a
l
culating sizeof()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan
Carpent
e
r
ret
u
r
n
UNDEFINED
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpe
n
ter
Talk
about smatch_scri
p
ts/kche
c
ker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan C
a
r
p
ent
e
r
Improve get_implied_valu
e
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
D
a
n
Carpenter
correct f
o
rmat
.
warning: =
>
warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Car
p
enter
Add some strip_expr() calls to
t
he f
u
ncti
o
n hooks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Da
n
Carpenter
Improv
e
buffe
r
overflow check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-01
Dan C
a
rp
e
nter
intr
o
duce s
m
atch_containers
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-31
Dan Carp
e
nt
e
r
i
ntroduce set_state_expr() and friends
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan
Car
p
ente
r
ad
d
chec
k
_d
e
re
f
_check
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
add
e
d check_initi
a
lizer_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpen
t
er
n
e
w hoo
k
: add_modification_hook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan C
a
rp
e
nter
move some
d
ecla
r
at
i
on
s
o
ut of smatch
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-21
D
an Carpenter
U
pdate smatch_data for 2
.
6
.
31-pre3
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-17
Dan
C
a
rpenter
Improve the di
s
played variable
n
ames
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carp
e
nter
fix buffer overflo
w
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-15
Dan Carpenter
Add chec
k
_ba
l
an
c
ed
.
c and
s
ma
t
ch_data
/
ker
n
el
.
b
a
lanced_f
u
ncs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan C
a
rpent
e
r
PTR_E
R
R(ERR_PTR(-42)) is no
n
ze
r
o
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carpenter
c
h
eck_memory
.
c: use the add_scope_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carpe
n
te
r
A
d
d scop
e
d_stat
e
() and add_sc
o
pe_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carp
e
nter
smatch_impl
i
ed: on
l
y print
t
he nr_children m
e
ssage
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpenter
smatch_extra: fix (fo
o
!=
42) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
D
a
n Car
p
e
n
ter
Fix
o
verlapping
r
a
nges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpent
e
r
check_memo
r
y
.
c:
fix reversed if
statemen
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpenter
Fix another b
u
g
caused by
f
u
n
ny tmp_range_
l
ist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
Me
r
ge
b
ranch 'n
e
w_
i
mpl
i
catio
n
s' into deve
l
2
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
Fix cr
a
s
hing
bug caused by the swi
t
ch c
h
a
n
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
D
an Car
p
enter
debu
g
ging:
print t
h
e
line numbers i
n
merge_sm_s
t
ate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
Make sw
i
tch
s
tatements wor
k
agai
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan C
a
rpenter
clean up
.
use true/false_compar
i
son_range_lr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan C
a
rpenter
code churn: rename ->pre
_
left => ->
l
eft, ->
p
re
_
rig
h
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carp
e
n
t
er
Put a c
a
p on
i
m
p
li
c
ations
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
Dan
Carpen
t
er
Im
p
rove debuggin
g
.
Don't overwr
i
te
s
m->l
i
ne
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
Dan C
a
rpe
n
ter
M
i
cro optimization
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carp
e
nte
r
clean u
p
in
m
erge_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan
Carpe
n
ter
check
f
or out_of_memory() less often
a
nd only after
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Da
n
Carpenter
Bett
e
r
debug
g
ing for che
c
k_memory
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan
Carpen
t
er
Ad
d
switch testing test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
D
o
h
.
T
oo man
y
i
mplied states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpent
e
r
Remove clone_slist_
a
n
d_states(
)
and mer
g
e_slist_clone()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpent
e
r
R
e
mo
v
e
switch cloning complexit
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpen
t
er
two is
a
l
w
ays non-null
thes
e
days
.
don't
c
he
c
k it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Ca
r
penter
remov
e
unuse
d
merge_pools()
fun
c
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Da
n
Carp
e
nte
r
don
'
t pr
i
nt "li
s
t
"
variable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpen
t
e
r
Make my_pools => m
y
_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carp
e
nter
introduce
c
lone_poo
l
_ha
v
ers()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
an Carpenter
clone_state() doesn
'
t copy my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
D
an Carpenter
Rewor
k
implications to use
->pre_left
and ->pre_
r
i
g
ht
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
an Carp
e
nter
two is
al
w
ays n
o
n-null thes
e
days
.
don't
check it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
In
t
roduce ->p
r
e_le
f
t
and -
>
pre_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpent
e
r
Make the RAM lim
i
t more
accurat
e
and flex
i
bl
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-10
Dan Carpent
e
r
On
l
y clone th
e
states
i
f it
is
a sw
i
tch sta
t
eme
n
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Da
n
Carpenter
Don't clone the fa
l
s
e states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpenter
Don't c
l
o
n
e
all the stat
e
s fo
r
ev
e
ry
case s
t
atement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Make t
h
e
validation test harder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
an Carp
e
nter
Prevent some endless loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
an Carpenter
Putting parens
around something
d
oesn't m
a
k
e it unde
f
ined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Fix memory leak
.
fre
e
_slist(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Make struct sm_s
t
ate mo
r
e
compa
c
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
an Ca
r
pe
n
t
e
r
smatc
h
_sl
i
s
t
.
c
n
o longer ne
e
ds any
f
un
c
t
ions from
s
match
_
e
xt
r
a
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan
Carpenter
Delete a
l
l the andi
n
g co
m
pound
conditions code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpe
n
ter
check debug is useful for debugging
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
p
o
tential bug fix for
gotos with implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
C
a
rpenter
Make
v
alidati
o
n test harder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Rework smatch
i
mplied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
Dan
Carpenter
get_value(
)
:
h
andle a
c
o
u
ple more
b
it operat
o
rs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan
C
arpente
r
Set t
h
ings in s
m
a
t
ch
extr
a
inst
e
ad of smatch
i
mpl
i
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan C
a
rpenter
H
a
ndle swi
t
ch statem
e
nts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Re
v
e
r
t "Do
n
't the impli
c
atio
n
s for
t
h
e state
determining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carp
e
nter
Revert
"Here is a b
u
g i
n
h
a
nd
l
i
n
g compound
conditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Car
p
ent
e
r
h
an
d
le if((foo = down
_
try
l
o
ck()
)
< 0) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
add_is_merged_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
D
a
n Carpenter
Dereferencin
g
a
v
a
r
iable does
n
't
make i
t
und
e
fined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
D
an Carpent
e
r
Redo checki
n
g
for out
o
f
range ar
g
s
t
o
E
R
R_PTR()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
Dan Carpenter
Here is a bug in handling compound cond
i
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Handle st
r
ai
g
h
t
forwa
r
d c
o
m
parisons to zero
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan
Carp
e
nt
e
r
Store the
i
mplications for
return_implies_state
(
) assignments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Add: return_implies_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
C
arpen
t
er
Renam
e
smatch_ext
r
a_h
e
l
per
.
c to
smatch_ranges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n Ca
r
penter
Eliminate s
e
t_cond_st
a
tes() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
rpenter
Small clean u
p
.
Allo
c
ating filter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next