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 free_trackers_and_list() and free_tracker_list() functions.
2009-01-28
D
an Carpe
n
ter
I
g
nor
e
em
a
cs ga
r
bage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an Carpenter
Merge branch 'master' into pools5
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpenter
Add a
comment sho
w
i
n
g
w
h
ere the test
s
are su
p
p
o
sed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpent
e
r
This is left over from O
c
t
ober as part of the implie
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add get_
p
o
s
si
b
le_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
C
a
rpente
r
S
tu
f
f left
over from O
c
tober
.
Implied p
o
ol
s
work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carp
e
nter
We c
o
uld sa
v
e
some memory
b
y not allocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Da
n
Carpenter
Fix
m
emory leak
.
Add more comm
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
Add a merge ho
o
k
.
Handle the situations
like
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpe
n
ter
st
r
cmp(
)
d
o
e
s
n
'
t accept N
U
LL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
rpenter
rename tw
o
func
t
ions: ge
t
_
varia
b
le_from
_
expr_simpl
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpent
e
r
get_vari
a
b
le
_
fro
m
_expr() uses a sta
t
ic buffer and yo
u
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Cre
a
te a
c
h
e
ck_template
.
c example script that
l
ooks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an
C
arpen
t
er
Mak
e
get
_
all_states() not segfault
e
very
t
ime
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Ca
r
penter
Fix get_value
(
) to retu
r
n n
e
gat
i
ve value
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only e
v
er pass
o
n
e
p
a
rameter into get_
v
al
u
e()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
Fix get_
a
ll_st
a
tes()
t
o match the fu
n
ction definit
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
a
r
penter
Remov
e
add
_
state() and state
_
defin
e
d()
d
ef
i
ni
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Carpenter
Clean up
.
Fix leak
.
My problem
i
s tha
t
I do
n
't
u
nderstand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
an Carpenter
Initial commit of t
h
e "implied state pool
s
" s
t
uff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Car
p
enter
Doh
.
We haven't been
u
sing sma
t
c
h_
e
xtra
f
o
r a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
ent
e
r
G
e
t rid of path_history
.
It's ne
v
er goi
n
g to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an
C
arpe
n
ter
Mak
e
go
t
o
_
s
t
ack stat
i
c
.
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpe
n
t
er
Speed up merge_slist now that th
e
slists ar
e
ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Inse
r
t stuff onto lis
t
s in a sorte
d
order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Carpenter
Delete an
u
nused fu
n
ction m
e
rg
e
_state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
D
a
n
Ca
r
pent
e
r
fix: if (*foo) {
(
*foo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n Carpenter
kmal
l
oc() and friends don't always return a no
n
-
n
ull
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan
Carpente
r
The c
h
ecks
from here got
merg
e
d
into check_n
u
ll_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move
t
he
s
tu
f
f fr
o
m check_d
e
refed_params
.
c into
check_n
u
l
l
_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
F
ix bu
g
in or_slist_s
t
ack()
.
if (a && b) wasn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add a
hook
a
t the e
n
d of a fi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
enter
Forgot ano
t
her stri
p
_e
x
pr() ca
l
l
.
.
.
:
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n
C
arp
e
nter
H
a
ndle
assign
m
e
ents inside condition
s
better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpe
n
te
r
Only print something for a->foo and
n
ot a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Da
n
Carpen
t
e
r
Ignore array declar
a
t
i
ons
.
Those can't be
NU
L
L obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make cur_slist static
.
I
t
'
s
only u
s
ed in smatch_state
s
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
W
h
ite space changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpenter
Use merge_slist() instea
d
o
f tr
y
ing to handle
i
t yo
u
r
sel
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
arpe
n
te
r
__proc
e
ss_cont
i
nues() i
s
s
upposed to be b
a
sic
a
lly
t
he
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New smatch_ignore
.
c
f
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n
C
a
r
p
e
nter
(foo) =
1
is the same as foo
= 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generalize
stip_casts()
.
It's
n
ow called
strip
_
expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpe
n
ter
Ignore casts
.
foo(
(
int *)&bar)
i
s the same as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
an
C
a
r
penter
C
reated
s
h
ow
_
state
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
n
ter
Ignor
e
st
u
ff li
k
e foo
.
bar
.
We
o
n
ly ca
r
e about
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
pent
e
r
What happens before
is that parameters
w
ould
get assi
g
ned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpent
e
r
Missed a cras
h
ing bug in the in
t
=>
s
tr
u
c
t
convers
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpe
n
ter
I
can't bel
i
eve I was doing stacks wron
g
this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Ch
a
nged smatch state
from being an in
t
to being p
o
inter
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I
w
ant to reuse the name
smatch_state
.
The curren
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
R
e
do the null path thing
.
So
l
ong as
t
here
is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpenter
Clean up
.
Com
p
l
i
cated is just a bool
e
an
.
Set i
t
to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
arpenter
Merge branch
'
d
e
v
e
l'
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
en
t
er
S
a
ve the
p
re conditions inside the conditions
s
o th
a
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
The main
c
hange
h
ere was to
completely rewr
i
te
how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Break thin
g
s out into functions
a
bit
.
Clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Handle whil
e
an
d
for loops slightly b
e
tter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Da
n
Carpenter
I
r
e
move
d
null
i
fy_pat
h
()
e
arlier but
that
was a mi
s
ta
k
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
I
d
o
n
't thi
n
k
the
specia
l
_kernel_m
a
cros() function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Ad
d
a f
u
nction
t
o
do a
strcmp() with a s
y
mbol nam
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n C
a
rpente
r
Remove everything to do with
p
ath_id's
.
I
couldn
'
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
R
ep
l
ace the
v
ar
i
able
_
_negate with the
function __n
e
gate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Smal
l
clean
up
.
Mov
e
the p
a
ssin
g
t
h
e whole con
d
ition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
enter
C
r
a
p
.
I
meant to merge
t
h
i
s earlier whe
n
I divi
d
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
Moved
all the logic for handli
n
g c
o
nditions into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Oo
p
s
.
I guess I deleted the
wrong list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
Don't
p
ass the
c
o
ntents o
f
sizeo
f
() to the
c
li
e
nt
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Carpe
n
ter
Improve how the debug
i
nf
o
for merging
s
t
ates gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
The main thin
g
i
s
to h
a
ndle
z
ero c
o
mparisons better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
a
rpente
r
Remove unneeded code
.
This st
u
f
f is handled in
smatc
h
_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We
n
eed to be able
to break
d
own
(foo
!
= 0) for BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpenter
I
dentify for(;;) t
y
pe
l
oops
a
s
f
o
rev
e
r loops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add support for BUG_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
W
hat
I
've see
n
is stuff like th
i
s:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Anyth
i
ng that we don't handle
is
o
b
v
io
u
sly complic
a
ted
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an
C
arpent
e
r
Merge
b
ranch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
Add a
c
o
mment to get_vari
a
ble_from_expr_s
i
m
p
le()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
Add a c
o
mm
e
n
t
t
o ge
t
_variable_fro
m
_ex
p
r_simp
l
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
Th
e
nullify_
p
a
t
h
() here is a bug
.
I
t
over-write
s
a
ll
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
__print_c
u
r
_
s
l
ist() is a u
s
ef
u
l
f
unc
t
ion
f
o
r
debugging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpente
r
If you have something
lik
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
D
an
C
arpe
n
ter
Upd
a
te the line numbers fo
r
each stateme
n
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
D
an
C
arpenter
Ch
a
nge the merge rules f
o
r
custom merge script
s
so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n Carpenter
Move SM_DEBUG t
o
a header so everyone ca
n
use it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arpente
r
Ad
d
a custom merge fu
n
ction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpe
n
ter
Update
t
he
line n
u
mber at
t
he very star
t
o
f the fu
n
ctio
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
D
a
n Carp
e
nter
Change th
e
debug o
u
tput a bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
D
a
n Carpenter
A
d
d a --debu
g
o
ption
.
It
h
as
t
o be
t
he f
i
r
s
t op
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carp
e
nter
Mak
e
sure the variable name is
N
ULL t
e
rminated o
t
herw
i
s
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Car
p
enter
S
mall clean ups
.
No c
h
ange in
b
ehav
i
o
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpenter
Th
i
s
i
s
an off by
o
ne error really
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
The sparse_i
n
iti
a
lize()
f
unct
i
o
n now takes
a
filelist
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree