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
Modify the return hook to pass an expression instead of the statement.
2009-11-14
Dan Carpent
e
r
Modify the return hook to pass an expression inst
e
ad
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
D
o
clear the
ran
g
e info so
e
arly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
D
a
n Carpenter
introduce is_e
r
ror_return(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
make func
t
io
n
de
c
larati
o
n static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-12
D
an Carpenter
Do no
t
accidentally delete
.
h f
i
les
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan Ca
r
penter
New missi
n
g dev_put(
)
check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan C
a
r
p
e
nt
e
r
Handle
if ((dev = fo
o
()
)
== NULL)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan C
a
rpenter
silly fals
e
positive: re
t
urn f
o
o; <- f
o
o
p
ossi
b
ly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan C
a
rpenter
Up
d
a
t
e
sm
a
tch
_
data to 2
.
6
.
3
2
-rc6
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
Add some comm
e
nt
s
and
c
opy
r
ight not
i
ces
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
small clean up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
D
an Carpen
t
er
F
ix segfa
u
lt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Allow people to us
e
kchecker file
.
o
as well as
.
c
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpen
t
er
In
i
tialize values pr
o
perly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Turn
the two
pass s
y
ste
m
off by default
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-10-25
Dan Carpenter
Optimization: pr
e
p
end
(
)
-> a
p
pend
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-09-06
Dan Carpenter
Print a
n
err
o
r for this:
i
f
(a | b)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Da
n
C
a
rpenter
Dua
l
pass s
y
s
tem [patch #2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpenter
Dual pass system [patch #1
]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Ca
r
penter
clean
u
p:
move DI
M
PLIED() to
s
match_im
p
lied
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Da
n
Carpen
t
er
code c
h
ur
n
: rename SM_DEBUG
(
) to sm
_
debug()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan
C
a
rpent
e
r
c
o
de chu
r
n
:
r
ename smatch_msg() to
s
m_msg()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carp
e
nter
move my_
i
d parameter
[
part 2 of 2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Da
n
Carpenter
Move
m
y_i
d
paramet
e
r
.
[part
1 of 2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Da
n
Carpe
n
ter
Improve check_err_pt
r
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Dan
C
arpent
e
r
functi
o
n was
supposed
t
o
b
e static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
D
a
n
C
ar
p
e
n
ter
disabl
e
smatc
h
_cont
a
iners
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Rand
o
m
u
g
ly changes
t
o check_over
f
l
o
w
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan
C
a
rpenter
Stop
p
rinting
s
o
m
uch info all
t
h
e
time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan
Carpen
t
er
New option: --spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Remove o
p
timization
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Add che
c
k
_assigned_
e
xp
r
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
fix calculating sizeof()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Ca
r
penter
return UN
D
EFINED
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
D
an Ca
r
pente
r
Ta
l
k a
b
out
s
ma
t
ch_scripts/kc
h
ecker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
D
a
n Carpente
r
I
mpro
v
e get
_
implied_va
l
ue()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
correct format
.
warning:
=
> warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan C
a
rpenter
Add some strip_expr() calls to
t
he function hooks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpe
n
ter
Improve buffer
o
v
e
rflow ch
e
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-01
Dan
C
a
r
pe
n
ter
introd
u
ce smatch_container
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-31
Dan Carpenter
introduce set_state_ex
p
r()
a
nd
f
riends
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan
Carpenter
a
d
d check_deref_check
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpente
r
ad
d
ed
c
h
eck_i
n
itial
i
ze
r
_
de
r
ef
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
new hook: add_modification_hook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan C
a
rpenter
move so
m
e dec
l
arations
o
ut of smatch
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-21
Dan Carp
e
nt
e
r
Upda
t
e smatch_
d
ata for 2
.
6
.
31-pre3
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-17
Dan
Carpent
e
r
I
m
prove the displayed
va
r
iabl
e
n
ames
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-17
Dan C
a
rpent
e
r
f
i
x
b
u
f
fer overf
l
ow
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-15
Dan Carpen
t
er
Add chec
k
_
b
alanced
.
c and smatch_data/kernel
.
bal
a
nced_funcs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan
Car
p
ent
e
r
PTR_ERR(
E
RR_
P
TR(-42)) is
n
on zero
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan C
a
rpenter
check_me
m
o
r
y
.
c: use the add_scope_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan
Carpenter
Add scoped_state(
)
a
n
d add
_
scope_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpenter
smatch_implied: only print
the nr_children m
e
ssage
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan C
a
r
p
enter
smatc
h
_extra
:
fix (f
o
o != 42) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan
Carpente
r
F
ix overlapping
r
anges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
Dan
Carpent
e
r
chec
k
_
m
e
m
ory
.
c
: fix reversed i
f
statem
e
n
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
Dan C
a
rpen
t
e
r
F
ix anoth
e
r bug cause
d
by funn
y
tmp
_
range_lis
t
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
M
e
rge br
a
nch
'n
e
w_impl
i
cations'
i
nto devel2
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Ca
r
pent
e
r
Fix cra
s
hing bug ca
u
s
e
d
by the switch
c
h
a
nges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
D
a
n
Carp
e
nter
debugging: print the line n
u
mbers in merge_
s
m_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpente
r
Mak
e
switch statemen
t
s work a
g
ai
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan
C
a
r
p
enter
clean
u
p
.
us
e
true/false_comparison_range_lr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
code churn: rename ->p
r
e_lef
t
=> ->left, ->pre_right
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
D
a
n Carpen
t
er
Put a cap on implications
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
Da
n
Carpenter
Improve
debu
g
gi
n
g
.
Don't
overwrite s
m
->lin
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
D
a
n Carpenter
Micro optimization
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
D
an Carpenter
clean up in merg
e
_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
c
heck for out
_
of_memory() less often
a
nd
only
after
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan C
a
rpenter
B
e
tter debugging for check_mem
o
ry
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpente
r
Ad
d
s
witch t
e
sting test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Doh
.
Too many implied
states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Da
n
Carpenter
R
e
m
ove clone_slist_and_states
(
)
a
nd merge_slist_
c
lone()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Da
n
Carp
e
nter
Remo
v
e
switc
h
cl
o
ning
c
omplex
i
ty
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Da
n
Carpenter
two i
s
always
n
o
n-null
t
he
s
e days
.
don't check it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
remove unu
s
e
d m
e
rge_poo
l
s
(
) function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
don't pr
i
n
t
"lis
t
" varia
b
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpen
t
er
Make m
y
_
p
ools => my_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
introduce
c
lone_pool_have
r
s()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpente
r
c
lone_
s
t
ate() d
o
esn't co
p
y my
_
pools
.
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
Rew
o
rk
i
mplications to use
->pre_left and
->pre_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Car
p
en
t
er
two is always non-null these
da
y
s
.
don'
t
ch
e
ck
i
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
Intr
o
d
u
ce ->p
r
e_left a
n
d ->p
r
e_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Ca
r
penter
Make the RA
M
limit more
a
c
curate and flexible
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-10
Dan Carpenter
Only clo
n
e t
h
e states if it i
s
a sw
i
t
ch s
t
ate
m
ent
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan
Carp
e
nte
r
Don't
c
lone the false stat
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpen
t
er
Don't c
l
one all t
h
e s
t
ates for
ev
e
r
y
case s
t
at
e
ment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Make the validation test ha
r
der
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Carpenter
P
r
event so
m
e endle
s
s lo
o
ps
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Carpent
e
r
Putting parens a
r
oun
d
something do
e
s
n
'
t
m
a
ke i
t
u
ndefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Ca
r
penter
Fix memor
y
leak
.
free_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Make
struct sm_
s
ta
t
e
m
ore compact
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n
Carpenter
s
match_slist
.
c no longe
r
ne
e
ds any funct
i
ons
f
r
om smatch_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
De
l
ete all the a
n
ding
comp
o
u
nd conditions
cod
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan C
a
r
penter
check debug is useful for debugging
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
potenti
a
l bug
fix for gotos
with im
p
lica
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpen
t
er
Make validation test
h
a
rder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan C
a
r
p
en
t
er
R
ework sma
t
ch
i
mpli
e
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
Dan
Carpenter
get_value(): hand
l
e a coup
l
e more
b
i
t oper
a
tors
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpen
t
er
Set things in smatch ext
r
a instea
d
of sm
a
tch implied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Car
p
ente
r
Handle sw
i
tch
s
t
atements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next