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
Create a state &merged. When we merge stuff it isn't the same as being
2009-02-11
Dan Carpenter
Create a state &merg
e
d
.
When we merge
s
tuff
i
t i
s
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
r
p
ente
r
Ok
.
This time smatch_implied
_
really_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpente
r
Ignore cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Sm
a
l
l
cleanu
p
s
.
(White space
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpen
t
er
Wh
i
tespace chan
g
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add so
m
e more locking functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Fix implied pools
so
that
a
t
l
e
ast it doe
s
s
ome
t
hing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpen
t
e
r
It seemed
l
ike tracker_list would be useful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Add a
R
EAD
M
E describing smat
c
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an
C
arpenter
Add script
t
o find
N
UL
L
d
e
r
e
ferences
b
etween functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
F
i
x
u
sage
mess
a
g
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
C
h
eck for ma
l
l
oc() as w
e
ll as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix se
g
fault when
handling impli
c
i
t
l
y
d
eclared
functio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpent
e
r
War
n
when we don't
a
cquire lo
c
ks when calling ce
r
tain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (and fail
)
to find memory
leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpent
e
r
Almo
s
t print a
m
essa
g
e when yo
u
come to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add check
t
o look for double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpenter
Add checking f
o
r lock_kernel()/unlock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make check_locking check both spin
l
o
c
ks
and semaph
o
res
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
r
penter
Add a new function sl
i
st_has_state(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carpen
t
er
If there is an i
+
+ t
h
en the
v
alue of 'i' is
undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
ent
e
r
Add a ne
w
check_lockin
g
script that checks spi
n
locks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save the pos
s
ible
sta
t
es ins
t
ead of just
m
e
r
g
ing them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Car
p
enter
I
g
nore emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpen
t
er
M
e
r
ge
bran
c
h '
m
a
s
ter' into po
o
l
s
5
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We
could save
some me
m
o
ry by no
t
allocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a comment showing w
h
e
r
e
th
e
tests
a
re suppose
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is l
e
ft over from October
a
s part o
f
the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add
g
et_possible_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff left over
f
rom O
c
tober
.
Impli
e
d pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
C
arpenter
We could s
a
ve some memory by
not allocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan C
a
rpenter
F
ix memory leak
.
Ad
d
more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
C
a
r
p
e
n
t
er
Add a mer
g
e h
o
ok
.
Handle
the situ
a
tion
s
like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
strcmp() doesn't acce
p
t NU
L
L argu
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
ren
a
me
t
wo functions: g
e
t_
v
ar
i
able_
f
rom_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
ge
t
_
variable_fr
o
m_e
x
pr() uses a
s
tatic
buffer and
y
o
u
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
Crea
t
e a check_template
.
c e
x
ample scr
i
p
t that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
Mak
e
get
_
all_states() not segfault e
v
ery time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
a
r
p
ent
e
r
Fix get_va
l
ue() to ret
u
rn
n
e
gative valu
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We o
n
ly ever pass
o
n
e paramet
e
r
i
n
to
ge
t
_valu
e
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_all_states() to match
the
function defi
n
ition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
Remov
e
add_state() and
state_defined(
)
de
f
initions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Carp
e
nt
e
r
C
l
ea
n
up
.
Fix leak
.
My
problem is
that I don't
understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
a
r
p
enter
I
n
itial commit of
t
he
"implie
d
sta
t
e po
o
ls
"
stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Car
p
enter
Doh
.
We haven't been
using
s
match_extra
f
o
r
a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpe
n
ter
Get rid of path_history
.
It's neve
r
going to be us
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an Ca
r
pe
n
ter
Make goto_stack
s
ta
t
ic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpenter
Sp
e
ed
up me
r
ge_sl
i
s
t
no
w
tha
t
the s
l
ists are order
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpe
n
ter
Insert
s
tuf
f
onto lists i
n
a
s
orted or
d
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Delet
e
an unused
f
unction m
e
rge_state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpen
t
er
fix:
i
f (*foo) { (*foo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
an Car
p
enter
kmalloc() and fri
e
nds don't alwa
y
s ret
u
r
n
a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpente
r
The checks from he
r
e
go
t
merge
d
into
c
h
e
ck_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpenter
M
ove t
h
e stu
f
f from check_derefed_p
a
rams
.
c into check_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpente
r
F
i
x bug in or_slist_stack()
.
if (
a
&& b) wasn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
A
dd a
h
ook at the end of a f
i
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpe
n
te
r
Forgot another stri
p
_expr() ca
l
l
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpenter
Handle assign
m
e
ents in
s
ide conditions
b
e
t
t
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
er
O
n
ly print something for a->f
o
o
and
n
ot a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
D
an C
a
rpent
e
r
I
g
n
o
re arra
y
declarati
o
ns
.
Those can't be NULL obvi
o
usly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make
c
ur_slist st
a
tic
.
It's only used in sm
a
tch_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
nter
White space changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an C
a
rpenter
Use
merge
_
slist() instead o
f
tr
y
ing
t
o handle it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
n
t
er
__process_c
o
ntin
u
es(
)
is supp
o
sed t
o
be basically
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arp
e
nter
New smatch
_
ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpenter
(foo)
=
1 is the
same as
f
oo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Gen
e
ra
l
ize sti
p
_cas
t
s
()
.
It'
s
now called strip_e
x
pr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ig
n
o
r
e casts
.
f
o
o
(
(int *)&
b
ar) is the same as
f
oo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
an Carpente
r
Created show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carp
e
nt
e
r
I
g
nor
e
s
t
uff
l
ike foo
.
b
a
r
.
We
o
n
ly care
ab
o
ut foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arp
e
nter
What
h
a
pp
e
ns
b
efore
i
s
that para
m
et
e
rs would
g
et assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
an
C
arp
e
nter
Missed a
c
ras
h
i
n
g
bug
i
n the int => struc
t
co
n
version
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I can't b
e
lieve I was doing stacks
w
ron
g
this
w
hole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Changed smatch state
f
rom being an int to being poi
n
t
e
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpen
t
er
I
want to reuse the
n
ame smatch_s
t
ate
.
The curr
e
n
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
pen
t
er
Redo the null path
thing
.
So lon
g
as there is
o
ne
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
enter
Cl
e
an u
p
.
C
ompli
c
a
t
ed is just a
b
ool
e
an
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge branch
'
devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
S
a
ve the
p
re conditions i
n
side
t
he conditions so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
an Car
p
enter
The mai
n
change here was to complete
l
y rewri
t
e
h
ow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpe
n
t
er
Break things out
i
nto fu
n
ctio
n
s a bit
.
Clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpent
e
r
Handle while an
d
for
l
oo
p
s slightly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I r
e
moved nullify_path() earlier
but that was
a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
I
don't t
h
i
nk
the special_kernel_mac
r
os() function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
e
n
te
r
A
d
d a function
t
o d
o
a
s
trcmp() with a s
y
m
b
ol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Remove
e
very
t
h
i
ng
t
o do
w
ith path_
i
d's
.
I couldn'
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Replac
e
the vari
a
b
l
e __negate with the funct
i
on __negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpente
r
Small clean up
.
Move the passing the whole con
d
i
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Crap
.
I meant to merge thi
s
earlier when I divid
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
Add a
c
omment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Moved all the lo
g
i
c fo
r
handling conditions into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nte
r
Oops
.
I gu
e
ss
I
deleted th
e
w
r
ong list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
Don't pass the contents of sizeof
(
) to the client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carp
e
nter
I
m
pr
o
ve ho
w
the debug
i
n
f
o
for merging states get
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpen
t
er
The main thing is to handle zero comparis
o
ns b
e
t
ter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Remove
un
n
eeded
cod
e
.
This stuff
is handled in
s
mat
c
h_fl
o
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
an
C
ar
p
e
n
ter
We need to be
a
ble to b
r
ea
k
dow
n
(foo != 0) for BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
Identify f
o
r(
;
;) type loops as for
e
ver loops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpent
e
r
A
d
d
support for BUG_O
N
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rp
e
n
t
er
Wh
a
t
I
'
ve seen is stuff
like this:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next