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
make get_value() return a value for bitwise or expressions.
2009-02-13
Dan
C
ar
p
ent
e
r
make get
_
value() return
a va
l
u
e
for bit
w
i
s
e or
e
xp
r
essi
o
ns
.
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
r
p
ent
e
r
Tr
y
a
g
ain r
e
moving sta
t
es from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Revert "Remov
e
a state from i
t
's -
>
p
ools w
h
en set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
e
r
E
l
i
minate a w
a
rn
i
ng
.
Pro
b
a
b
ly the wron
g
way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Clean ups
.
Comm
e
nts
.
Re
n
ame
s
list_
s
tack to named_st
a
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
a
rpenter
Ha ha
.
I
stil
l
suck at
p
ointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Cl
e
anups
.
Comme
n
ts
.
Remove debug
g
ing code f
r
om
f
ilter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
r
p
enter
C
l
ean up
.
Also preserve the ->pools in one
p
ath of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
lean up get_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Remove __overwrite_
c
ur_s
l
ist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
e
r
Ther
e
w
as debu
g
ging outpu
t
that acc
i
dentally got
c
o
m
m
itted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
R
e
m
o
v
e
a
s
tat
e
from it'
s
->pools when set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rpen
t
e
r
Don't de
l
ete the
->pools
o
n m
e
rging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Ca
r
penter
Try understa
n
d the impl
i
cations from compound
conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
n
ter
C
r
eate a state
&
merg
e
d
.
When we merge stuff
it i
s
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
Th
i
s time sma
t
c
h
_implied _really_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Ignore
c
scope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an
Carpen
t
e
r
Small clea
n
ups
.
(W
h
ite spa
c
e
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
W
h
itespace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
Add so
m
e more
l
ocking fu
n
ctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
Fix i
m
plied
pools so that a
t
l
e
ast it does s
o
mething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seemed
l
ike trac
k
e
r
_l
i
st wo
u
ld be useful in
a lo
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
C
arpenter
Add
a README descr
i
bin
g
sm
a
t
ch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
ar
p
enter
Add script to
f
ind
N
ULL
dere
f
erences be
t
ween
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix us
a
ge message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Check for m
a
l
l
oc
(
) as wel
l
as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix segfault w
h
en ha
n
dlin
g
i
mplicitly declared
f
unction
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
pen
t
er
Warn when we don't a
c
quire locks w
h
en callin
g
certa
i
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Carpenter
Try (an
d
fail)
t
o
find
m
emory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Alm
o
s
t pr
i
n
t
a message when yo
u
come to
u
nreachab
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpe
n
ter
Add check to l
o
ok for double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add
ch
e
cking for loc
k
_ke
r
nel()/unlock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
Ma
k
e
check_locking ch
e
c
k both spi
n
locks a
n
d s
e
m
aphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new
f
u
nction slist_has_sta
t
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
I
f
t
here is an i++
then
t
he value of 'i' is undef
i
ned
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nter
Add
a
n
ew
c
heck_locking script that che
c
ks spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
S
a
ve the poss
i
ble states ins
t
e
a
d
o
f ju
s
t merging th
e
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an
Carpenter
I
gn
o
re emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge branch 'master'
into pools5
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add
a
c
o
mment sho
w
i
ng
w
h
ere the tests are
s
upp
o
s
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
This is left over f
r
om October
a
s part o
f
the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpent
e
r
Add
g
e
t_p
o
ssible_st
a
tes(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
Stu
f
f
l
ef
t
over fro
m
Oc
t
ober
.
Implied po
o
ls w
o
rk
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
Carpenter
W
e could save some memory by
n
ot alloc
a
ting new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carp
e
n
t
er
Fix memory leak
.
Add more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
Add a mer
g
e hook
.
Handle the situa
t
ions like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
st
r
cmp() doesn't accept NULL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
rename two fun
c
tions: ge
t
_variable_from_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nte
r
get_variable_
f
ro
m
_exp
r
()
uses a
s
tatic buffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
Create a check_tem
p
late
.
c
exampl
e
script
t
hat l
o
o
k
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nter
Make get_all_states() not segfault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nter
Fix ge
t
_valu
e
()
t
o return negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
We only
ev
e
r pass one parameter into get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
ar
p
e
nter
Fix get_all_states()
to match the fun
c
ti
o
n definit
i
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
en
t
er
Remo
v
e
add_
s
t
a
te(
)
and state_defi
n
ed() de
f
initions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpenter
Clean up
.
F
i
x leak
.
My problem is that I don't unde
r
stand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
e
r
Initial commit of the "implied s
t
at
e
po
o
ls" s
t
u
ff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpe
n
ter
Do
h
.
We
haven't been using s
m
atc
h
_extra fo
r
a whi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Car
p
e
n
t
er
Get ri
d
of path_h
i
s
tory
.
It's never
g
oing to be us
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Ma
k
e go
t
o_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
D
an
C
arpent
e
r
Speed u
p
m
erge
_
s
l
ist now that the
s
lists are o
r
dered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan C
a
rpenter
Insert s
t
uff onto l
i
sts in a so
r
t
e
d
order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Delete an unused functi
o
n merge_s
t
ate_stac
k
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix:
i
f
(*foo) { (*foo)->bar;
}
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpen
t
er
km
a
lloc() and fr
i
ends don't always return
a no
n
-nul
l
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
D
a
n Carpenter
T
he checks from here got merged int
o
check_null_de
r
ef
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n Carpe
n
ter
Move the
stu
f
f
from check_derefed_pa
r
ams
.
c in
t
o
c
h
e
ck_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n Carpenter
Fi
x
bu
g
i
n
o
r_s
l
ist
_
stack()
.
if
(a && b) wasn't
being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
D
a
n Carpen
t
er
Add a ho
o
k at the end of a f
i
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Carpen
t
er
Forgo
t
another strip_expr()
call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpe
n
ter
Hand
l
e assignmeent
s
inside conditions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Only print som
e
thing for a->foo and n
o
t a
.
f
o
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Da
n
Car
p
e
n
te
r
Ignore arra
y
d
e
cla
r
a
t
ions
.
T
h
o
se can't
be N
U
L
L
obvious
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan
C
arpe
n
ter
M
ake c
u
r_slist st
a
tic
.
I
t's only use
d
in smatch_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
White
sp
a
ce changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpe
n
ter
U
se m
e
rg
e
_slist() instea
d
of
try
i
ng to handle it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carp
e
nter
_
_process_continues() is
s
upposed
t
o
be basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
C
a
rpente
r
New
s
match_ignore
.
c
f
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
Car
p
enter
(foo) = 1
is t
h
e same as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Gen
e
ra
l
ize stip
_
c
ast
s
(
)
.
It's now
c
a
lled st
r
ip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore casts
.
foo
(
(int *)&bar) is the same
a
s
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Car
p
enter
Created
s
how_st
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
an Car
p
enter
Ignore
s
tuff like fo
o
.
b
a
r
.
We onl
y
c
are
a
b
out foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
Carpenter
Wha
t
happe
n
s before i
s
that parameters would g
e
t assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpenter
Missed a
c
rashing bug
i
n
the int =
>
struct co
n
ve
r
sion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpenter
I
can't believe
I
was doi
n
g s
t
ac
k
s
wrong this whol
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpen
t
e
r
C
h
anged smatch state
from being an
i
nt
t
o
being pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
an Ca
r
penter
I want to r
e
use the name smatch_sta
t
e
.
The current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
R
edo
th
e
null path thing
.
S
o
long as ther
e
is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Ca
r
penter
Clean up
.
Complicated is just a boolean
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge bra
n
ch '
d
evel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
e
n
ter
Save the pre condit
i
ons in
s
ide the cond
i
tions so
t
hat
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
Carpenter
T
h
e main
c
h
ange here w
a
s to completely
r
ewrite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
D
a
n
Carpenter
Break
t
hings out in
t
o functions a bit
.
Cle
a
n up
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
D
a
n Ca
r
penter
H
andle
w
hile and
for loops slightly
better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I remo
v
ed
n
ullify_pat
h
() earl
i
er but
that
was a mistak
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
r
penter
I do
n
'
t
th
i
n
k
the sp
e
cial_
k
ernel_
m
acros
(
) function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
C
a
rpenter
Add a function to do a
s
t
rcm
p
() with
a
symb
o
l
name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
Remove everything
to do wi
t
h path_
i
d's
.
I couldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Car
p
enter
Re
p
l
ace the
variable __ne
g
a
t
e wi
t
h the fun
c
tion
__ne
g
ate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next