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
if ((1)) { ... is a known_condition_true()
2009-02-23
Dan Car
p
enter
i
f ((1
)
)
{
.
.
.
is a
known_con
d
ition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
ente
r
Add support f
o
r
tho
s
e funny
gcc ({
.
.
.
}
)
blo
c
k state
m
e
n
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
H
andle de
c
laratio
n
s inside switch stateme
n
t blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Cle
a
nu
p
is_zer
o
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Ca
r
pente
r
A
dd known_cond
i
tio
n
_
false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
Fix h
a
nd
l
ing of continu
e
inside do w
h
ile
s
tatements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
a
r
penter
Don't s
e
t
l
et p
e
ople set states for unre
a
chable code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpenter
Sm
a
ll cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpente
r
H
andle the
i
terat
o
rs co
r
rectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carp
e
nter
Add
su
p
p
o
r
t
f
o
r "if (a?b:c) {
.
.
.
" ternary conditi
o
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Car
p
enter
Add some support for _spin_tryl
o
ck() a
n
d friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpente
r
if (a || b) { a->foo; s
h
ould print an
erro
r
.
A
lso
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Ca
r
pente
r
This prints out error messages all the time that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
a
n Carpenter
Assignment alw
a
ys sets &
i
s
freed
to som
e
thing
e
lse like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Don't prin
t
c
ross_func errors if the called fu
n
ct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remov
e
call to allo
c
_
state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Call the merge_hook()
instead of setting the sta
t
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
p
enter
Oop
s
.
Meant to commit t
h
is earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpenter
A
dd
the m
e
rge_hook() back
in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Cle
a
r
t
he ret
u
rns
l
ists at the end o
f
e
ach fu
n
c
t
i
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move
the implic
a
ti
o
ns checking to aft
e
r the
scri
p
ts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrite com
p
lete
l
y with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carp
e
nter
A
dd some functio
n
s t
o
handle tr
a
cker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
D
o
n'
t
segfault all the
t
ime when checki
n
g forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpe
n
ter
Tes
t
to se
e
if we are catching cr
o
ss function derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use th
e
->possible
s
tates and r
e
m
o
ve the merg
e
_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"while
((
1
)
)
{"
is
a
forever loop
.
C
all strip_expr
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
er
fixes to the -> possible setti
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
a
r
pe
n
t
e
r
Merge branch 'maste
r
' int
o
null_de
r
e
f
commit
|
commitdiff
|
tree
2009-02-17
D
an Carpenter
Add valida
t
ion script
f
or check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpen
t
er
C
lean up
.
new-
>
possible
is always
null
h
ere
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
enter
Oops
.
->poss
i
bl
e
s
w
asn't getting set correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
ar
p
enter
Use strip_expr(
)
in split_condi
t
ions() instead r
e
pro
d
ucing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpenter
Ad
d
some
m
ore operatio
n
s to get_va
l
ue()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &merge
d
instead of
&
undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make get_value() return a
value f
o
r
bitwise
o
r
expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpent
e
r
Try
a
gain removing states
from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
te
r
R
e
vert "Remove
a
state from it's ->p
o
o
l
s
w
hen
s
et_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpen
t
er
El
i
minate a warning
.
Pr
o
bably the
w
r
ong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpe
n
ter
Clean u
p
s
.
Comm
e
nts
.
Rename sli
s
t_s
t
ack to named_
s
t
a
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Ha h
a
.
I
s
till
s
u
c
k at
p
ointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Cleanups
.
Co
m
m
ent
s
.
Remove debugging code from f
i
lte
r
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Clean up
.
Also prese
r
ve the ->pool
s
i
n
o
ne
p
ath of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carp
e
nte
r
Clean up ge
t
_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Remove _
_
overw
r
i
t
e_
c
ur_slist(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
T
h
e
re was
de
b
uggi
n
g output that accid
e
ntall
y
got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpent
e
r
Remove a
state fro
m
i
t
's ->pools when
s
et_s
t
ate() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arp
e
nter
Don'
t
de
l
ete
the ->pools on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
t
e
r
Try understand the implication
s
fr
o
m compou
n
d con
d
itions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpenter
C
reate a state &merged
.
When we
m
erge stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Ok
.
This time sm
a
t
c
h_impli
e
d _reall
y
_ does s
o
mething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Ign
o
re cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carpenter
S
mall cleanu
p
s
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Ca
r
pe
n
t
er
Whitespace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Add some more l
o
ckin
g
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix i
m
plied pools so that at least it does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpente
r
It see
m
ed like tracker_l
i
s
t
wou
l
d
be useful in
a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
a
rpente
r
Add
a
R
EA
D
ME describing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
A
dd
s
c
r
i
p
t to find
N
U
LL
d
ereferenc
e
s b
e
tween funct
i
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
F
ix usage m
e
ssage
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
t
er
Chec
k
f
o
r
mall
o
c() a
s
well as kmal
l
oc
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fi
x
segfault w
h
en handling impli
c
itly decla
r
ed fun
c
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Warn
wh
e
n we don'
t
acquire locks when c
a
lling
c
ertain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Car
p
enter
Try (and fail) to fin
d
mem
o
ry leak
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost
p
r
int a message
w
hen you come to
u
nreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add check
to look
f
or double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carpenter
A
d
d checking for loc
k
_kernel()/unlock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nter
M
ake c
h
eck_locking chec
k
bot
h
spinlocks an
d
semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
Add a new f
u
n
c
tion sli
s
t
_
h
as_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
If
t
h
e
re is
an i++ then t
h
e value of 'i' i
s
undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
A
dd a new
check_l
o
ckin
g
script that check
s
spin
l
ock
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
Save the poss
i
b
l
e states ins
t
ead of jus
t
me
r
ging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpent
e
r
Ignore emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Ca
r
penter
Merge branch 'master' into po
o
ls5
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
Add a
commen
t
showi
n
g where the tes
t
s
a
re supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is
l
eft o
v
er
from O
c
tober
a
s part of the
impli
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpente
r
Add get_possible_state
s
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpenter
Stuff left ov
e
r
f
rom
O
ctober
.
I
m
pli
e
d
pools
work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could sa
v
e
some memo
r
y b
y
not all
o
c
ating ne
w
memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
D
an Carpenter
F
ix me
m
ory le
a
k
.
Add more com
m
en
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a mer
g
e
hook
.
Hand
l
e the si
t
uati
o
ns like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpe
n
ter
strc
m
p(
)
does
n
't accept
N
ULL argu
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rena
m
e two functions: g
e
t_variable_fr
o
m_ex
p
r
_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_varia
b
le_from
_
exp
r
() uses
a
static buffer a
n
d you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
r
penter
Creat
e
a
c
h
eck_template
.
c
e
x
a
mple scri
p
t that
l
ooks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get_all_states()
n
ot s
e
gfault every t
i
me
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
F
i
x get_v
a
lue() to return negative
v
alue
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpen
t
er
We
o
nly eve
r
pass one paramete
r
into ge
t
_va
l
u
e()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
Fix get_
a
ll_stat
e
s() to mat
c
h the function defini
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpenter
Re
m
ove add_state()
a
nd s
t
ate
_
de
f
in
e
d() d
e
f
i
n
itions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
e
r
Clean up
.
Fix leak
.
My prob
l
e
m
i
s that I don't underst
a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpe
n
t
er
Initia
l
com
m
it
of
t
h
e
"implied state
p
ools" stuf
f
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We
haven
'
t been
u
sing smatch
_
extra for
a
whil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n
Carpen
t
er
Ge
t
rid
of path_history
.
It's never goin
g
to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
C
a
rp
e
nt
e
r
Make g
o
t
o_st
a
c
k
static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
S
p
eed up merge_sli
s
t
now that
the slists are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
pe
n
ter
Insert stuff
o
n
to
l
ists in a sorted or
d
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
De
l
ete
an
u
nused function m
e
rge_state_s
t
ack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix: if
(
*f
o
o)
{ (*foo)->ba
r
; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan
Car
p
enter
kmallo
c
() an
d
friends do
n
't always return a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next