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 support for _spin_trylock() and friends.
2009-02-20
Dan Carpenter
Add
s
o
m
e
support for _spin_trylock() an
d
friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
an Carpente
r
if (a |
|
b) {
a
->foo; sh
o
u
ld pr
i
nt an error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpente
r
This prin
t
s out
error m
e
ss
a
g
es all the time that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
A
ss
i
gnmen
t
al
w
a
y
s s
e
ts &i
s
f
reed to somethi
n
g else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
D
o
n't
p
rint
c
r
o
s
s
_func errors if t
h
e cal
l
ed functio
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Remove
c
all to a
l
loc_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Call the mer
g
e_hook() instead of
s
etting the stat
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arp
e
nter
Oops
.
M
eant to comm
i
t
this e
a
rlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Add th
e
m
e
rge_hook() back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpente
r
C
lear the return
s
lists
a
t the end of ea
c
h
f
unction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
M
ov
e
the
i
mplications
c
hecking
to
a
f
t
er the script
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Rewrite compl
e
tely with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Ad
d
some function
s
to h
a
n
dle tracker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Don't
s
e
g
faul
t
all
t
he ti
m
e
when
c
hecking forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
n
t
er
T
e
st to see
i
f
we are catc
h
ing cross function derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
U
se
the ->possib
l
e states
a
nd remove
t
he merge_h
o
ok()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
"wh
i
le ((1)) {
"
is a fo
r
ev
e
r loop
.
C
all strip_expr
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an
Ca
r
p
enter
f
ixes to the -> p
o
ssible setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpent
e
r
Merge branch 'ma
s
ter
'
int
o
null_der
e
f
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add validation scrip
t
for
check_null_d
e
ref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Cl
e
an up
.
new->possible is alw
a
ys null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
C
arpe
n
ter
Oops
.
-
>
possibl
e
s wasn
'
t
getting set correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpenter
U
s
e strip_expr
(
) i
n
s
plit_condition
s
(
) instead
r
eproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
pen
t
er
Add some m
o
re operations t
o
g
e
t_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
R
e
turn
&me
r
ged instead
o
f &undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make g
e
t_value() re
t
u
rn a
val
u
e for bi
t
wise o
r
exp
r
ess
i
ons
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
ter
Try again
r
e
mov
i
ng states from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
R
e
v
e
r
t "R
e
move
a stat
e
from it's ->pools whe
n
se
t
_
s
t
ate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Elimi
n
ate a warning
.
Pr
o
bably the wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Clean ups
.
Comments
.
R
e
name slist_stack to named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pente
r
Ha
ha
.
I still
s
u
ck at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
C
l
e
anups
.
C
o
mments
.
Remove de
b
ugging code from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Clean up
.
Also preserve the ->pools in one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Clean
u
p
g
et_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Remo
v
e _
_
over
w
rite_cur_sl
i
st()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpente
r
T
h
ere was debugging o
u
t
p
ut
tha
t
accidentall
y
g
ot commi
t
ted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Remov
e
a st
a
te f
r
om it's -
>
pools
w
hen
s
et_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
D
o
n't delete
t
h
e ->
p
ools on
merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Tr
y
u
n
derstand the impl
i
c
a
tions
from c
o
mp
o
un
d
conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Create a state &merged
.
When we merge
s
tuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
Th
i
s time
s
match_i
m
plied _really_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpen
t
e
r
Igno
r
e csc
o
pe files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rp
e
nter
Small c
l
eanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpen
t
e
r
Whitespace chan
g
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
A
dd s
o
me more loc
k
in
g
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Fix implied poo
l
s so th
a
t at
leas
t
it
does
s
omet
h
i
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
It se
e
med like tracker_
l
ist would
be useful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add a R
E
ADME de
s
cr
i
bin
g
s
match
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Add s
c
rip
t
to
f
ind NULL dereferences
b
etween funct
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpent
e
r
Fix usag
e
m
e
ssa
g
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Check for m
a
lloc() as well as kmalloc(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpent
e
r
F
i
x segfault w
h
en handling implicitly declared function
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
p
enter
Warn
w
h
en we don't acquire lock
s
when calling certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpent
e
r
Try (and fail) to
f
ind
m
emory l
e
aks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n
Ca
r
p
e
n
ter
Almost print a message wh
e
n
y
o
u come to unreac
h
a
b
le
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpenter
Add check to look
for
do
u
ble f
r
ees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
d
d
c
h
ecking for lock_k
e
rnel()
/
unlock_
k
er
n
el()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make check_loc
k
ing
c
heck
b
oth spin
l
oc
k
s and
s
emap
h
o
r
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nter
Add a n
e
w f
u
nction slist
_
has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpen
t
er
If
there is an i
+
+ then the value of 'i' is
u
ndefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new c
h
e
c
k_locking
sc
r
i
p
t
t
hat checks spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
Save t
h
e possible states instead of just merging
them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Igno
r
e emacs
g
a
rbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpen
t
er
Merge branc
h
'master' into pools5
commit
|
commitdiff
|
tree
2009-01-16
Dan Car
p
ente
r
We could save som
e
memory
b
y not all
o
cating ne
w
memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a comment showing where the te
s
ts are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
This is
l
e
f
t
o
ver from O
c
tob
e
r
as part of the
i
m
plied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nt
e
r
Add
g
et
_
possib
l
e
_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
S
t
u
f
f
l
eft over from October
.
Im
p
lied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could s
a
ve some memory
b
y not allocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan
Carp
e
nter
Fix memor
y
le
a
k
.
Add mor
e
c
o
mme
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
Ad
d
a merge hook
.
Handle the situations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
st
r
cmp() doesn't a
c
cept NULL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
rpenter
renam
e
two funct
i
ons: get_variable_from_exp
r
_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
get_variable_f
r
om
_
e
x
pr()
u
ses a
static buffer and y
o
u
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
Cre
a
te
a
c
h
eck_template
.
c
e
x
ample script tha
t
looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpente
r
Make get_all_state
s
() not segf
a
ult every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
Fix get_va
l
ue() to ret
u
r
n
negative
val
u
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpente
r
We only ever
p
a
s
s one parameter
into get_value(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
en
t
e
r
Fix get_all_states() to match the function definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
R
e
move add_st
a
te() and state_def
i
ned() definitio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
a
rpenter
Clean up
.
F
ix
leak
.
My
problem is
t
h
at I don't
understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpenter
I
nitial commit of the "implie
d
s
t
ate pools"
s
tuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
a
r
p
enter
Doh
.
W
e
h
a
ve
n
't been
u
sing smatch_extr
a
for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get rid of path_history
.
I
t's never going to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpente
r
Mak
e
goto_st
a
ck static
.
commit
|
commitdiff
|
tree
2008-10-13
D
an C
a
r
p
e
nte
r
Speed up merge_slist now that th
e
slists are or
d
e
r
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
penter
Insert s
t
uff onto
lists in a so
r
ted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
penter
Delete a
n
unused function merge_state_sta
c
k()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
D
an
Carpent
e
r
fix
:
i
f (
*
foo) { (*foo)-
>
bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
an C
a
r
penter
kma
l
loc
(
)
and
f
r
i
ends don't al
w
ays return a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Car
p
enter
The che
c
ks from
here
got
merged into check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move th
e
stuf
f
from check_d
e
ref
e
d_par
a
ms
.
c into check_
n
ul
l
_
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
an Car
p
enter
Fix
b
ug in or_slist_stack()
.
i
f
(a &&
b
)
w
a
sn't
being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
D
a
n
Carpenter
A
dd a
hook at the end of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n
C
arpenter
Forgot
an
o
th
e
r strip_expr() ca
l
l
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Ca
r
pente
r
Handle as
s
ignmeents i
n
s
i
de
c
onditions bet
t
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
nter
On
l
y print s
o
m
ethi
n
g for a->foo a
n
d
not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carp
e
nt
e
r
I
g
nore
a
rr
a
y declar
a
ti
o
ns
.
Those can'
t
b
e
NULL obvi
o
usly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
M
a
ke cur_slist static
.
It's onl
y
use
d
i
n
s
match_sta
t
es
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next