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
This is left over from October as part of the implied pools work.
2008-12-21
Dan C
a
rpenter
Th
i
s is left ov
e
r
from October as part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
Carpenter
A
d
d get_possible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpent
e
r
Stuff left over
f
rom October
.
Impl
i
ed pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Ca
r
penter
We could s
a
ve so
m
e memory by not allo
c
a
t
ing new me
m
o
r
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan
C
arpenter
Fix memo
r
y leak
.
Add mor
e
com
m
e
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a
m
erge ho
o
k
.
Handle
t
he
s
i
t
u
ations
like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
strcmp() doesn't accept NULL argu
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rename two
f
u
nctio
n
s: get_va
r
iable_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
ge
t
_
v
a
riable_from_exp
r
() u
s
es a static bu
f
fer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
C
r
eat
e
a che
c
k_templa
t
e
.
c
e
x
ample script th
a
t
l
o
oks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpen
t
er
Make
get_all_
s
ta
t
es() not
s
egfault eve
r
y time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpente
r
Fix get_value(
)
to retur
n
negative
v
alues
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpe
n
ter
We only ever
p
ass one par
a
meter into get_
v
a
l
ue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get
_
all_states() to match
t
h
e
func
t
i
o
n
d
efinit
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carp
e
nter
Remove add_sta
t
e
(
) and state_defined() definiti
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
F
i
x leak
.
My problem i
s
that I d
o
n't unders
t
a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rp
e
nter
Initial commit of
th
e
"implied state pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
enter
Doh
.
We ha
v
e
n
't been using
smatch_extra for a
w
hi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
er
G
e
t ri
d
of path_history
.
It's never going to b
e
used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
M
ake
goto_stack stati
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
penter
Speed
up merge_slist
n
o
w that the s
l
ists are orde
r
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Carpen
t
er
In
s
ert st
u
ff onto lists in a sorted
o
rde
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
Carpenter
Dele
t
e an u
n
us
e
d
f
unction
m
erge_
s
ta
t
e_stack
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpent
e
r
fix: if (*foo) { (*foo)->
b
ar;
}
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Car
p
en
t
e
r
k
m
alloc() and f
r
iends don't al
w
ays return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan
C
a
rpenter
The
c
hecks fro
m
her
e
got me
r
ged into check_nul
l
_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move the stuff f
r
om check_der
e
fed
_
p
arams
.
c into
c
h
e
ck_nu
l
l_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpente
r
F
ix bug in o
r
_slist
_
s
t
a
ck
(
)
.
if (a && b) w
a
sn't be
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpente
r
Add a
hook a
t
t
h
e end
o
f a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carpenter
Forgot another
strip_expr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n
Carpe
n
ter
Handl
e
assignmeents inside condit
i
ons b
e
tter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpenter
Only print so
m
ethin
g
for a->foo a
n
d
no
t
a
.
f
oo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan
Carp
e
nter
Ig
n
ore array
declaration
s
.
Th
o
se can't be NULL ob
v
iously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Ca
r
pente
r
Ma
k
e
cur_slist sta
t
ic
.
It's only used in smatch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
W
h
i
t
e
space
c
hanges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpenter
Use
merg
e
_slis
t
() in
s
t
ead of trying to handle it yours
e
lf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
rpente
r
__process_cont
i
nues
(
)
i
s
supposed
t
o be ba
s
ically th
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan C
a
rpente
r
N
e
w sm
a
t
ch_ign
o
r
e
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpe
n
t
er
(f
o
o) = 1
i
s
the same
a
s foo
=
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpen
t
er
Gener
a
lize stip_casts()
.
It's no
w
calle
d
strip_exp
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
Ignore
casts
.
foo((int *
)
&bar) is
t
he s
a
me
as f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rpe
n
ter
Created show_st
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore
stuff like fo
o
.
bar
.
We only care a
b
out foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
an Carp
e
nte
r
What
hap
p
ens before is
that par
a
meter
s
would get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan C
a
rpenter
M
i
sse
d
a
c
r
a
s
h
ing bug in the int
=
> struct conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I
ca
n
't believe I was doing st
a
cks wrong this w
h
ole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpenter
Changed s
m
at
c
h state from bein
g
an int to being
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n C
a
rpenter
I
w
a
nt
to reuse t
h
e name smatch_state
.
T
he current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpenter
Redo the null path thing
.
So long as
ther
e
is
one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Cle
a
n up
.
Complica
t
ed is j
u
st a
b
oolean
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpenter
Arrays are complicated
s
o they shoul
d
n't be return
e
d by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Car
p
en
t
er
If we call
set_
s
t
a
te
f
rom inside a con
d
itio
n
th
e
n it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
C
arpenter
If the
p
oint
e
r
i
s initialized to non-null t
h
en set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
ig
n
ore the sma
t
ch binar
y
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Da
n
Carpenter
When we me
r
ge 2 slists w
e
n
e
e
d to deal with the
c
ase
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Add
nu
l
li
f
y t
h
e
p
at
h
whe
n
y
o
u
h
ave for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
an Car
p
enter
Merge branch
'ls
'
into ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan
Ca
r
p
enter
Mer
g
e branch 'u
n
nullify' into ls
commit
|
commitdiff
|
tree
2008-09-13
D
a
n C
a
rpenter
Lots
o
f do
while(0)
loops don'
t
call break so i
t
doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
rpen
t
e
r
R
e
move unn
e
eded
c
h
eck
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
a
n Carpenter
Fix or_slist_stack()
.
Before it just saved o
n
e stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Car
p
enter
c
rap crap cra
p
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Ca
r
pen
t
er
Clean
ups and
add some __u
n
nulli
f
y_path stuff
.
H
o
pe
f
ully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpent
e
r
Small cleanup
.
goto_
s
tack should only be us
e
d
in smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpente
r
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
Carpen
t
er
F
ix bug saving the fa
l
s
e_only stack
.
Befor
e
code like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
This is the start of
the smatch_extra stu
f
f
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix over
w
r
i
te_s
l
ist(
)
so it takes a pointer to a poi
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan C
a
rpente
r
Make smatc
h
_
e
xtra depend on smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Da
n
Ca
r
penter
M
o
ve is_zero() to smat
c
h
_
h
e
lper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
Carpe
n
ter
Fix a
b
i
g bug
.
g
e
t_state_s
l
is
t
() was alwa
y
s
g
ett
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpente
r
Merg
e
.
.
/
.
.
/sm
a
tch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
nt
e
r
Merge branch
'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
S
a
ve
the pre
c
onditi
o
ns i
n
side the condi
t
ions s
o
that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carpe
n
t
e
r
The m
a
in chang
e
her
e
was t
o
complet
e
ly r
e
wr
i
te how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Break things
o
ut i
n
to functions a bit
.
C
lean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Handle w
h
ile and
fo
r
loops sli
g
htly better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I removed nu
l
l
i
fy_p
a
th() earlier but
t
hat wa
s
a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Ca
r
pent
e
r
I don't th
i
n
k
t
he special_kernel_macr
o
s() f
u
nction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
A
dd a function to do a st
r
cmp(
)
wi
t
h a sy
m
bol
n
ame
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Remov
e
everything to do with path_id's
.
I cou
l
dn'
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Repla
c
e
the varia
b
le
_
_negate
w
ith the function __n
e
gate(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Small
clean up
.
Mo
v
e t
h
e pass
i
ng t
h
e whole
condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
C
rap
.
I meant
to
merge this ea
r
lier whe
n
I divi
d
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an C
a
rpenter
Add
a comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Moved all the logi
c
for hand
l
ing
c
onditions into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Oo
p
s
.
I guess
I
deleted the wrong
l
ist
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
enter
Don'
t
p
ass the contents of
s
izeof()
to
t
he client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n C
a
rpenter
I
m
p
rove how the
debug inf
o
for merging states gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Da
n
Carpenter
The
m
ain thing is to ha
n
dle zero
c
o
m
paris
o
ns bet
t
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
a
rpenter
R
emove unneeded code
.
This stuff
i
s
h
and
l
ed in smatch_flo
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
W
e
ne
e
d
to be able to
break dow
n
(fo
o
!
= 0
)
f
o
r BU
G
_
ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nter
Iden
t
ify
f
or(;;) type loops
as
f
o
r
ever
loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
A
d
d su
p
p
o
rt fo
r
B
U
G
_
ON
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
ente
r
What I've seen i
s
stuff like this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpenter
Anything that we don't handle is obviously
co
m
p
lic
a
ted
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n C
a
r
p
enter
Merge
bran
c
h
'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add
a
comment to get_variable_from_expr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
A
dd a comment to
get_
v
ariable_fr
o
m_expr_simple
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next