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
Insert stuff onto lists in a sorted order.
2008-10-11
Dan Ca
r
p
ent
e
r
Inse
r
t stuf
f
onto lists in a sor
t
ed order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n
C
arpenter
Delete an unused function merge_sta
t
e
_stack
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
D
an
C
a
r
penter
fix: if (*foo) { (*foo)-
>
b
a
r
;
}
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Da
n
Carp
e
nter
kmalloc() and friends don't
always ret
u
r
n
a n
o
n-nu
l
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan C
a
rp
e
nter
The checks fr
o
m he
r
e got mer
g
ed into
c
h
eck_
n
ull_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n C
a
rp
e
nter
Move t
h
e stuf
f
from che
c
k_derefed_param
s
.
c
into
che
c
k_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carp
e
n
t
er
Fix b
u
g
i
n or_slist_stac
k
()
.
i
f
(a
&
& b)
wa
s
n't
b
eing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
D
a
n
C
arpenter
Add a h
o
ok at the end of a
f
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpente
r
F
o
rgot another stri
p
_expr() c
a
ll
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Handle assi
g
n
meents
i
nside
c
on
d
itions bet
t
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Only pri
n
t some
t
h
i
ng f
o
r a->foo an
d
not
a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Ca
r
p
e
nter
Ignore array de
c
larations
.
T
hose can't
b
e NULL o
b
viou
s
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Ca
r
pen
t
er
Make
cur_slist
s
tati
c
.
It's only used in smatch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpe
n
ter
White space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpen
t
er
Use
m
erge_slist() inste
a
d of tryi
n
g to h
a
ndle it you
r
self
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Ca
r
pen
t
er
_
_
p
rocess_continues() is supposed to be basi
c
ally the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n
Carpenter
Ne
w
smatch_ignore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpente
r
(
foo)
= 1 is the sam
e
a
s foo =
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n
C
a
r
penter
G
e
ne
r
alize st
i
p_cas
t
s
()
.
It's
n
o
w
c
alled stri
p
_
e
xpr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
I
gnore casts
.
foo(
(
in
t
*)&bar) is th
e
sa
m
e as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
penter
Created show_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore st
u
ff li
k
e foo
.
bar
.
We
o
n
l
y care about
fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
enter
What happens befo
r
e
is that para
m
eters would g
e
t assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
a
rp
e
n
te
r
Missed a cras
h
ing b
u
g in the int => str
u
ct conversio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpente
r
I
can't
b
elieve I was
doin
g
stacks wrong thi
s
whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Changed smatch state from being an
i
nt to being pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
I want to re
u
se the
name smatch_s
t
a
t
e
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rpenter
Redo
t
he null path thing
.
So long as th
e
re is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
C
l
ean up
.
Compl
i
c
ated i
s
just a boolean
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Arrays are c
o
mp
l
icated
s
o they s
h
o
uldn'
t
be
r
eturned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
Carpenter
I
f
we call s
e
t_
s
tate from inside
a
c
ondi
t
ion then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
C
arpenter
If the poin
t
er is
i
nitial
i
zed to
non-null then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Da
n
Carpenter
i
g
n
ore the smatch binar
y
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan C
a
rp
e
nter
When we merg
e
2 slists we
need t
o
dea
l
with the case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan
C
arpent
e
r
C
lean
u
ps
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpe
n
ter
Add nulli
f
y the p
a
th when you have for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge branch '
l
s' into
u
ltra
t
mp
commit
|
commitdiff
|
tree
2008-09-13
D
a
n Carpenter
Merge branc
h
'u
n
nullify' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Ca
r
pent
e
r
Lo
t
s of do while(0) loops d
o
n't
c
al
l
break so it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
C
arp
e
nter
Remov
e
unneede
d
chec
k
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Car
p
enter
Fix or_slis
t
_stack()
.
Before it
just saved
one
stac
k
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
an Carpente
r
crap crap crap
.
do not u
s
e
.
commit
|
commitdiff
|
tree
2008-09-07
D
an Carpe
n
ter
Clean ups
a
nd add
some _
_
u
n
n
u
llify_path stuff
.
Hopefu
l
ly
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Ca
r
pent
e
r
Sma
l
l
clea
n
up
.
goto_stack
s
hould on
l
y be
u
sed in smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
arpenter
C
lean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
F
i
x bug sav
i
ng the
f
alse_only stack
.
Before code
li
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
This is the start o
f
th
e
smatch_ex
t
ra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix overwrite_slist() so it ta
k
es a pointe
r
to
a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
Carpe
n
ter
Make smatc
h
_extra
d
e
pend on smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan
Car
p
e
nter
Move
is_zero() to smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
r
p
enter
F
i
x a big bug
.
g
et_state_slist() was a
l
ways
g
etting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carp
e
nter
M
e
rg
e
.
.
/
.
.
/smatch/deve
l
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
an
Carpente
r
Merge br
a
nch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpenter
Sav
e
t
h
e
p
re con
d
i
tio
n
s inside
t
he conditions so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
a
rpenter
Th
e
main
c
ha
n
g
e
here was to c
o
mpletely r
e
wri
t
e
h
ow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Da
n
Car
p
enter
Break
things
o
ut into functions a bit
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan C
a
rpe
n
ter
Handle
w
hi
l
e and f
o
r loo
p
s slig
h
tly bet
t
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpen
t
er
I removed n
u
ll
i
fy_pat
h
() e
a
r
lier but that w
a
s a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
C
arpen
t
er
I d
o
n't think the special
_
kernel_macros() function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Add a function
to do a strcmp() with a symbol
n
a
me
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an
Ca
r
pen
t
er
Remov
e
every
t
hing to
do with path_id's
.
I couldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
Replace the variabl
e
__negat
e
with
t
he fu
n
ctio
n
__n
e
gate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpen
t
er
Small
c
lean
u
p
.
Move t
h
e
pa
s
si
n
g the whole conditio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Crap
.
I meant to merg
e
this ear
l
ier when I div
i
ded
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a comm
e
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Mo
v
ed all th
e
l
o
gic for ha
n
d
l
i
ng con
d
itions in
t
o a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
O
o
ps
.
I
gues
s
I d
e
leted
t
he wrong l
i
st
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Do
n
't pass the
c
o
n
tents of sizeof()
to the cl
i
ent
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Carp
e
n
t
er
Improve how the debug inf
o
f
or merging st
a
tes gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
The main th
i
ng
i
s
to handle
z
e
r
o compariso
n
s be
t
ter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Remove unneeded code
.
T
h
is stuff is han
d
l
ed in smatch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We nee
d
to be able to
b
reak down
(
f
oo != 0) for BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
Identif
y
for(;;)
t
ype
loops as
f
orever
l
oops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
Add support for
BUG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
What I'
v
e seen
i
s
stuff like this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
C
arp
e
nt
e
r
A
n
y
t
h
ing
that we d
o
n't handle is obvious
l
y complicated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
n
ter
Merge branch
'
d
evel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
A
d
d a com
m
ent to get_variable_f
r
om
_
e
xpr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
Ad
d
a comment
to get_variable_fr
o
m_expr_sim
p
le()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The nullif
y
_path() here is a bug
.
It over
-
write
s
all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
_
_
print_cur_sli
s
t()
i
s a useful fu
n
c
ti
o
n
for debugging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
If you have somethin
g
like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
an Car
p
e
n
ter
U
pdate the line nu
m
bers
f
or each
st
a
teme
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpe
n
t
er
Change the
merge rul
e
s
for custom mer
g
e scripts
so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpent
e
r
Mo
v
e SM_DEBUG to
a
head
e
r so ever
y
one
c
an use
it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
an
C
arpenter
A
d
d
a
cust
o
m me
r
ge functio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan
Carpe
n
ter
Update the
l
ine number at the very start of the
f
u
n
c
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan
Carpenter
Change
the debug
output a b
i
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan Carpenter
Add a --de
b
ug
option
.
It has
t
o be th
e
f
i
rs
t
opt
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
D
an Carpen
t
er
M
a
ke sure the vari
a
ble name is NUL
L
termina
t
e
d
otherwise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carp
e
nter
Small clea
n
u
ps
.
No change
in be
h
avior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Da
n
Ca
r
penter
This is an off
by on
e
e
r
r
or r
e
al
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
The
sparse_initi
a
l
i
z
e() fu
n
ction now takes a filelist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
Re
m
o
ve a
n
off by one
e
r
ror detect
i
ng the
end of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Ca
r
penter
P
a
tch i
t
with th
e
s
tuff from
the w
e
b
commit
|
commitdiff
|
tree
2008-08-05
D
a
n Car
p
e
n
ter
T
h
is i
s
an
unmodi
f
i
e
d
t
ar
ball
.
commit
|
commitdiff
|
tree