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 function __set_true_false_sm()
2008-10-17
Dan
Ca
r
pen
t
er
Add
a
m
e
rge hook
.
Handle th
e
situations l
i
k
e:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpe
n
ter
s
tr
c
mp() doesn't
accept NULL arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
rename two functions:
ge
t
_variable_f
r
om
_
expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
enter
get_va
r
iabl
e
_from_expr
(
) uses
a static buffer
and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a
check_templa
t
e
.
c ex
a
mple scrip
t
that lo
o
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpente
r
Make get_all_states
(
)
not
segfault every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get
_
v
al
u
e() to return neg
a
tive val
u
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
We only ev
e
r pass one
p
a
r
a
m
eter
i
nt
o
g
et
_
value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
i
x
g
et_all_
s
t
a
tes() to match the
fu
n
ction
d
e
f
inition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
Remove add_state() and sta
t
e_de
f
ined() def
i
n
i
t
i
on
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean
up
.
Fix leak
.
M
y
problem i
s
that I d
o
n't under
s
tand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
an
Car
p
e
n
te
r
Initial commit of the
"
i
m
plie
d
state p
o
ols
"
stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
enter
Doh
.
We h
a
ven't
b
een using smatch_extra f
o
r a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carp
e
nt
e
r
Get rid of p
a
th_
h
istor
y
.
It's never
going to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpenter
Make
goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpenter
S
p
e
ed up merg
e
_slist now
that th
e
slist
s
a
re ord
e
red
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Ins
e
rt stuff onto lists in
a
sort
e
d ord
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
D
elete an
un
u
sed
f
unction merge_state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carp
e
nte
r
fix: if (*foo) { (*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n Carpenter
kmall
o
c() and
friends don'
t
a
lways return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan C
a
rpenter
The
ch
e
cks from here got merged into ch
e
ck_
n
ull
_
deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n Carpe
n
t
e
r
Move the stuff fr
o
m check_derefe
d
_
p
a
r
ams
.
c into check_nu
l
l_
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpente
r
F
ix bug in
or_slist_stack(
)
.
if (a && b) wasn't bein
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Da
n
Carpenter
A
dd a h
o
ok at the e
n
d of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgot another s
t
rip_expr
(
) ca
l
l
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpe
n
ter
Handl
e
assignmee
n
ts i
n
side c
o
nd
i
tion
s
b
etter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carp
e
nter
Only print somethi
n
g for
a->foo a
n
d not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
D
a
n Carpenter
Ignore
array
dec
l
aration
s
.
Those can't b
e
NULL ob
v
iousl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carp
e
nter
Make
cur_slist stat
i
c
.
It's on
l
y us
e
d in
smatch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an Ca
r
pen
t
e
r
Wh
i
te s
p
ac
e
chan
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use merg
e
_slist() ins
t
ead
of trying to ha
n
d
le it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n
C
arpent
e
r
__p
r
o
c
ess_conti
n
ues() is supposed t
o
be basically
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpe
n
t
er
New smatch_ignore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan C
a
r
p
enter
(f
o
o)
=
1
is t
h
e
s
a
me
a
s fo
o
= 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an
Car
p
enter
Gen
e
r
alize stip_casts()
.
It's n
o
w called s
t
rip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
an C
a
rpent
e
r
I
gnore
c
asts
.
fo
o
((int *)&bar) is t
h
e
same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Cr
e
a
ted show_st
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpen
t
er
Ignore stuf
f
lik
e
f
o
o
.
b
a
r
.
W
e only
care about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What happens before is that par
a
meters would
g
et assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Missed a crashing bug in the int =>
struct conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I
can't bel
i
e
v
e
I was doi
n
g s
t
acks wro
n
g this whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Ca
r
pen
t
er
Change
d
sm
a
t
c
h stat
e
from being an int to bei
n
g pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpent
e
r
I
want to reu
s
e the
name smatch_
s
tate
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
e
n
ter
Redo t
h
e nu
l
l path t
h
i
ng
.
So long
as ther
e
i
s
one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
C
lean up
.
Complicated is j
u
st a bo
o
lean
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpen
t
er
Arrays are complicated so they shouldn't
b
e
r
eturne
d
by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
If we call set
_
state f
r
o
m
inside
a co
n
d
ition then i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
C
arpenter
If
the point
e
r is in
i
tiali
z
e
d
to
n
on-null then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
D
a
n Carpenter
ig
n
ore
t
he smat
c
h binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
When we me
r
ge 2 slists we need to dea
l
with t
h
e case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpen
t
er
Clean
ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Car
p
enter
Add nullify the
p
at
h
w
hen you ha
v
e for(
;
;)
;
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Ca
r
pe
n
ter
Merg
e
branc
h
'
l
s' i
n
to ultra
t
mp
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Carpenter
Merge bran
c
h 'unnullify' into
ls
commit
|
commitdiff
|
tree
2008-09-13
D
a
n
Carpe
n
ter
Lots
o
f do while(0) loops
d
on
'
t call bre
a
k so it
d
oesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
rpenter
Re
m
o
ve unneeded che
c
k
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
Fix or_slist_stack()
.
B
e
f
o
r
e
it j
u
st sav
e
d
one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
cra
p
cr
a
p
crap
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Cl
e
a
n
ups and add some
__unn
u
l
l
ify_path stuff
.
Hop
e
fully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
a
rpenter
Sma
l
l cle
a
n
u
p
.
goto_stack shoul
d
only be use
d
in smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Car
p
e
nter
C
l
ean
u
ps
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
Carpenter
Fix bu
g
s
av
i
n
g
the fals
e
_
o
n
ly
s
tack
.
Befo
r
e
code like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpent
e
r
This is
t
he start of
the smatch_extr
a
stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carp
e
n
ter
Fi
x
overwrite_slist()
so it ta
k
es
a pointer to a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an Carp
e
nter
Make smat
c
h_extra d
e
pend o
n
sm
a
tch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carpent
e
r
M
o
ve is_zero() t
o
s
m
atch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
F
ix a big bug
.
g
e
t_state
_
sl
i
st
(
) was alw
a
ys gettin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpen
t
er
Merge
.
.
/
.
.
/smatch/dev
e
l
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
p
enter
Merge br
a
nch
'
devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carpente
r
Sa
v
e the pre
con
d
iti
o
ns inside t
h
e
conditio
n
s
s
o that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
The mai
n
chan
g
e
here
w
as to c
o
m
pl
e
tel
y
r
ew
r
ite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
D
a
n Carpent
e
r
Break
things out in
t
o functi
o
ns a bit
.
Clean
ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpe
n
ter
Handle whi
l
e and
f
or loops slightly better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I
rem
o
ved nullify_path() earli
e
r but that was a
m
i
s
t
ak
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I don't think the speci
a
l_kernel_
m
acros
(
) function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
Add a
f
unction
t
o
d
o a
s
t
rcmp() with a symb
o
l name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
Remov
e
everythi
n
g to do with path_
i
d
'
s
.
I couldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
a
r
penter
Replace
the va
r
iable
_
_neg
a
t
e
wi
t
h the f
u
nction __nega
t
e()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
C
arpen
t
er
Small clean up
.
Move the pas
s
ing
t
he
w
ho
l
e
c
ondition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
C
rap
.
I meant to
m
er
g
e this
ear
l
i
er wh
e
n
I d
i
vided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpe
n
ter
A
d
d a
c
omment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
Moved all the log
i
c
f
or ha
n
d
l
i
ng condit
i
ons into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Oop
s
.
I guess I del
e
ted the wrong li
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
pe
n
te
r
D
on
'
t
pass t
h
e contents of size
o
f() to the client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Improve how the debug
i
nfo for
m
e
rging states ge
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carp
e
nter
T
he m
a
in thing is t
o
handle zero
c
omparisons b
e
tter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n
Carpenter
Remove unneeded co
d
e
.
This st
u
ff is handled
in smatch_
f
low
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carpenter
We need to be
able t
o
b
r
e
a
k down (foo
!
= 0) for BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
Carpen
t
er
Identify f
o
r
(;;) type loops as foreve
r
loops
.
Th
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
A
dd support for BU
G
_
O
N
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
What
I
've
seen is
s
t
u
ff
like thi
s
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpe
n
ter
Anything
that we
d
on't handle is obviously com
p
licated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
Me
r
ge branch
'
devel'
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
Add a
c
omment to get_variable_from_exp
r
_
si
m
ple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an
C
a
rpe
n
ter
Add
a
c
o
mm
e
nt to
g
e
t_variable_f
r
o
m_expr_simple(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
The nullify_path() here is a b
u
g
.
It over-writes all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
__print_cur_slist() is a useful fu
n
ction
f
or debugg
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
If you
have someth
i
ng l
i
ke
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
U
p
d
a
t
e the line numbe
r
s f
o
r each
s
tatem
e
nt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpen
t
e
r
Change
t
he merge rules for custom
m
erge
s
cripts so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next