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
Remove a state from it's ->pools when set_state() is called.
2009-02-11
Da
n
Carpen
t
er
Remove a state from it's ->
p
ools
when set_
s
ta
t
e() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Don't
d
elete the ->p
o
ols on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Tr
y
un
d
ers
t
and th
e
implicati
o
ns from compound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create
a
state &merged
.
When we
merge stuff it
i
sn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Ok
.
This
t
ime smatch_implied _
r
ea
l
ly_ does somethi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Igno
r
e cscope fi
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
S
m
all cleanups
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whitespace chan
g
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
A
d
d some more loc
k
in
g
fu
n
c
ti
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Fix implied poo
l
s so that at least it does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
ent
e
r
I
t
se
e
med lik
e
t
r
acker_list would
be useful in a
lo
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpenter
Add a RE
A
D
ME describing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Ad
d
s
c
ript to find NULL der
e
ferenc
e
s between
function
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
er
Fix usage
m
ess
a
ge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Check for malloc() as wel
l
as km
a
lloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
t
er
Fix
s
e
g
fau
l
t
when ha
n
dling implici
t
ly declare
d
func
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpent
e
r
Warn w
h
e
n
we
d
on't ac
q
uire l
o
cks when
cal
l
ing certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (and
fail) to find m
e
m
o
ry leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpe
n
ter
A
l
mos
t
print a message
w
hen you come to unreachabl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add check
t
o look for double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carp
e
nte
r
A
dd che
c
king for lock_kernel()/un
l
o
c
k_k
e
r
nel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
M
ake ch
e
ck_locking check both spinlo
c
ks and semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpente
r
Add a new f
u
ncti
o
n slist_has_stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If t
h
ere is an
i++ then
t
he v
a
lue of '
i
' is unde
f
ined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
Add a new check_locking script
th
a
t checks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpe
n
ter
Save
the possible s
t
at
e
s
i
nstead o
f
just m
e
rging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carpenter
Ignore emacs garba
g
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan C
a
rpenter
Merge branch 'master
'
int
o
pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Fix l
i
kely()
a
nd unlikely() handl
i
ng
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan
C
arp
e
nter
Add
s
ingl
e
qu
o
t
es aro
u
nd the var
i
a
ble
for c
o
nsis
t
ency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We could sav
e
some memory by
no
t
alloca
t
ing new mem
o
r
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpen
t
er
Add a comment s
h
owing where t
h
e tests are su
p
posed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
C
a
rpenter
This is
l
eft ov
e
r
f
rom
Octob
e
r as part of the im
p
lied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carp
e
nt
e
r
Add get_possi
b
le_
s
ta
t
es()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
St
u
ff left ove
r
from
Octo
b
er
.
Implied po
o
ls w
o
rk
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could save som
e
memory by no
t
allocati
n
g new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix m
e
mory le
a
k
.
Add more com
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a
m
er
g
e hook
.
Ha
n
d
l
e t
h
e situations lik
e
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
s
t
rcmp() doesn't accept
NULL arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
rename
t
wo functions: get_v
a
riable_from_
e
xpr_si
m
ple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
C
arpenter
get
_
variable
_
from_expr() us
e
s a static buffer and
you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
Cre
a
t
e
a
check
_
temp
l
a
te
.
c exa
m
ple scr
i
pt that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nter
Make g
e
t_all_states() not
s
egf
a
ult every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_value(
)
to r
e
turn nega
t
i
ve values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
We onl
y
ever pass one p
a
ramet
e
r
i
nto get_
v
alue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
te
r
Fix
g
et_all_
s
tates() to match the
functio
n
definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
Remove add_sta
t
e
() a
n
d st
a
t
e
_
d
efined() definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpenter
Clean up
.
Fix leak
.
M
y pro
b
lem is th
a
t I
d
on't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initial
c
ommi
t
of the "
i
mplied sta
t
e pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We h
a
ven't been us
i
ng s
m
a
t
ch
_
extra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Ca
r
pe
n
te
r
Get rid of
path_history
.
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 g
o
t
o
_
s
tack st
a
tic
.
commit
|
commitdiff
|
tree
2008-10-13
D
a
n
C
arpenter
Sp
e
ed up merge_slist
now th
a
t
t
he
s
lis
t
s
are
o
rdered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
a
r
penter
Insert stuf
f
onto
lists in a sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
p
e
nter
D
elete
a
n
un
u
sed f
u
nction merge_state_stack
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix:
i
f (*foo)
{
(
*foo)->ba
r
;
}
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpe
n
ter
kmalloc() and friends
d
o
n't always return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan
Carpenter
T
h
e
checks from here g
o
t mer
g
e
d
int
o
check_n
u
ll_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arpent
e
r
Move
the
s
tuff
f
rom check_d
e
r
e
fed_param
s
.
c into ch
e
ck_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix
bug
i
n or_slist_s
t
ack()
.
if (a && b)
w
asn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpen
t
er
Add a hook at the
e
n
d
of
a
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpenter
Forg
o
t anot
h
e
r stri
p
_expr()
c
all
.
.
.
:
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Handle assignmeents inside
conditions bette
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Ca
r
pe
n
t
er
Only print something for a->foo an
d
no
t
a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
I
g
nore
array declaratio
n
s
.
Those can't be
NULL
obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Da
n
C
arpenter
Mak
e
cur_slist static
.
I
t
's
o
nly used in s
m
at
c
h_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Carpenter
W
hite s
p
a
ce change
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpenter
Us
e
merge_
s
list(
)
instead
o
f t
r
ying to
handle it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
_
_
process_conti
n
u
e
s() is supposed to be b
a
sically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Ne
w
smatch_ignor
e
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carp
e
nter
(foo) = 1 is
the
s
am
e
as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generalize
s
tip_
c
a
s
ts()
.
I
t'
s
n
ow cal
l
e
d
strip_e
x
pr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpente
r
Ignore c
a
s
t
s
.
foo((int *)&bar) is the
same as fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arp
e
n
t
er
Created show_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Igno
r
e stuff like foo
.
bar
.
We only care ab
o
ut foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpen
t
er
What happens befor
e
i
s that par
a
m
ete
r
s w
o
uld get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
M
i
s
s
ed
a
c
r
ashing
b
u
g in the int =>
stru
c
t conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan C
a
rpent
e
r
I can't believe
I
was doing stacks w
r
ong this whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Car
p
ent
e
r
Changed smat
c
h sta
t
e
from b
e
ing an int to being poi
n
t
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Car
p
ente
r
I want to reuse the
n
ame smatch_state
.
The curren
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carp
e
nter
Redo the null path t
h
ing
.
So l
o
n
g
as there
i
s one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
a
r
p
enter
C
lean up
.
Complic
a
ted is just
a
b
o
o
lean
.
Set
i
t to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
A
rrays
are complicated so they
s
ho
u
ldn't be
r
e
t
u
rned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rpenter
If we call set_state from inside a con
d
itio
n
the
n
it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpenter
If
t
he pointer is initialized to non-null
t
hen set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
D
a
n Ca
r
penter
igno
r
e
the sm
a
tch binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpen
t
er
When w
e
merge 2 s
l
ists we need
t
o
deal with the c
a
se
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Da
n
Carpenter
C
l
ean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
an Carpente
r
Add nul
l
ify the path w
h
en
you have
f
or(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
a
n Carpenter
Merge branch '
l
s' into ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
rpente
r
M
erge bra
n
ch 'unnullify'
into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Lots of do while(0) loops
don't
c
a
l
l
break so it d
o
e
s
n
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
an Carpenter
Remo
v
e unneeded ch
e
ck
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan
C
arpente
r
Fix
or_sl
i
st_
s
tack()
.
B
e
fore it j
u
s
t
sa
v
e
d
one stac
k
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
c
r
ap crap crap
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
D
an Carpent
e
r
Clean ups and a
d
d
some __
u
n
n
ullify_path stuf
f
.
Hopefu
l
ly
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Small
cleanup
.
goto
_
stack
should only be used in smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
a
n
Carp
e
nter
C
l
ean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n Carpe
n
ter
Fix bug saving the false_only s
t
a
ck
.
Before
c
ode li
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpen
t
er
This is
the st
a
rt
of
the smatch_extra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
next