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 support for "if (a?b:c) { ..." ternary conditions
2009-02-20
Dan
Carpente
r
Add support for "if (
a
?b
:
c) {
.
.
.
" ternary condi
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
an C
a
rpe
n
ter
Add some support for _spi
n
_trylock() and
f
rie
n
ds
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
an Carpenter
if (a || b) { a->foo; should
p
r
i
nt an erro
r
.
Al
s
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpe
n
ter
This prints out err
o
r
messages all the time tha
t
are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
A
ss
i
g
nment
a
l
way
s
se
t
s &isfreed to s
o
mething
el
s
e li
k
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Don't print cro
s
s_func
errors if the cal
l
ed function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Rem
o
ve
ca
l
l t
o
alloc
_
state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Call th
e
merge_hook() i
n
stead of
s
e
tting the sta
t
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n C
a
rpe
n
ter
Oops
.
Meant
t
o co
m
mit thi
s
e
a
r
l
ier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
A
d
d the merge_hook() back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clea
r
the returns list
s
a
t the end of
each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Move the implications checking to aft
e
r
th
e
s
cripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Ca
r
penter
Rewrite
co
m
pl
e
t
e
ly wit
h
new goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Add
s
o
me functions
t
o
handle tracker li
s
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't segfault all the time
w
hen checking forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
T
est to see if we
a
re ca
t
ching
c
ro
s
s function der
e
fs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use the ->po
s
sible
states a
n
d remove the
m
erge_
h
ook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
a
rpenter
"whi
l
e ((1)) {
"
is a forever
l
o
o
p
.
C
a
ll strip_expr
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes to the -> possib
l
e setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Carpenter
M
e
r
g
e
branch 'ma
s
ter' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
D
an
Carpenter
Add validation scrip
t
for che
c
k_n
u
ll_d
e
ref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Ca
r
penter
C
l
ean up
.
new->
p
o
s
s
ible
is alw
a
ys n
u
ll here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
an Carpenter
Oops
.
->possibles wa
s
n't getting set c
o
rrectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Car
p
enter
U
se
s
t
rip_expr() in sp
l
it_conditions() instead reprod
u
cing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
pe
n
t
er
Ad
d
s
ome more o
p
e
r
ations to
get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
Retur
n
&
merged instead o
f
&und
e
f
ined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
m
ake g
e
t_value() return a value for bitw
i
se or e
x
pr
e
ssio
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpe
n
ter
Try aga
i
n remo
v
i
ng state
s
from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Revert "Remove a
s
tate from
it's
-
>p
o
ols when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
arpenter
Elim
i
nate a war
n
ing
.
Probably the
w
r
ong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpen
t
er
Clean ups
.
Co
m
m
e
nts
.
Ren
a
me slis
t
_stack to named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
H
a ha
.
I still
s
uc
k
at pointe
r
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpen
t
er
Cleanups
.
Co
m
ments
.
Remove debug
g
ing co
d
e fro
m
fi
l
t
e
r(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
C
le
a
n
up
.
Also p
r
e
s
erv
e
the -
>
pools in one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
t
er
Clean up get_st
a
t
e
_
s
list()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Car
p
enter
Remove __over
w
rite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
There
was debugging ou
t
p
ut that
accidentally
got co
m
m
i
tted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remov
e
a state fro
m
it's ->pools when set
_
state()
is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't delete the ->p
o
ols on
merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Try
u
nders
t
and t
h
e im
p
licatio
n
s
from compound condit
i
o
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
p
enter
Create a state
&
merged
.
When
we merge stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
O
k
.
This time s
m
atch
_
impli
e
d
_
r
eally
_
d
o
es somethin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpe
n
ter
Igno
r
e
c
scope
f
iles
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpente
r
S
m
all cleanu
p
s
.
(White
s
pace)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
W
h
itespace cha
n
g
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Car
p
ent
e
r
A
dd so
m
e more lock
i
ng func
t
io
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpe
n
te
r
Fix
im
p
lied p
o
ols so that at least it do
e
s
s
o
mething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpente
r
I
t
seemed like tracker_l
i
st wo
u
l
d be useful in a
l
ot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
a
rpen
t
er
Add a
README describing sm
a
tch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
dd
sc
r
ipt
t
o f
i
nd NULL dereferences
b
etween functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
Fix usage m
e
ssage
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check for malloc() as wel
l
as
kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix s
e
g
f
a
ult when han
d
ling implicit
l
y d
e
clared f
u
ncti
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Warn when we don't
a
cquire
l
ocks whe
n
calling
certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Car
p
enter
T
ry (and
fail) to find memory
l
e
a
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
an Ca
r
pe
n
ter
A
l
most pri
n
t a message w
h
en you come to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
ar
p
enter
Add check to loo
k
for double fre
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arpenter
Ad
d
check
i
ng for lock_kernel()/unlock_ker
n
el(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make check_locking ch
e
c
k
both spin
l
ocks and semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new f
u
nction slist_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
r
p
ent
e
r
If t
h
ere is an i++ then the value
o
f 'i'
is undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
A
d
d
a new check_locking s
c
ript that
c
hecks spinlo
c
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
Save the possible s
t
ates
i
n
stead of just m
e
rgin
g
th
e
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an
Carpenter
Ig
n
ore emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge branch 'master' into pools5
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We could save some
m
emory
by not
allocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
Add a comment show
i
ng wh
e
re the tests
a
re supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
r
penter
This is le
f
t over from October as pa
r
t
of t
h
e implie
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
Add
g
et_
p
ossible_sta
t
es
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff left over
f
r
om Octob
e
r
.
Impli
e
d
p
o
ols work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Ca
r
p
enter
We
c
ould save
s
ome
m
emory by
not allo
c
ating
n
e
w memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memo
r
y leak
.
Add
more co
m
m
e
n
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add
a
me
r
ge hoo
k
.
Handle the situations l
i
ke:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
strcmp() doesn'
t
acc
e
p
t
NULL ar
g
uments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an
C
arpenter
rename two f
u
nctions: get_va
r
iable_from
_
e
x
pr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_varia
b
le_from_expr() uses a static buffer and
y
ou
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a check_tem
p
late
.
c exa
m
ple script that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get_al
l
_stat
e
s() not
se
g
fault
e
very ti
m
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_value() to return neg
a
ti
v
e
values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only
e
ver pa
s
s on
e
paramet
e
r into
g
et_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nter
Fix
g
et_all_stat
e
s()
to match the function
definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpente
r
R
em
o
ve add_state
(
)
a
nd st
a
te_d
e
f
i
ned() defi
n
itions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carp
e
nter
Clean up
.
Fix l
e
ak
.
M
y
pro
b
le
m
is
th
a
t I don't und
e
rstand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpenter
Initial commit of
th
e
"implied sta
t
e pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Ca
r
penter
Do
h
.
We haven't been using s
m
atch_extra f
o
r a
w
hile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an Ca
r
penter
G
et 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 Carpente
r
Make
goto_st
a
ck
s
tatic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
penter
Speed up m
e
rge_
s
list now that the slists a
r
e ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carp
e
n
t
er
Insert stuff onto list
s
in
a
so
r
ted
o
rder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Ca
r
pen
t
er
Del
e
te an unused f
u
nction merge_sta
t
e_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix: if (
*
foo) { (*f
o
o)->
b
ar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmallo
c
() an
d
friends don't always return a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan
Carpenter
The
chec
k
s from here
got merged into
c
heck_null_
d
eref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
a
rpente
r
M
o
ve the stuff from c
h
eck_
d
er
e
fed_p
a
rams
.
c into
c
heck_nul
l
_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
an Carpenter
Fix bug in or_sl
i
st_
s
t
a
ck()
.
if (a && b) w
a
sn'
t
b
eing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan
C
a
rpent
e
r
Add a
h
o
ok a
t
the end of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
er
Forgot another str
i
p_expr() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
penter
H
andl
e
assignmeents i
n
s
ide
c
onditions b
e
tter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
n
t
er
On
l
y prin
t
something for a-
>
foo and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpen
t
e
r
Ignore
a
rray declarations
.
T
h
ose can't
be NUL
L
obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next