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
Return &merged instead of &undefined.
2009-02-13
Dan Carpente
r
Ret
u
rn &merged instead
o
f &undefin
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpente
r
ma
k
e get_value()
r
et
u
rn a value
f
o
r bit
w
ise or express
i
o
ns
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Tr
y
aga
i
n remo
v
ing states from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
R
evert "R
e
m
o
v
e a stat
e
f
r
om it's -
>
p
o
ols when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Eliminate a warni
n
g
.
P
r
obably the wrong way
to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Clean ups
.
Comm
e
nts
.
Rename slist_s
t
ack to nam
e
d_
s
tack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
H
a
h
a
.
I
s
ti
l
l suck at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Clean
u
p
s
.
Comm
e
n
ts
.
Rem
o
ve
d
e
b
u
g
gin
g
cod
e
from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Clean u
p
.
Also preserve the ->pools in one
pat
h
of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Cl
e
an
up get_st
a
te_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
r
p
enter
R
emov
e
__overwrite_cur_sl
i
s
t
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpe
n
ter
T
here
w
as debugging
o
utpu
t
t
hat
accidental
l
y got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remo
v
e a state from it's ->pools w
h
en
set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Don't delete the
->pools on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Try understand t
h
e
i
m
plications
f
r
o
m c
o
mpound condit
i
o
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpent
e
r
Crea
t
e a
stat
e
&
m
erged
.
When we merge
s
tuff it i
s
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Ok
.
T
his time
s
matc
h
_impl
i
ed _really_
does somet
h
i
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Ignore cscope f
i
les
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
a
rpenter
Smal
l
cleanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Ca
r
pente
r
White
s
pa
c
e
change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
r
penter
Ad
d
s
ome m
o
re lo
c
k
ing functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix imp
l
ied
p
ools so that
a
t
l
east it does
somethi
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
ent
e
r
It see
m
e
d
like tracker_list would be
use
f
ul in
a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add
a
README describing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
A
dd scri
p
t to
f
in
d
NU
L
L deref
e
rences
between functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an
C
ar
p
enter
Fix us
a
ge message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Check for malloc() as w
e
ll as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Car
p
enter
F
ix se
g
f
ault when ha
n
dling implicitly declared func
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
pente
r
Warn when we
d
o
n
't
acquire lock
s
when calling ce
r
t
ain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
an C
a
r
p
ente
r
Try
(and fail) to
f
ind me
m
ory l
e
aks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carpente
r
Almost pr
i
nt a message
w
h
e
n you co
m
e to unr
e
a
chable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carpenter
Add check t
o
lo
o
k
for do
u
ble frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpen
t
e
r
Add checking
for
l
ock_kernel()/unlock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make ch
e
c
k_locking check both sp
i
nlocks
a
nd
s
e
m
a
p
hores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
A
d
d a new function s
l
i
s
t_has_
s
tate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpe
n
t
er
If there
is
a
n
i++ t
h
en t
h
e valu
e
of 'i' is undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
Add a new check_
l
oc
k
ing script t
h
at
c
hecks spinlo
c
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
S
ave the possible states
i
nstead of just me
r
gin
g
them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpe
n
ter
Ignore
emacs
ga
r
b
a
ge
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carpenter
Merge branch 'mast
e
r
' into pools5
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
Add a comm
e
n
t showing where the tests are suppos
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
a
rpenter
T
h
i
s is
left ove
r
from October as part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Car
p
enter
Add get_p
o
ssible_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
Stu
f
f left over from Oc
t
ob
e
r
.
Implied pools wor
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could save some memory by
n
ot allocatin
g
new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory leak
.
A
dd more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a
merge hook
.
Handle
t
he situ
a
tions
l
i
k
e
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an C
a
rpenter
strcmp() doesn't accept
N
U
LL arg
u
ments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpe
n
ter
rename
t
w
o
fun
c
t
i
o
ns: get_vari
a
ble_fr
o
m_expr
_
simp
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an
C
arpenter
get_variable_fr
o
m_e
x
pr() u
s
es a s
t
a
tic buffer an
d
you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
Create a check_template
.
c example script
t
h
at looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get_all_
s
tates
(
) not se
g
fault
e
v
e
ry
time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
ix get_v
a
lue() to return
n
e
gative value
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
We
o
nly ev
e
r
pass one param
e
ter
i
nto
g
et_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_all_s
t
ates() to m
a
tch the functio
n
d
efi
n
ition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
Remove add_s
t
ate() and state_de
f
i
n
ed() definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpent
e
r
Cl
e
an
up
.
Fix le
a
k
.
My problem is that I don't u
n
derstand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
I
nitial commit
o
f th
e
"impl
i
ed
s
t
a
te
pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We haven't
b
e
en usin
g
sma
t
ch_extra for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpe
n
ter
Get r
i
d
o
f path_
h
isto
r
y
.
I
t
's
n
ev
e
r going to be us
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpenter
M
ake goto_
s
tack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
enter
S
peed u
p
merge_slist
n
o
w
that the
slist
s
are or
d
ered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpenter
I
n
sert stuff onto
lists in a sorted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpen
t
er
Delete
an unu
s
e
d
fu
n
ction merge_state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan
Carpenter
fix: if (*foo) { (*foo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
an
Carpe
n
ter
kmalloc() and friends don't always retur
n
a no
n
-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Ca
r
p
en
t
er
T
he
checks from
h
er
e
got m
e
rg
e
d
i
nto
ch
e
ck_null_dere
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpent
e
r
Move the stuff from
c
h
e
ck_derefe
d
_params
.
c
i
n
to
c
h
e
ck_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n Carpen
t
er
Fix bug in
o
r_s
l
i
s
t_stack()
.
if (a
&
&
b
)
wasn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpent
e
r
Add a h
o
ok at the end of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
ente
r
F
orgot
a
not
h
er stri
p
_expr() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpent
e
r
Ha
n
dle assignmeents inside
c
onditio
n
s better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpe
n
ter
Only print so
m
ethi
n
g for a->foo
a
nd not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
D
a
n Carpenter
Ignor
e
array declarations
.
Th
o
se can't be NULL obviousl
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Ma
k
e cur_sli
s
t static
.
It's on
l
y
u
sed in s
m
atch_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
r
p
ent
e
r
Whi
t
e
s
p
ace changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use
merge_sl
i
s
t() instead of trying to h
a
ndle
i
t your
s
el
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
enter
__proces
s
_conti
n
ues() is s
u
ppo
s
ed to be basicall
y
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New
s
match_
i
gnore
.
c f
i
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(
f
oo)
= 1 is the same as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpent
e
r
Generalize s
t
ip_casts()
.
It's now cal
l
ed strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
I
gnore casts
.
f
oo((int *
)
&b
a
r
)
is the
same as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpent
e
r
Creat
e
d show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpent
e
r
Ignore stuff like foo
.
b
a
r
.
We only c
a
re about foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
an Ca
r
p
e
nter
What happen
s
before is that paramet
e
rs would
get
assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n
Carpenter
Misse
d
a
crashi
n
g
bug in the int
=> struct conv
e
r
s
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Carpente
r
I can't beli
e
ve I was doing stacks wrong this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Ch
a
ng
e
d
sm
a
tch state from being
a
n
int to being
pointe
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
I want to reus
e
t
h
e name smatch_stat
e
.
The curr
e
nt
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Redo the
nu
l
l path thing
.
So l
o
ng as
ther
e
is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
C
l
ean up
.
Compl
i
cated is just a
b
oolean
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carpen
t
e
r
M
e
r
g
e
b
ran
c
h 'dev
e
l
'
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carp
e
nter
Save the pr
e
conditions inside the condition
s
so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
The m
a
in
change here was
t
o c
o
mpletely rewrite h
o
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Ca
r
penter
Break
things out into
f
unctions a bit
.
Clean
ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Da
n
Carpenter
H
andle while and for loops sl
i
ghtly
b
etter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan
C
arpenter
I
remov
e
d nulli
f
y_path(
)
earl
i
er but that w
a
s a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
n
t
er
I do
n
't
t
hink t
h
e special_kernel_macr
o
s() function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
Add a f
u
ncti
o
n
t
o do a strc
m
p() wi
t
h a symb
o
l name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
Remo
v
e
everyt
h
i
n
g to do with pat
h
_
i
d's
.
I coul
d
n
't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next