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 function __set_true_false_sm()
2009-02-27
Dan Ca
r
pe
n
ter
Add function __set_true
_
false_
s
m()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpe
n
te
r
On
l
y
s
ave an implied lis
t
if a
state
has been mod
i
fied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
an Carpenter
Only implied states that are
n
't alread
y
true
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
an Carpenter
Take a parameter instead of assuming the
o
utput is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Ca
r
penter
Don't che
c
k that
t
h
e
re are both
tr
u
e and false states
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
T
his check_or
d
er() seems s
u
perfluous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpen
t
er
New fun
c
tion harmonize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
call __split
_
expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carp
e
nter
r
emove unneeded call
s
to __use_cond_true
_
states();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Do
n
't set the implied state to &merged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpente
r
Make cmp_tracker() accessible to o
u
tside files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Carpenter
All th
e
state
s
are i
m
plied no
t
j
ust
u
nique ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Improve lock chec
k
outpu
t
.
Add mor
e
val
i
dat
i
on
sa
m
ples
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpenter
Add support f
o
r down_interr
u
ptible() a
n
d
frie
n
ds
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Fix t
h
e
Unclear locking th
i
ng
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Wa
r
n on double lo
c
k/unlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpenter
Pr
i
nt
fewer Unc
l
ear locking m
e
ssages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Ca
r
pe
n
ter
if
(
(1))
{
.
.
.
is a kno
w
n_condition_
t
r
u
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
rpenter
Add support for those funny gcc
({
.
.
.
}) block
statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handl
e
declarations ins
i
de switch statement block
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
p
e
nter
Cleanu
p
i
s
_zero
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
n
t
er
Add known_condition_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
t
er
F
ix handling of
con
t
inu
e
inside do while statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpenter
Don't set l
e
t peop
l
e set s
t
ate
s
f
o
r un
r
ea
c
hab
l
e code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
pe
n
t
e
r
Small cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
Han
d
le t
h
e it
e
rators correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
arpenter
Add
support for "if (a?b:c) {
.
.
.
" ternary c
o
nditi
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
C
arpe
n
ter
Add some supp
o
rt for _spi
n
_trylo
c
k() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Car
p
ent
e
r
if
(a ||
b) {
a
->foo; should print an
error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
a
n Carpenter
T
h
is prints
o
ut error mes
s
ages all the
t
ime that
are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan
C
arpenter
Assignm
e
nt a
l
w
a
y
s
sets &
i
sfreed to s
o
meth
i
ng else
l
i
ke
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Don't pr
i
nt cross_func errors
i
f the called func
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nt
e
r
Remove call to
a
l
loc_st
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Call t
h
e merge_hook() instead of s
e
tt
i
ng th
e
state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
Meant to
c
ommit th
i
s e
a
rlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
rpenter
Ad
d
t
h
e merge_hook() back
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Clear the
retu
r
ns
l
ists a
t
the end of each functio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
arpen
t
er
Mo
v
e the implication
s
che
c
kin
g
to after the
s
crip
t
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Rewrite co
m
pletely with new
g
oal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan
Car
p
enter
Add so
m
e f
u
nctions to ha
n
d
l
e track
e
r lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
D
o
n't
seg
f
ault all the time w
h
en checki
n
g fore
v
er l
o
ops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
ar
p
en
t
er
Test to see
if w
e
are catching cross
functi
o
n derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Car
p
enter
Use the ->
p
ossible
sta
t
es a
n
d r
e
move the merge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"wh
i
le ((1)) {
"
is a fore
v
er loop
.
Call strip_exp
r
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
fixes to
t
he ->
pos
s
i
bl
e
setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Merge
b
r
a
n
ch 'mas
t
er' int
o
null
_
deref
commit
|
commitdiff
|
tree
2009-02-17
Dan
Ca
r
penter
Add val
i
dation sc
r
i
p
t for che
c
k_
n
ul
l
_der
e
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean up
.
new->possible is always null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
ar
p
enter
Oops
.
->pos
s
i
bles
wasn't getting set correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use strip_expr()
i
n s
p
lit_condition
s
() i
n
s
tead reproduci
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpent
e
r
A
d
d some more operations to get
_
value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
Return
&merged inst
e
a
d
of
&undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
ma
k
e get_value
(
) r
e
turn a valu
e
f
o
r bitwise or
ex
p
r
essions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
penter
Try again rem
o
ving stat
e
s
f
r
om pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
R
evert "Remove a s
t
ate from it
'
s ->pools when set_stat
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Eliminate 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
Dan Carpenter
Clea
n
up
s
.
Comm
e
n
t
s
.
Re
n
ame sli
s
t_stack to
named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
ar
p
enter
Ha ha
.
I st
i
ll suck at point
e
rs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpent
e
r
Cleanups
.
Comme
n
ts
.
Remov
e
debugging code from fi
l
te
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
C
lean up
.
Also pres
e
rve the ->pools in one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpent
e
r
Clean up
g
et
_
state_
s
l
i
st
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
e
r
R
e
move __ove
r
write_c
u
r
_
s
l
is
t
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ther
e
was
debugging output
that
ac
c
id
e
ntally g
o
t committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
R
emove a s
t
ate from it's ->pools
w
h
en set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Car
p
enter
Don't
d
elete
t
he ->p
o
ols on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
n
t
er
Try under
s
tand the impl
i
c
a
ti
o
ns
f
rom compound condit
i
o
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Create
a
state &
m
erged
.
When we merg
e
stuff
i
t isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpen
t
er
Ok
.
This time
s
match_implied _really_ d
o
es something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
I
gnore cscope f
i
les
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Small c
l
eanups
.
(W
h
it
e
space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Wh
i
te
s
pace
ch
a
nge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
r
p
enter
Add some more locking
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Car
p
enter
Fix imp
l
ied pool
s
so tha
t
a
t lea
s
t it does so
m
eth
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
t
e
r
I
t seeme
d
like tracker_list wo
u
ld be useful
in a l
o
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Add a README de
s
cribing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
dd
scri
p
t to fin
d
NULL de
r
eferences betwe
e
n f
u
nc
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carp
e
nter
F
i
x usa
g
e
message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
r
p
en
t
er
C
h
eck fo
r
malloc() as well as kmall
o
c()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpen
t
e
r
Fi
x
segf
a
u
l
t
when
handling impl
i
c
i
tly
decla
r
ed f
u
nctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
a
r
p
ente
r
Warn when we don't acqui
r
e locks when calling certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
p
e
nter
T
ry (and f
a
il) 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 message when you co
m
e
to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add check to look
f
or double fr
e
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
r
p
en
t
er
Ad
d
c
hecking for lo
c
k_kernel()/unlock_ker
n
e
l
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
pe
n
ter
Make chec
k
_locking c
h
e
ck b
o
th spinlocks and sema
p
ho
r
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a
new func
t
ion slist_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an
C
a
rpe
n
ter
If
there is an i
+
+ then the valu
e
of 'i' is undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
A
d
d
a new c
h
eck_locking sc
r
ipt that checks spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
S
a
ve the poss
i
ble states inste
a
d o
f
just merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpente
r
Ignore emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an Ca
r
pen
t
er
Merge branch 'master' into pools5
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add
a comment showing
w
here
t
he tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nt
e
r
T
hi
s
is left over from O
c
tober as
p
a
rt of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
A
d
d get_possib
l
e_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
S
tuff left
over from October
.
I
m
plied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We
c
o
uld save some memory by not allocating ne
w
m
emory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fi
x
m
e
mory leak
.
A
d
d more
comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Ca
r
penter
Ad
d
a merge hook
.
Handle t
h
e situation
s
like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
s
t
rcmp() doesn't accept
N
ULL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Car
p
e
nter
r
e
n
a
me two functions: get_v
a
ri
a
b
l
e
_from
_
expr_sim
p
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next