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
Handle the iterators correctly.
2009-02-22
Dan Carp
e
n
t
e
r
Ha
n
dle the iterators corre
c
tly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add sup
p
ort for "if (a?b
:
c
)
{
.
.
.
" ter
n
ary conditi
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Carp
e
nter
Add some support for _spin_try
l
ock(
)
a
n
d friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Carpenter
i
f (a || b)
{ a->foo;
s
h
o
u
ld print an
error
.
Al
s
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan
C
arpe
n
ter
This prints
o
u
t
e
rror me
s
sa
g
es
all th
e
ti
m
e that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Assignment a
l
ways sets &
i
sfree
d
to
somet
h
ing
e
lse like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carp
e
nter
Don't print cross_func err
o
rs i
f
t
he called funct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Remove c
a
ll to al
l
oc
_
stat
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Call the
m
erge_h
o
o
k
() inst
e
ad of setti
n
g
the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
n
ter
Oops
.
Meant to comm
i
t
t
his
ea
r
lier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add
t
h
e
m
erge_hoo
k
() ba
c
k in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear th
e
r
e
t
urns
l
i
sts at t
h
e end
of each fun
c
tio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move the impli
c
ations
c
hecking to after th
e
s
c
ripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrite com
p
letely
with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
r
p
enter
Add so
m
e functi
o
ns
to
handle
t
rac
k
er lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pe
n
ter
Don't segfault all the t
i
me w
h
en
checking forever loop
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Car
p
e
nter
Test
to see if we are catching cross funct
i
on d
e
refs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
arpenter
Us
e
th
e
-
>
possible states and remove th
e
mer
g
e
_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
"while ((1)) {" is a forever
l
oop
.
Call strip_ex
p
r(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rp
e
nter
fix
e
s to th
e
-> possible settin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Carpenter
Merge branch 'master' i
n
to null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpe
n
t
er
A
dd
validation script
for
check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean u
p
.
new->possible is always nu
l
l here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
C
arpen
t
e
r
Oops
.
-
>possibles wasn't gett
i
ng set correct
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Us
e
st
r
ip_expr() in
split_conditions() instead reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
arpenter
Add
s
om
e
more op
e
r
a
tions to get_value(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
Return &merged in
s
tead of &undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpent
e
r
m
ake get_val
u
e() return a value fo
r
bitwise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
Try ag
a
in removing
s
tat
e
s from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
e
r
Reve
r
t
"Remov
e
a state f
r
o
m
it's ->poo
l
s when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Elimina
t
e a warning
.
P
r
obably the wrong way to
do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
Comments
.
Re
n
ame
s
l
ist_stack to named_sta
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Ha ha
.
I still suck
at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
Comments
.
Remo
v
e
debuggi
n
g code fro
m
filt
e
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Clean up
.
Als
o
preserve the ->pools
i
n one
path
o
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up get_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
R
emove __over
w
ri
t
e_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Ther
e
w
as deb
u
g
ging output
t
hat accidentally
g
ot committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
R
emo
v
e a st
a
te from it's ->poo
l
s whe
n
set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpente
r
Don't del
e
t
e
the ->pools o
n
merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Car
p
enter
Try un
d
erstand th
e
imp
l
ications
fr
o
m
compound
c
onditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Crea
t
e a
state &me
r
ged
.
W
he
n
we m
e
rge stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Ca
r
p
e
nter
Ok
.
This time smatch_implied
_really
_
do
e
s someth
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
ar
p
e
n
ter
I
g
nore cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
S
m
all
c
leanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
W
h
itespace cha
n
ge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
A
dd some mor
e
loc
k
in
g
funct
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Fix implied pool
s
so that
a
t leas
t
it
d
oes somethi
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
It seemed like trac
k
er_lis
t
would be us
e
ful i
n
a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add a R
E
ADME describing smat
c
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add s
c
r
i
pt to find NULL de
r
eferences between
f
unctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carpente
r
F
ix
u
s
age
m
essage
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpen
t
er
Check for
m
allo
c
() a
s
well as kmalloc
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Ca
r
p
e
nte
r
Fix segfault when handling impl
i
c
i
tly declared fu
n
cti
o
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpente
r
Warn when we do
n
't acquire locks whe
n
call
i
n
g
ce
r
tain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
penter
Try (and fail) to f
i
nd m
e
mory
leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpenter
Almost print a messa
g
e wh
e
n you come t
o
unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpen
t
er
Add check
to
l
ook
f
o
r
double f
r
ees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
enter
Add che
c
king for lock_k
e
rnel()/
u
n
l
ock_k
e
r
n
el(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Ca
r
penter
M
a
k
e check_locking check
both s
p
i
n
l
o
c
k
s
and s
e
maphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
p
e
nt
e
r
Add a new functio
n
sli
s
t
_
has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
ter
I
f there is
a
n
i++
then
t
h
e
v
alue of 'i'
i
s
u
ndefi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
C
a
rpenter
A
d
d a
new che
c
k
_locking
s
cript that
checks spi
n
lo
c
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save the p
o
ssible states i
n
stead
of just me
r
ging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ignore emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
M
erge branch
'
master' into
pools5
commit
|
commitdiff
|
tree
2009-01-16
Da
n
Carpenter
We could save
s
ome memor
y
by not allocating new memor
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
p
e
nter
Add a comment
s
howing where the
t
ests are
supp
o
se
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Thi
s
is left over fr
o
m O
c
tobe
r
as part of the imp
l
ied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add get_possible_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpenter
S
t
uff left
o
v
e
r f
r
om October
.
I
mplied pool
s
work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpe
n
ter
We could save some memory by not
a
llocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory leak
.
A
dd more
c
o
mm
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
Add a merge hook
.
Han
d
le the
s
ituations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
strcmp() does
n
'
t accept N
U
LL argume
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
rename t
w
o functions:
g
et_variable_from
_
e
x
pr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
get
_
v
a
riable_from
_
expr() use
s
a
static buffer and yo
u
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
Create a c
h
eck_t
e
mplate
.
c example scri
p
t tha
t
looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
Make get_all_sta
t
e
s() n
o
t seg
f
a
u
lt
e
very t
i
me
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_value() to
r
eturn negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
We
only
e
ve
r
pass one
p
arameter
int
o
get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpenter
F
ix get_all_s
t
ates() to matc
h
t
h
e
f
u
nction defini
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove add_state() and st
a
te_defi
n
ed()
de
f
initions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
C
l
ean up
.
Fix le
a
k
.
My probl
e
m
is
t
h
a
t I don't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n
C
a
rpenter
I
n
i
t
i
al commit of the "imp
l
ie
d
sta
t
e p
o
ols" stuf
f
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
penter
Do
h
.
W
e
haven'
t
b
e
e
n 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
o
f path
_
h
i
s
tory
.
It's ne
v
er goin
g
to be
u
sed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
e
n
ter
Make
goto_stack
s
t
a
tic
.
commit
|
commitdiff
|
tree
2008-10-13
D
an Car
p
enter
S
peed u
p
merge_
s
list now that
t
he slists
a
re ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Insert
stuff onto lists in a sorted
o
rder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Da
n
Carpe
n
ter
D
e
lete an unused function merge_
s
t
ate_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan
C
arpent
e
r
fix
:
if (*foo)
{
(*foo)-
>
bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
an Carp
e
n
t
er
kmallo
c
() and f
r
i
e
nds don
'
t
a
lw
a
ys return a no
n
-nu
l
l
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpente
r
T
he checks f
r
o
m
h
ere got m
e
r
ged int
o
c
h
e
c
k_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan C
a
r
p
enter
Mov
e
the stuff from
c
he
c
k_derefed_params
.
c into check_nu
l
l_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carpente
r
Fix b
u
g i
n
o
r_slist_stack(
)
.
if (a
&& b) wasn't
being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpente
r
Add a hook at the e
n
d of
a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgot
a
nother strip_expr() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n
C
ar
p
enter
Handle assignmeents insi
d
e co
n
d
i
t
i
ons better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
ar
p
enter
Only print so
m
ethi
n
g for a->foo a
n
d not a
.
f
o
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next