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
This prints out error messages all the time that are always bogus. Disable.
2009-02-19
Dan Carpenter
This
prints
o
ut error messag
e
s all the t
i
me that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
As
s
ignmen
t
al
w
ays se
t
s &isfreed to
some
t
hing
else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Don't print cross_
f
unc erro
r
s if the call
e
d function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remove call to
a
lloc_state(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpen
t
er
Call the mer
g
e_hook()
instead of setti
n
g the s
t
ate
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an C
a
rpenter
Oops
.
Meant to com
m
it t
h
is
e
a
rlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
A
d
d the merge_hook() back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Cl
e
ar
t
h
e returns lists at
t
he
e
nd of each funct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nt
e
r
Move
t
he i
m
plications checking to a
f
ter the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rp
e
nter
R
e
writ
e
c
o
m
p
le
t
e
l
y with
new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
A
d
d some functions t
o
han
d
le tracker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't segfault all th
e
time when ch
e
cking forever
l
o
o
ps
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
e
r
Tes
t
to
s
ee if we ar
e
c
atch
i
ng cross function d
e
refs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
te
r
Use t
h
e ->po
s
sible sta
t
e
s
and remove the me
r
ge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
"
while (
(
1)) {" is a forev
e
r loop
.
Call
s
trip_exp
r
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixe
s
t
o th
e
-> possib
l
e setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
ar
p
en
t
er
M
e
rge
b
ranch '
m
as
t
er
'
into nu
l
l_de
r
ef
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Carpenter
Add
va
l
id
a
tion script for check_
n
ull_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Da
n
Carp
e
nter
C
lean
u
p
.
new->possible
i
s
al
w
ays
null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpe
n
te
r
O
o
ps
.
->p
o
ssibles wasn't ge
t
ting set co
r
rec
t
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carp
e
nter
Use strip_expr() in sp
l
it_conditions() instead repro
d
uci
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some
more operati
o
ns to g
e
t
_
v
alue()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carp
e
nter
Return &
m
erged instead
o
f &undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpenter
make
get_value() return a value
f
or bit
w
ise or ex
p
ressio
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
p
e
nter
Try
a
g
a
in removi
n
g st
a
tes
f
rom pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
ter
Revert "Remov
e
a
stat
e
from it's ->po
o
ls w
h
en set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
El
i
minate a wa
r
ning
.
Pro
b
ab
l
y the wr
o
n
g wa
y
to d
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Clean
ups
.
Comment
s
.
Rena
m
e slis
t
_stack to named_
s
tack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Ha ha
.
I still
s
uck at po
i
nter
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rpenter
Cleanups
.
Comments
.
Re
m
ove deb
u
gging code f
r
om
filt
e
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpen
t
er
Clean u
p
.
Also preserve t
h
e ->
p
ools in one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
e
r
Clea
n
up get_stat
e
_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove __overwrit
e
_c
u
r_sl
i
s
t()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There was debugging output
that accidental
l
y got commit
t
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove
a
state f
r
om
it's ->pool
s
when set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Don't del
e
t
e
the ->pools on mergi
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
n
t
er
Try
u
nderst
a
nd the implication
s
f
rom
c
o
mpound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create a state &me
r
ged
.
Whe
n
we merge stuff it is
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Ok
.
This time smatch
_
i
mp
l
i
e
d _rea
l
ly_ does some
t
hin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
I
g
no
r
e
cscope
f
i
les
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small cleanups
.
(White spa
c
e)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whi
t
e
s
pace chan
g
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add so
m
e mo
r
e
lock
i
ng functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
F
i
x impli
e
d pools so that at
l
east
it d
o
es
s
omet
h
in
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seemed
l
ike tracke
r
_list would be useful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
ar
p
enter
Add
a README desc
r
ibing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arp
e
nter
Add sc
r
ip
t
to fin
d
N
U
LL derefere
n
c
es betw
e
en functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpen
t
er
Fi
x
usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
te
r
Check for malloc()
a
s well a
s
k
m
a
l
l
o
c()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Fix segfault when han
d
ling imp
l
icit
l
y declared functio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
arpe
n
t
e
r
War
n
when w
e
don't acquire locks when
c
all
i
ng
certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
penter
T
r
y (and fai
l
) to find memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carp
e
n
t
er
Almos
t
pri
n
t a messag
e
when you c
o
m
e to
u
nreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add
c
h
eck to
look
for doub
l
e frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Carp
e
nte
r
A
d
d checking for
l
ock_
k
e
rnel
(
)/unlock_kern
e
l
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
Make ch
e
ck_locking
check both s
p
inlocks
and semaphore
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
ar
p
enter
Add a new fun
c
tion slist_ha
s
_state
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpente
r
If ther
e
is a
n
i++ then the value of 'i' i
s
undefi
n
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new
che
c
k_locki
n
g
scri
p
t
t
hat
c
h
e
c
ks s
p
inl
o
cks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
Save t
h
e possible s
t
ates instea
d
o
f just me
r
ging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan C
a
rpenter
I
gnore
emac
s
g
a
r
bage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an Car
p
enter
Me
r
g
e
branch 'ma
s
ter' into pools5
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
C
arpenter
Add
a
comment sho
w
ing
w
here the tests are
s
upposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
n
ter
This
i
s
left over from O
c
tober as part of the im
p
lied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add
get_
p
o
s
sible_st
a
tes()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
a
rpenter
S
t
uff
left over from October
.
I
m
pli
e
d
pools wo
r
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Car
p
e
n
ter
W
e
co
u
ld sa
v
e some memory by no
t
a
ll
o
cating
n
ew m
e
mor
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpent
e
r
Fix memory leak
.
Add m
o
re
c
o
mments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
C
a
rpenter
Ad
d
a merge hook
.
Handle the situa
t
ions li
k
e:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
strc
m
p() d
o
esn't accep
t
NUL
L
arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpen
t
e
r
renam
e
two functions: get_v
a
riable_from_e
x
pr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpent
e
r
get_variable_fr
o
m_expr(
)
uses a static buffer
a
nd you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
C
r
eate a che
c
k
_
template
.
c
e
x
a
mple scrip
t
that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Ma
k
e get_all_states() not
segfault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpenter
Fix
g
et_v
a
lue(
)
to return
neg
a
ti
v
e values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Car
p
enter
We only ever pass
one para
m
eter int
o
get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Ca
r
penter
Fix get_all_states() to match the funct
i
on definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Car
p
enter
Remove add_stat
e
() and state_de
f
ine
d
() definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpenter
Clea
n
up
.
F
ix leak
.
My problem
i
s that I
d
on'
t
understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpenter
Initial co
m
m
it
o
f
t
he
"implied state po
o
ls" s
t
uff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
enter
Doh
.
We h
a
ven'
t
been using s
m
at
c
h
_
extra for a
w
hile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
enter
Ge
t
rid of
p
ath_history
.
It'
s
never going to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n
C
a
rpent
e
r
Make go
t
o_stack stati
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
ente
r
Spee
d
up merge_slis
t
n
ow that the slists are
o
rdered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arp
e
nter
Insert stuff onto lis
t
s
i
n
a sorted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
penter
Delete an
u
nuse
d
function merge_state_st
a
ck()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
D
a
n Carpen
t
er
fix: if (*foo) {
(
*fo
o
)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Ca
r
pent
e
r
kmalloc() and friends don't always return a
n
o
n-
n
ull
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpente
r
T
he checks from here got me
r
ged
into c
h
e
ck_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arpenter
Move the s
t
u
f
f fro
m
chec
k
_derefed_
p
arams
.
c into
c
h
e
c
k_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Ca
r
p
e
n
ter
Fix bug
in or
_
slis
t
_sta
c
k()
.
if
(
a && b)
w
asn't
bein
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan
Carpenter
Add a hook at the end of a fil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
er
Forgot another st
r
ip_ex
p
r(
)
cal
l
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Car
p
enter
Handle assi
g
nmeents inside conditi
o
ns
be
t
ter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
enter
O
n
ly
print so
m
ething
for a
-
>
f
oo and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan C
a
rpenter
Ignore a
r
ray de
c
l
arations
.
Those
can't be
NULL obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carp
e
nter
Make cur_slist s
t
atic
.
It's only used in sma
t
c
h
_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Wh
i
t
e
space chan
g
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use merge_slist()
i
nstead
o
f
t
rying to
h
andle it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpente
r
_
_process_cont
i
nues()
i
s supp
o
sed
to
b
e basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next