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
Da
n
Carp
e
nter
Ad
d
su
p
por
t
for "if (a?
b
:
c
)
{
.
.
.
"
t
ernary
cond
i
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan C
a
r
penter
Add some support f
o
r _s
p
in_trylo
c
k() and frien
d
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
an Carpenter
if (a |
|
b
) { a->foo
;
s
hould pr
i
nt an er
r
or
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
D
a
n Carpenter
Th
i
s prints
o
u
t err
o
r messages all the
t
i
me
t
hat are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
D
a
n Carpe
n
ter
Assignment always
sets &i
s
freed
to somet
h
in
g
e
l
se
l
ike
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Car
p
enter
Don't print cross_func err
o
rs if the
c
alled func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
R
e
move call to alloc_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Call the merge_h
o
ok() instead of
s
etting the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Oop
s
.
Meant to co
m
mi
t
this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpent
e
r
Add th
e
merge_hook() ba
c
k in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Clear t
h
e
r
e
turns lists at
t
he e
n
d o
f
e
a
ch fu
n
c
t
i
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
M
o
ve
t
he
implications c
h
eckin
g
to
after the scr
i
p
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
R
ewrite completely wi
t
h
n
e
w
goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Add s
o
me fu
n
cti
o
ns to handle tracker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
arpent
e
r
Don't
segfa
u
lt
all the time when ch
e
c
k
i
n
g fo
r
eve
r
loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test to s
e
e
if we are catc
h
ing cro
s
s functi
o
n
deref
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpe
n
ter
Use t
h
e ->possible state
s
a
nd r
e
move the merg
e
_ho
o
k()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
"while ((1
)
) {
"
i
s
a
f
orever lo
o
p
.
Call strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes to the ->
p
ossib
l
e
setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
M
erge branch 'mas
t
er' into null_d
e
ref
commit
|
commitdiff
|
tree
2009-02-17
Dan Car
p
e
n
ter
A
dd val
i
d
ation script
f
or check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Car
p
enter
Clean up
.
new->p
o
s
si
b
l
e
is always nul
l
here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
C
arpenter
Oops
.
-
>
possibl
e
s wasn't
g
e
tting set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
an Carpenter
Use strip
_
expr()
i
n split_co
n
dition
s
()
i
nstead
r
eproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
an Carpente
r
Add so
m
e more operations
t
o
get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
pen
t
e
r
Retu
r
n &m
e
rged instead of &undefin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpe
n
ter
mak
e
g
et_value()
r
et
u
rn a v
a
lue
for
bitwise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
Car
p
e
n
ter
Try a
g
ain removing states from
p
ools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
R
e
vert "Remove a
s
tate fro
m
it's ->pools when set_st
a
te
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpe
n
ter
Eliminate a
warni
n
g
.
Probably
t
h
e wrong w
a
y to d
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
C
omments
.
Ren
a
me sl
i
st_stack to na
m
e
d
_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n C
a
r
p
enter
Ha
ha
.
I
s
till
suck at
poi
n
t
e
rs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Cleanups
.
Com
m
en
t
s
.
Remove debugging code from fi
l
ter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
n
t
e
r
Clean up
.
Also preserve the ->pools in one p
a
th
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nt
e
r
Clean
u
p
g
et_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Remove __overwrite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
There
was
debugg
i
ng output that accidentally
got com
m
itte
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Remove a state f
r
o
m
it's ->pools wh
e
n
s
et
_
s
tate() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't d
e
lete the -
>
p
ool
s
on
m
erging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Ca
r
p
ente
r
Tr
y
und
e
r
s
ta
n
d the implica
t
ions fr
o
m compound co
n
ditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Crea
t
e
a
s
tate
&
merged
.
When we merge stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
Ok
.
This time smatch_implied _really_ doe
s
something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Ca
r
pe
n
ter
Ignore c
s
cope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small c
l
ea
n
ups
.
(Whi
t
e spac
e
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whi
t
esp
a
c
e change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
a
rpente
r
Add some mor
e
locking functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix im
p
lied pools
s
o that at least it does
so
m
ething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
It
s
e
e
med like tra
c
ker_list
w
ould
be useful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Ad
d
a R
E
A
D
ME describing sma
t
ch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpe
n
ter
Add s
c
rip
t
to find
NULL dere
f
erences b
e
t
w
een functio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
er
Fix usage
message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
C
heck for malloc() as
w
ell as km
a
lloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carp
e
nter
Fix
segfault
when handlin
g
implicitly declared functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Car
p
enter
Wa
r
n w
h
en we
d
on't acquire lock
s
when
c
a
llin
g
certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
an Carp
e
n
t
e
r
Try (and
f
ail) to find m
e
mory
l
e
ak
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpent
e
r
A
l
most pr
i
nt a messa
g
e
when you come to unreachabl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
dd check to
l
o
ok for doub
l
e
f
rees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpen
t
er
A
d
d
c
h
e
c
k
ing
for lock_kern
e
l()
/
unlock_kern
e
l()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Mak
e
che
c
k_locking c
h
eck both spinlocks and
s
emaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an
C
arpenter
Add a
n
e
w
function s
l
is
t
_has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
If there is
an i++ then
t
he
v
alue of 'i' is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
pen
t
er
Add a new che
c
k_locking
script that ch
e
cks
s
pinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
r
p
en
t
er
Save the possi
b
l
e
states instead
o
f just merging t
h
em
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carp
e
n
t
er
Ignore em
a
cs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
arpenter
M
e
rg
e
branch
'master
'
i
nto po
o
ls5
commit
|
commitdiff
|
tree
2009-01-20
D
a
n Car
p
enter
Fix likely() and unlikel
y
()
ha
n
dling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Add single q
u
ote
s
around th
e
var
i
able for co
n
s
isten
c
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We could sa
v
e so
m
e m
e
mory
by not allocatin
g
new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
C
ar
p
enter
Add a comment s
h
ow
i
n
g
wher
e
the
t
ests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is lef
t
over fr
o
m October
as part of the
i
mplie
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpenter
A
d
d ge
t
_possi
b
l
e_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff left
o
ver from Octo
b
er
.
Impli
e
d
p
o
o
ls w
o
rk
.
commit
|
commitdiff
|
tree
2008-10-19
D
a
n Carpenter
We c
o
ul
d
sa
v
e some memory by not
a
llocating ne
w
memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpe
n
t
e
r
Fix
m
emory leak
.
Add more comm
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
Add a merge hook
.
Han
d
le t
h
e situatio
n
s li
k
e:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
strcmp() doesn't a
c
cep
t
NUL
L
argume
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
r
e
name two functions:
ge
t
_variab
l
e
_
fr
o
m_expr_sim
p
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
get_
v
a
riable_from_expr() uses a static bu
f
f
er a
n
d you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
Create a che
c
k_templa
t
e
.
c exam
p
le s
c
ript
that loo
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make
get_
a
ll_states
(
) not segfau
l
t
e
v
ery time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_v
a
lue() t
o
r
e
tu
r
n n
e
gative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpente
r
W
e
only ever pas
s
o
n
e p
a
rameter into get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Car
p
enter
Fix get_al
l
_states() to match
t
he function de
f
inition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove add_stat
e
() and state_defined() defi
n
itions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpente
r
Clea
n
up
.
Fix
l
eak
.
My
p
roblem is that I
d
o
n
't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpenter
I
nit
i
a
l com
m
it of the "implied state
p
ools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpente
r
D
oh
.
We h
a
ven't be
e
n
usin
g
smatc
h
_extra f
o
r a
whi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpenter
G
et rid of path_h
i
story
.
It's
n
ever
going to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpenter
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed
up merge_slis
t
now that the slists are
o
rde
r
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Car
p
enter
Insert st
u
ff onto lists i
n
a
sorte
d
order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Carpenter
Dele
t
e an
unused
f
u
n
c
tion merge_state_stac
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpent
e
r
fix: if (*foo)
{
(
*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpe
n
ter
kmalloc()
and
f
riends don't always ret
u
rn a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan C
a
rpenter
The checks from here got merged
into
c
heck_n
u
l
l_de
r
ef
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Ca
r
penter
Move the s
t
uff
from ch
e
ck
_
deref
e
d_params
.
c i
n
to check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
F
ix bug in
or_s
l
is
t
_
stack()
.
if
(
a
&& b) wa
s
n
'
t being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan C
a
rpenter
Add a hook at
t
he e
n
d
o
f
a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgot ano
t
her strip_expr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpent
e
r
Hand
l
e
assignmeents inside co
n
ditions
better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next