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
Add some more operations to get_value().
2009-02-14
Dan Carpenter
A
d
d
s
o
me m
o
r
e
ope
r
a
tio
n
s to get
_
value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpe
n
ter
R
eturn &
m
e
r
ge
d
inste
a
d
of
&
und
e
fin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpenter
m
a
k
e
g
et
_
v
a
lue() r
e
turn a value for bitwise or e
x
press
i
o
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nte
r
Try
again removing s
t
a
tes from po
o
ls
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Revert "Remove a sta
t
e from
i
t'
s
->pools when se
t
_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Eliminate
a
warning
.
Probably the wrong way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Clean
ups
.
Comme
n
ts
.
Rename slist_stac
k
to na
m
ed_sta
c
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I still suck at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Cleanup
s
.
Comments
.
Remove d
e
b
u
g
gin
g
code from
f
ilte
r
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean
up
.
Al
s
o p
r
e
s
e
r
ve th
e
-
>poo
l
s in one
p
ath of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Ca
r
pen
t
er
Clean up get_
s
tate_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpent
e
r
Remov
e
__overwrite_cur_s
l
ist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
There was debugging output
tha
t
accidentally got
c
ommitted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
a
rpenter
R
e
move
a
st
a
te from it's -
>
pools
w
hen
set_sta
t
e()
is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't delete t
h
e -
>
pools
on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carp
e
n
ter
Try u
n
der
s
tand th
e
i
m
pli
c
ations fro
m
co
m
poun
d
condit
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Cre
a
te
a
s
ta
t
e &m
e
rged
.
When w
e
merge stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rp
e
nter
Ok
.
This time s
m
atch
_
implied _really_ does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Ignore cscope fi
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Small cleanup
s
.
(
White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whitespa
c
e change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpe
n
ter
Add
some more lo
c
king fu
n
c
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix
i
mplied poo
l
s so that at le
a
st it does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an
C
arpenter
It seemed like
t
racker_list would
be useful in a lo
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Add a
README describing sm
a
tch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Add script to
f
ind
NULL dere
f
erences between fun
c
tion
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
pen
t
er
Fi
x
u
sage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Check for malloc() as we
l
l as k
m
alloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
pente
r
Fix s
e
gf
a
ult when h
a
ndling implicitly d
e
cl
a
red functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n
C
arpente
r
Warn when we don't acq
u
ire lock
s
w
hen calling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
pe
n
ter
Try (and fa
i
l
)
to find
m
e
mory
leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost print a messag
e
when you
c
o
m
e
to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
Add
chec
k
to loo
k
for
d
oubl
e
frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpenter
Add che
c
king
for lock
_
k
ern
e
l
(
)
/
unlock_kernel
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
ent
e
r
Mak
e
check_locking check
b
oth spi
n
l
ocks
an
d
sema
p
h
ore
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpen
t
er
Add a new function slist_has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
I
f there is an i+
+
then the value of 'i' is unde
f
ine
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an
C
arpen
t
e
r
Add
a
new check_locking script tha
t
c
h
ecks
s
pinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
C
arpen
t
er
S
a
v
e the possi
b
le sta
t
es inst
e
ad
of
j
ust
merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carpenter
Ignore emacs g
a
rb
a
ge
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan C
a
rpe
n
ter
M
e
rge br
a
n
ch '
m
as
t
e
r
'
in
t
o
p
ools5
commit
|
commitdiff
|
tree
2009-01-20
Da
n
C
a
r
pen
t
e
r
F
i
x likely(
)
and u
n
li
k
e
l
y() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
D
a
n
Carpenter
Add single qu
o
t
es around
the variable
f
or cons
i
stency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan
Carp
e
nte
r
We cou
l
d
save
s
om
e
memory by n
o
t alloca
t
ing new mem
o
ry
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
Ca
r
p
e
n
t
er
Add a
c
omm
e
nt sho
w
in
g
where the te
s
ts a
r
e
supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
This is left over fr
o
m
October as part of the imp
l
ied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
A
dd
g
et_poss
i
ble_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
r
penter
St
u
ff left
o
ver
f
rom Oc
t
o
ber
.
Im
p
lie
d
p
o
o
ls
w
ork
.
commit
|
commitdiff
|
tree
2008-10-19
Dan C
a
r
pente
r
We could s
a
ve some memory
b
y not allo
c
ati
n
g new mem
o
ry
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Da
n
Carpe
n
ter
Fix memo
r
y
leak
.
Add
m
ore comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
Add
a
m
erge hoo
k
.
Handl
e
th
e
situa
t
ions like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
s
t
rcmp(
)
doe
s
n't accept
NULL argum
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
r
e
name two
f
un
c
tions: get
_
variab
l
e_from_ex
p
r_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
g
e
t_var
i
able_from_expr()
uses a
static buf
f
e
r
and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an C
a
rpenter
Create a check_t
e
mplate
.
c
e
xample script that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
M
ake ge
t
_all_stat
e
s(
)
not s
e
gfault every t
i
me
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nter
F
i
x get
_
value
(
) to return
neg
a
tive values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
We o
n
ly ever pass one par
a
meter into get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
Fix get_
a
l
l
_states() to match the function definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpente
r
Remo
v
e add_state
(
) and
state_de
f
i
ned(
)
d
e
f
initi
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
er
Clean up
.
F
ix leak
.
My prob
l
em
is th
a
t I don't und
e
r
s
tand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
r
p
ent
e
r
Initial comm
i
t
of the "implied sta
t
e pools" stu
f
f
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
C
a
rpenter
D
o
h
.
We
h
aven't
been usi
n
g smatch_extra f
o
r a w
h
ile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpent
e
r
G
et rid of
path
_
histor
y
.
It'
s
ne
v
er going t
o
b
e
u
sed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make g
o
to_stack sta
t
ic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carp
e
nter
Speed up merge_sl
i
st now that the sl
i
sts are
o
rdered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Car
p
enter
In
s
er
t
stuff
onto
l
ists in a
sorted ord
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpe
n
t
er
Delete a
n
unused funct
i
o
n
merge_
s
tate
_
stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Ca
r
penter
fix: if (*foo)
{ (*foo
)
-
>
b
a
r; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Da
n
C
a
rpenter
kmalloc()
a
n
d friends don'
t
alw
a
ys re
t
u
r
n a non-
n
ull
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Ca
r
penter
T
h
e checks from here got m
e
rged i
n
t
o
c
heck_null_dere
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carpenter
M
ove
the
s
tuff from check
_
derefed
_
par
a
ms
.
c
into check_null
_
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n Carpenter
Fix bug in or_sl
i
st_stack()
.
if (
a
&& b
)
wasn
'
t being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan
Carpente
r
A
d
d a hook
at the end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
F
orgot another strip
_
expr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arp
e
nter
Ha
n
dle assign
m
eents ins
i
de c
o
nditions
better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpenter
Only
p
rint something for
a->foo
a
nd not a
.
f
o
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carp
e
nter
Ig
n
o
r
e array d
e
clarations
.
Tho
s
e can't be N
U
LL
o
bviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
D
a
n Carpenter
Mak
e
cur_sl
i
st
static
.
It's only
use
d
in smatch_sta
t
es
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
W
hite
s
p
ace ch
a
nges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an C
a
rpente
r
Use merge_sl
i
st
(
) instead o
f
trying t
o
h
a
nd
l
e
i
t yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpen
t
er
__process
_
continues() i
s
su
p
posed to be b
a
sically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpen
t
er
New
smatch_ignore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
Carp
e
nter
(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 Ca
r
penter
Generaliz
e
sti
p
_casts()
.
It's now
c
alled s
t
rip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpent
e
r
Ignore casts
.
f
oo((int
*)&
b
ar)
i
s the s
a
me
a
s foo
.
.
.
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
Dan Carpenter
Ignore
s
tuff
l
ike foo
.
bar
.
W
e only care about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What happens
b
efor
e
is that par
a
meters wo
u
ld get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
an
C
arpent
e
r
Mis
s
e
d
a crashing bug in the int => struct conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
C
a
rp
e
nter
I can't believe I wa
s
doing stacks wrong this wh
o
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Carpenter
Cha
n
ged
s
match st
a
te from being an
i
nt to being
p
ointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I want
to
r
eu
s
e the name smatch_
s
t
ate
.
T
h
e curre
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Re
d
o the null
p
ath
t
hing
.
So long as there is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpen
t
er
Clean up
.
Complicat
e
d is just
a
bool
e
a
n
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpent
e
r
Array
s
are co
m
plica
t
ed so the
y
sh
o
uldn't
b
e r
e
turned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpenter
If we ca
l
l
set_state from inside
a condition
t
he
n
it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If
the p
o
int
e
r is initialized to non-
n
ull the
n
set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Da
n
Carpenter
ig
n
o
r
e the smat
c
h binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
D
a
n Carpenter
When we merge 2 slists we need to
d
eal with the ca
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
next