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
Improve handling: do {} while (--continue >= 0)
2009-11-23
Dan Carpen
t
er
Improve handling: do {} whil
e
(--co
n
t
i
nue >=
0
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n Carpenter
S
m
a
l
l cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan
Car
p
enter
kfree_skb(
)
w
a
r
nings are not spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Dan Ca
r
penter
Handle dereference
s
like *
f
oo
n
ot just f
o
o->bar
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carpenter
Ge
t
rid
o
f the
bitwi
s
e
o
r
check
.
It
didn't
find bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-20
Dan Carpenter
add
__raw_spi
n
_lo
c
k/unlo
c
k()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-18
Dan Carpenter
M
ak
e
r
a
n
ged f
u
ncti
o
ns
p
ass the assi
g
nment expression
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-17
Dan Carpenter
Make v
a
riable initialization int
o
assign
m
ent state
m
ents
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-16
Dan Carpenter
Delete check_initialize
r
_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-14
Da
n
Carpente
r
M
o
dify the
r
etu
r
n hook to pas
s
an
expression
in
s
tea
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan Car
p
enter
Do c
l
ear the ran
g
e info so early
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Da
n
Carpenter
intro
d
uce is_
e
rror_
r
etur
n
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
make
func
t
ion
d
eclarat
i
on static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-12
Da
n
Carpenter
Do no
t
ac
c
idental
l
y
dele
t
e
.
h files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
Dan
C
arp
e
nter
New m
i
ssing dev_put() c
h
ec
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
D
a
n Carpenter
Handle if ((
d
ev = foo()) == NUL
L
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Ca
r
penter
s
i
lly false
p
ositive: return foo; <-
foo possibl
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
D
an Car
p
e
n
ter
Update smatc
h
_data t
o
2
.
6
.
32-rc6
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan
Car
p
enter
Add so
m
e comment
s
and copyright
notices
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
D
an Carpenter
small cl
e
an u
p
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Fix
s
eg
f
ault
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpent
e
r
Allo
w
people to use
k
c
heck
e
r file
.
o as well as
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
D
a
n
Ca
r
penter
Initia
l
i
z
e values
properly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpe
n
ter
T
u
r
n the two pass syste
m
off by default
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-10-25
Dan
C
ar
p
enter
Optimization: prepend(
)
->
a
ppend()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-09-06
Dan Ca
r
p
e
n
ter
Pr
i
nt
a
n error for
t
his: if
(a | b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
D
a
n
Carpe
n
ter
Dual pass system [patch #2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
Dan Car
p
e
nter
Dual
pass syst
e
m [patch #1]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
D
an Carpenter
cle
a
n u
p
:
move
DIMPLIED() to smatch_implied
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Car
p
enter
code
c
h
urn:
rena
m
e
S
M_DEBUG() to
s
m_debug()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
D
an Carpenter
code churn: renam
e
s
match_msg() to s
m
_
m
s
g
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Ca
r
pent
e
r
move my_id parameter [part 2 of
2
]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan C
a
rpenter
Move my_id par
a
meter
.
[part 1 o
f
2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carp
e
nte
r
I
mprove
check_err_ptr
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpent
e
r
function was supposed to b
e
sta
t
ic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpen
t
er
d
i
sable sma
t
c
h
_containers
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Random ugl
y
changes to ch
e
ck_over
f
low
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Stop printing so much i
n
fo al
l
the ti
m
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpent
e
r
New option:
-
-
spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Car
p
enter
Rem
o
ve
o
p
timi
z
ation
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
A
d
d che
c
k
_
assigned_expr
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Ca
r
pe
n
ter
fix
c
alculating sizeof(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
D
a
n Carpente
r
return
UNDEFINED
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Talk a
b
o
ut
sm
a
tch_scripts/kchecker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan
Carpenter
Im
p
rove get_im
p
l
i
ed_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
c
orrect
f
ormat
.
war
n
ing: => wa
r
n:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Ad
d
some st
r
ip
_
expr
(
)
call
s
to the func
t
ion
hooks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
D
a
n Carpenter
Improve buffer o
v
er
f
lo
w
c
heck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-01
Dan Carpenter
in
t
r
oduce sm
a
tch_containers
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-31
Dan Carpenter
introduc
e
set_
s
t
a
te_expr()
a
nd
f
riends
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan
Carpenter
add check_der
e
f_check
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Ca
r
p
ente
r
added check_initializer_dere
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Car
p
enter
n
ew hook:
add_m
o
d
if
i
cation
_
hook
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Ca
r
penter
move
s
ome decla
r
ations out of sm
a
tch
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-21
Dan Carpenter
Update smatc
h
_da
t
a for 2
.
6
.
31-pre3
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carpent
e
r
I
mprove t
h
e dis
p
layed variable
names
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carpe
n
t
er
fix buffer overflow
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-15
Dan Carpe
n
ter
A
d
d c
h
e
ck
_
balan
c
e
d
.
c and smatch_data/kernel
.
b
alanced_funcs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
D
a
n Carpenter
PTR_
E
RR(ERR_PTR(-42
)
) is non zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan Ca
r
penter
check_memory
.
c
: use the
a
d
d_scope_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
D
an Carpe
n
t
e
r
Add
s
cop
e
d_state
(
)
and add_s
c
ope_hook
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Car
p
enter
sm
a
tch_implied: o
n
ly pri
n
t th
e
nr_children message
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
D
a
n Car
p
e
n
ter
smatch_extra:
f
ix (foo
!= 42
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpen
t
e
r
Fix over
l
apping ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Dan
C
arpenter
check
_
m
e
mory
.
c: f
i
x reversed i
f
statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
D
a
n Ca
r
pent
e
r
Fix a
n
o
t
her bug
c
aused by funn
y
tmp_range_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Car
p
enter
Merge br
a
nch 'n
e
w
_impli
c
ati
o
n
s'
i
nto
devel2
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carp
e
nter
Fix crash
i
ng bug cause
d
by the switch
changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
debu
g
g
i
ng: print t
h
e li
n
e
n
umbers in merge_sm_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan
Carp
e
nter
Make swit
c
h statements
w
or
k
ag
a
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
D
an Carpent
e
r
c
le
a
n up
.
u
se
true/false_co
m
p
ar
i
son_range_
l
r()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
D
a
n Carpenter
code ch
u
rn:
rename ->pre_left => -
>
left, ->pre_
r
ight
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
Put a c
a
p on implications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Dan Carpente
r
Improve deb
u
gging
.
Don't overwrite
s
m->
l
ine
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Dan
C
arp
e
nter
Micro optim
i
zat
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan
Carpen
t
er
c
l
ean u
p
in mer
g
e_slis
t
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
D
an
C
arpenter
check for out_of_memory() less often and only
a
fter
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
D
a
n Carpente
r
Be
t
te
r
deb
u
gging f
o
r
c
heck_
m
emory
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpen
t
er
A
d
d
swi
t
ch
t
esting test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
D
a
n
Carpe
n
ter
Doh
.
To
o
many implied states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
D
a
n Carpen
t
er
R
emove clone_sli
s
t_and_state
s
() and merge_slist_clon
e
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Remove
s
witch
cloning comple
x
ity
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
a
r
penter
t
w
o is al
w
ays non
-
null these days
.
don'
t
ch
e
c
k
it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
re
m
ove unu
s
ed
mer
g
e
_pools()
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
don't p
r
int "
l
is
t
" variable
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
Make my_p
o
o
l
s
=
> my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan
Ca
r
penter
introduce clo
n
e_poo
l
_h
a
vers()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpe
n
ter
cl
o
n
e
_st
a
t
e
(
) do
e
s
n
't
copy my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Ca
r
pente
r
R
ewo
r
k impl
i
cations to
use ->
p
r
e
_
left and ->pre_ri
g
ht
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Da
n
C
ar
p
enter
tw
o
is always non-null th
e
se da
y
s
.
don
'
t check it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
D
a
n Ca
r
pent
e
r
In
t
r
o
duce ->pre_left and ->pr
e
_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
D
an C
a
rpenter
M
a
ke the RAM l
i
mit more accurate and
f
lexib
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
Dan Carpenter
Only clone
t
h
e st
a
t
es if
it is a switch statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpenter
Do
n
'
t
clon
e
the false
s
t
a
t
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan
Carpenter
Don't cl
o
ne all the sta
t
e
s
for every case sta
t
ement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carp
e
nter
Make t
h
e valida
t
ion test harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan
C
arpenter
P
r
event some
end
l
e
ss lo
o
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Carp
e
nter
Putting pa
r
ens around something doesn't make
i
t undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Car
p
enter
F
ix m
e
mory lea
k
.
free_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan C
a
rpe
n
ter
Make struct sm_sta
t
e
more compac
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next