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
Ignore cscope files.
2009-02-10
Dan Carpenter
I
gnore cs
c
ope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Ca
r
pent
e
r
Small
cle
a
nups
.
(
W
h
i
t
e space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whites
p
a
c
e change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpent
e
r
A
d
d some more
l
ocking functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix i
m
plied pool
s
s
o
t
hat at least
it
d
oes something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
pe
n
ter
I
t
seemed
l
i
ke tra
c
ker_l
i
st would be usef
u
l in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
d
d a README
describing sma
t
c
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add
s
c
ript
t
o find NULL de
r
eferences betwee
n
f
u
nc
t
io
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpen
t
er
Fix u
s
a
g
e mess
a
ge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Check for malloc()
a
s well
as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
Fix segfault when handl
i
ng
implicitly de
c
lared fu
n
ctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n
Car
p
ente
r
Warn when
w
e
d
o
n'
t
a
cquire locks
w
h
en callin
g
cert
a
in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
T
r
y (and
f
ail
)
to find
m
emory lea
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n
Carpe
n
ter
Almost p
r
i
nt a m
e
ssage
when you
c
o
m
e t
o
unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Car
p
e
n
ter
A
dd check to look fo
r
double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpent
e
r
Add checking for loc
k
_kernel()/unlock_kernel(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
Ma
k
e check_lock
i
ng
c
heck both spinlocks
and sem
a
phores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nt
e
r
Ad
d
a new func
t
ion
s
list
_
has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If th
e
re i
s
a
n
i
+
+ then the value of 'i'
i
s
und
e
fined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpente
r
Add a new check_lo
c
king script
th
a
t checks spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arp
e
n
ter
S
ave t
h
e po
s
sible st
a
tes instead of just
m
e
r
ging
the
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
I
gnore e
m
acs garba
g
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan C
a
rpenter
Merg
e
branch 'm
a
st
e
r'
into
pools5
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
Add a comment showing where th
e
tests
are
s
upposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
T
his is l
e
ft o
v
er fro
m
October as
part
o
f
t
he
i
mplied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpenter
Add get_possibl
e
_sta
t
es()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
Stuff
lef
t
over
from Octo
b
er
.
I
m
p
lied p
o
ols wo
r
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpen
t
er
We could
s
ave s
o
m
e
mem
o
ry by not al
l
ocating ne
w
memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carp
e
n
ter
Fix memory le
a
k
.
A
d
d more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
r
pe
n
t
er
Ad
d
a merg
e
hoo
k
.
H
a
ndle the situations lik
e
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpent
e
r
s
trcmp(
)
doesn'
t
accept NULL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rename two
f
u
n
ctions
:
get_variable_
f
rom_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_varia
b
le_from_expr() uses
a
s
t
atic buffe
r
a
n
d you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a
check_template
.
c example
s
cript
that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
M
a
ke get_all_s
t
a
tes(
)
not s
e
gfa
u
lt every
t
ime
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nte
r
Fix
g
et_v
a
lue() to
retur
n
negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carp
e
nter
We only eve
r
pas
s
one
p
aram
e
ter into get_
v
alue()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
Fix g
e
t
_
all
_
state
s
() to match the function
d
efinition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
R
e
m
ove add_state() an
d
state_d
e
f
ined()
d
e
finitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n
C
arpenter
C
lean
u
p
.
Fix leak
.
My proble
m
is that I
d
on't u
n
derstand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initial commit of t
h
e "implied state pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We haven't
been using smatch_extra for a w
h
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get rid of path_histo
r
y
.
I
t
'
s n
e
ver
g
o
ing
t
o be
used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpe
n
ter
Make goto_stack stati
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpent
e
r
Speed
u
p
m
e
r
ge_slist now t
h
at the
s
lists
are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
penter
Insert
s
tuff
o
nto lists in a sorted
order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Car
p
enter
Del
e
te an unused function merge_state_sta
c
k
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpe
n
ter
fix: if
(
*foo
)
{ (*fo
o
)
-
>bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan
C
arpenter
kmall
o
c() and f
r
iends don't always ret
u
r
n
a non
-
null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Da
n
Carpente
r
The check
s
fr
o
m he
r
e g
o
t m
e
rged
into c
h
eck
_
null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
a
rpent
e
r
M
o
v
e the stuff
from check_de
r
e
f
ed_p
a
rams
.
c into check_
n
ull_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fi
x
bug i
n
or_sli
s
t_
s
tack()
.
if (a &&
b
) wasn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
D
an Carpenter
Ad
d
a
h
o
ok at the e
n
d of
a
fil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpent
e
r
For
g
o
t
another
st
r
ip_expr() call
.
.
.
:
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carpenter
Handle assignmeents ins
i
de c
o
ndition
s
b
e
tter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carpenter
Only print some
t
h
ing f
o
r
a->foo and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan
C
arpenter
Ignore
arr
a
y de
c
larations
.
Those
can't be
N
U
LL
obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make cur_slist static
.
It's only used in smatch_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
ent
e
r
White s
p
ace changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Carpenter
Use merge_s
l
ist() ins
t
e
ad
o
f
trying t
o
handle it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
nte
r
__proc
e
ss_contin
u
es()
is supposed to
be basica
l
ly
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New smat
c
h_ignore
.
c
f
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carp
e
n
t
er
(foo) = 1 is
the same
as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
penter
G
e
n
eralize stip_casts()
.
It's n
o
w called strip_ex
p
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpent
e
r
Ignore casts
.
f
oo((i
n
t
*
)&bar) is th
e
same a
s
f
oo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpenter
Crea
t
e
d
s
ho
w
_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore stuff like foo
.
bar
.
We
o
n
l
y
car
e
about fo
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpente
r
W
hat
h
appens before is that par
a
meters wou
l
d
get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
nter
Mis
s
e
d
a crash
i
ng
bug in the
i
nt => struct conversio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpe
n
ter
I
c
an't
b
e
l
ieve I w
a
s d
o
ing stac
k
s wrong
this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Ca
r
penter
Ch
a
nged sma
t
ch st
a
te from being an int to
b
e
ing pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpent
e
r
I want to r
e
us
e
the name
s
match_state
.
The current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Redo th
e
null pa
t
h
t
h
ing
.
S
o
long as th
e
re
i
s
on
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
penter
Clean up
.
C
omplicated i
s
j
u
st a boolean
.
S
e
t i
t
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 Carpen
t
er
Sav
e
t
h
e pre conditions inside
t
he con
d
i
tions
s
o that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
Carpenter
The ma
i
n change here was to completel
y
rewri
t
e how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
D
an Carpenter
B
r
eak things out i
n
to functions a
bit
.
C
l
ean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan C
a
r
penter
Han
d
le while and
for loops slightly be
t
ter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Ca
r
penter
I rem
o
ved nullif
y
_
path() earlier bu
t
t
hat was a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
I don't think the special_
k
e
rnel_macros() functi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Add a function to do
a
str
c
mp
(
) with a symbo
l
n
a
me
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpe
n
ter
Remove every
t
hing to
do
w
ith path
_
id's
.
I couldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpe
n
ter
Replace the v
a
riable __ne
g
ate with t
h
e
f
unction __negate(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Small clean up
.
Move the passing the whole cond
i
tion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Cr
a
p
.
I me
a
nt to
merge
this earlier when
I
div
i
d
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arp
e
nter
Add a
c
o
mment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Moved
all the logic for hand
l
i
n
g
co
n
dition
s
i
n
to a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpente
r
O
o
p
s
.
I guess I dele
t
ed the
w
rong list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Don't pass t
h
e
co
n
te
n
ts of sizeof() to t
h
e client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Carpenter
I
m
prove how
t
he debug info for merging
stat
e
s get
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Da
n
Carpenter
T
h
e main thing is
to h
a
ndle ze
r
o comparisons bette
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Carpen
t
er
Remove unne
e
ded code
.
T
his
s
tuff
i
s h
a
nd
l
ed in s
m
atch_
f
low
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpente
r
We need t
o
be able to br
e
a
k down (foo != 0) for BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nter
I
dentify
for(;;)
type loops as
fo
r
e
ver l
o
ops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpent
e
r
Add
s
upport for BUG_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
W
hat I've seen is st
u
ff like th
i
s:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
Carpen
t
e
r
Anything that we don't handle is obviously co
m
p
l
i
c
ate
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
C
ar
p
enter
Merg
e
branch
'
devel'
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carp
e
nter
Add
a
comment
t
o
g
e
t_var
i
able_fro
m
_
e
xpr_
s
imple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next