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
Fix the Unclear locking thing. Again.
2009-02-23
D
an Carpenter
F
ix
t
he Unclear locking thing
.
A
gain
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Car
p
ent
e
r
Warn on double lock/un
l
ocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Pr
i
nt fewer Unclear lo
c
king messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carp
e
nter
if ((1)) {
.
.
.
is a known_cond
i
tion
_
tr
u
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add support f
o
r t
h
ose funny
gcc ({
.
.
.
}) block
statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
ente
r
H
a
ndl
e
d
e
claratio
n
s in
s
i
d
e switc
h
statement blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n C
a
rpenter
C
leanup is_
z
ero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Car
p
ent
e
r
Ad
d
kn
o
wn_condit
i
on_
f
alse()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpe
n
ter
Fix handling
o
f
continue insi
d
e do while statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
Don't set
l
et pe
o
pl
e
set s
t
ates for unreachable
c
ode
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
S
mall clean
u
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
H
andl
e
the
iterator
s
corr
e
ctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpen
t
er
Add
support for
"
if (a?b:c)
{
.
.
.
"
ternary con
d
itions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Carpen
t
er
Add some support for
_spin_
t
r
y
lock() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpent
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 C
a
rpenter
T
his p
r
ints ou
t
e
rr
o
r messages a
l
l t
h
e time
t
hat are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Assignment alwa
y
s sets &isfr
e
ed
to som
e
thing else
like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
D
on't p
r
int cro
s
s_func
errors if the called functi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remove call to alloc
_
state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpent
e
r
Call the m
e
r
g
e_hook() ins
t
ead o
f
s
e
tting the
s
tate
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
Meant to commit
t
his earlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
A
dd th
e
merge_ho
o
k() back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Cl
e
ar the returns list
s
at the end of each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
ar
p
ente
r
Mo
v
e the implicati
o
ns checking to after the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
p
ent
e
r
Rewrit
e
completel
y
wi
t
h
n
ew goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Ad
d
some
functi
o
ns to handle tracker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpent
e
r
D
o
n't segf
a
ult all th
e
time when checking fo
r
ev
e
r loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test to see if
w
e are catching cross function
derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
ar
p
enter
Use
t
h
e
-
>
p
ossible states and
remov
e
the merge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
pent
e
r
"while (
(
1)) {" i
s
a for
e
ver loop
.
Cal
l
str
i
p_expr
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
fixes to th
e
->
p
ossible s
e
tting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
D
an Carpenter
Merg
e
branch 'master' into null
_
d
e
ref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpen
t
er
Add vali
d
a
t
ion sc
r
ipt fo
r
check_
n
ull_der
e
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clea
n
u
p
.
new->possible is always n
u
ll here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpe
n
ter
O
o
p
s
.
->possibles wasn't ge
t
ting set correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Us
e
strip_exp
r
() in
split_condi
t
i
ons() instea
d
re
p
roducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpenter
Add s
o
me more o
p
erati
o
ns t
o
get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
C
arpenter
Retu
r
n &merged instead of &u
n
defined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpenter
make ge
t
_value() return a
val
u
e for b
i
twise or expr
e
s
s
io
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
e
n
t
er
Try again removing sta
t
es from po
o
ls
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Revert
"
Remove
a state from it's -
>
pools wh
e
n se
t
_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
E
l
iminate
a
warning
.
Probably the wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
n
ter
Clean ups
.
C
o
mments
.
Rename slist_stack to nam
e
d_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha
ha
.
I still suck at
pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
C
omment
s
.
Remove debu
g
ging code from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpe
n
ter
Cle
a
n up
.
Also preserve the
->po
o
ls
in one
p
ath of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
p
enter
Cle
a
n up get_st
a
te_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remo
v
e __
o
verwrite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rp
e
nt
e
r
There w
a
s
d
ebu
g
ging
o
utput th
a
t acc
i
dentally got
c
o
m
m
itted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Remove a state from
it's ->pools
when
s
et_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpen
t
er
D
on't del
e
te the ->p
o
ols on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
n
te
r
Try understand the implications from comp
o
u
n
d conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Create a st
a
te &merged
.
When we
m
e
r
g
e st
u
f
f
it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This t
i
me smatch_i
m
plied _rea
l
ly_ does somethi
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Ignore c
s
cope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Sm
a
ll cl
e
anups
.
(White
s
pace)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Whitespace
change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Add some m
o
re
locking
f
unctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Fi
x
implied pools
so that at least it
d
o
e
s
s
o
met
h
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
It seem
e
d like trac
k
er_lis
t
would be
us
e
f
u
l
in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carp
e
n
t
er
Add a READM
E
describing
s
match
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
en
t
er
Ad
d
s
c
r
i
pt
to find NULL dereference
s
between functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
r
p
en
t
er
Fix usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
C
arpenter
Chec
k
f
o
r
m
alloc() as well as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
F
i
x segfault when handling implicitly declared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Car
p
enter
Warn
w
hen we
don't acquire locks when calling certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (and fa
i
l
)
to find memor
y
l
e
aks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carpenter
Almo
s
t print
a
m
essage when you co
m
e to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
enter
Add check to look for do
u
ble
f
r
e
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
d
d c
h
e
c
king f
o
r
loc
k
_kernel()/unlock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
ar
p
enter
Make check_lo
c
ki
n
g c
h
eck b
o
th spinlocks and
s
emap
h
ore
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a
new
function
s
l
i
st_h
a
s_st
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nter
If
there i
s
an i++
then
t
he value of 'i'
i
s undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
Add a new check_locking scr
i
p
t that che
c
k
s sp
i
nlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
S
a
ve the possib
l
e stat
e
s
ins
t
ead of jus
t
m
erging the
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an Carpen
t
er
I
gnore emacs garbag
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an Carpe
n
t
er
Mer
g
e
branch 'master'
into pools5
commit
|
commitdiff
|
tree
2009-01-16
Da
n
C
a
rpenter
We coul
d
sav
e
some
m
emory
by not allocating
n
ew memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpenter
Add a comment showing w
h
er
e
the t
e
sts
are
s
upposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
This is left over from
O
ctober as part
of t
h
e im
p
lied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Car
p
enter
Add get_possi
b
le_states
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff left o
v
er from October
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
D
an
C
arp
e
nt
e
r
We could save some m
e
mory by not
allo
c
at
i
ng new m
e
mory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpente
r
Fix
m
emory leak
.
Add m
o
re comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
A
dd a merg
e
hook
.
Ha
n
dle the situat
i
ons like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
str
c
m
p() doesn'
t
accept NULL argumen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
ren
a
m
e
two
f
unct
i
ons: g
e
t_variab
l
e_from_expr
_
simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
get
_
variable_from_ex
p
r
() use
s
a static buff
e
r
a
n
d
y
o
u
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a
c
hec
k
_
temp
l
ate
.
c exam
p
l
e s
c
ri
p
t tha
t
looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
Make get
_
all_states() not s
e
gfault ev
e
r
y time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
F
i
x get_value() to
return neg
a
t
i
ve val
u
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
We
o
nly eve
r
pass one p
a
ra
m
eter
into get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
e
n
ter
Fix g
e
t_all_states() to match th
e
fun
c
tion d
e
finition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
R
e
mov
e
a
d
d
_
state()
a
nd
s
tate_de
f
i
n
ed() d
e
finitio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
C
l
ean u
p
.
Fix leak
.
M
y
pr
o
ble
m
is that I don
'
t understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
enter
Initial commit o
f
the "implie
d
state pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpenter
Doh
.
We ha
v
en't be
e
n us
i
ng
s
m
a
tch_extra for
a whi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
r
p
e
n
ter
Get rid of path_history
.
It
'
s never goi
n
g to be us
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpe
n
ter
Make goto_stac
k
st
a
tic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpenter
Spee
d
u
p merge_slis
t
n
o
w th
a
t
t
he slist
s
a
r
e ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next