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
Fix likely() and unlikely() handling.
2009-01-20
Dan
C
a
r
p
ente
r
Fix likely()
and unlikely() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
A
d
d
sing
l
e quotes
a
round
t
he variable for
con
s
istency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Da
n
Carpenter
We could save some me
m
ory
b
y not a
l
locating
n
ew memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpent
e
r
Fix memory leak
.
A
dd
m
ore
c
omments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a
m
erge hook
.
Handle the
s
i
tuations
l
ike:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp() doesn'
t
acc
e
pt NULL argu
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
rename t
w
o fun
c
tions
:
get_var
i
able_
f
rom_expr_simp
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Ca
r
p
e
nter
get_
v
ar
i
abl
e
_fr
o
m_expr() uses
a
s
tati
c
b
u
ffer and
you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
C
arp
e
nter
C
reate a c
h
eck_te
m
pl
a
te
.
c
example sc
r
ipt th
a
t look
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
en
t
e
r
Make get_al
l
_states() not segfault every t
i
me
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
Fix get_value() to return negative
v
alues
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Ca
r
penter
We onl
y
e
v
er
pass
o
ne pa
r
a
m
eter into
get_va
l
ue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fi
x
get_al
l
_states() to mat
c
h the function definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpent
e
r
Re
m
ov
e
add_state() and state_defined()
definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n
Carpenter
C
lean up
.
Fix lea
k
.
M
y problem is tha
t
I don't unde
r
stand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initial
commit of the "im
p
lie
d
st
a
te pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
enter
Doh
.
W
e
h
av
e
n't been
u
s
i
n
g smatch_e
x
t
r
a
for
a
while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
penter
Get rid of path_histo
r
y
.
I
t
'
s
never
g
o
i
ng to
be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
a
rpenter
M
ake
goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Sp
e
ed
u
p
merge_sl
i
st no
w
t
h
a
t the slists are
ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Inse
r
t
s
tuff onto lists in
a
s
o
rted ord
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan C
a
rpen
t
er
Del
e
t
e
an
unu
s
ed function
m
e
rge_state
_
s
t
ack
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix: if (*foo)
{ (*
f
oo)->b
a
r; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n Carpenter
k
m
alloc() a
n
d
frien
d
s don't always ret
u
r
n
a
n
on-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpente
r
The c
h
eck
s
from
h
ere
got merge
d
into
check_
n
ull_de
r
ef
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arpe
n
ter
Move t
h
e st
u
ff from check_deref
e
d_p
a
r
a
ms
.
c into
check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
C
arpenter
Fix bug i
n
o
r
_sli
s
t_s
t
ack
(
)
.
if (a && b)
w
a
sn'
t
bein
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Da
n
Carp
e
nter
Add a hook at the end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carpenter
Forgot ano
t
h
er strip_expr() cal
l
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
penter
Handle assignmeents insid
e
c
o
nditions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpe
n
ter
Only print some
t
hi
n
g for a->foo and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan
Carpenter
Ig
n
o
r
e array declaration
s
.
Those
can
'
t be NULL ob
v
io
u
sl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Mak
e
cur_s
l
is
t
s
t
atic
.
It's onl
y
used in smatch_st
a
tes
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n
Ca
r
penter
White
s
pace changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
e
n
ter
U
s
e merge_slist()
i
nstead
of trying to ha
n
dle it yo
u
r
self
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carp
e
n
ter
__process_continues(
)
is
s
uppo
s
ed to
be basical
l
y
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
N
e
w smatc
h
_ignore
.
c f
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpenter
(foo) = 1 i
s
the same as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpenter
Gen
e
rali
z
e
s
tip_casts()
.
I
t
's now called strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpenter
I
gnore
ca
s
ts
.
foo((int
*
)
&
b
ar) is the same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpenter
Cre
a
ted show_
s
ta
t
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore stuff
like fo
o
.
ba
r
.
We only care
a
bout
foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
an Ca
r
penter
What happ
e
ns befo
r
e is that
p
a
r
ameters would get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
C
a
rpen
t
er
Missed
a
crashing bug in th
e
i
nt =
>
struct convers
i
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I
c
a
n't believe I was
doing
s
tacks wrong
t
his whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Car
p
ent
e
r
Change
d
smatch state from be
i
ng
an
i
nt
t
o be
i
ng poi
n
t
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpenter
I wa
n
t to reus
e
t
h
e
na
m
e smatch_state
.
T
he curr
e
nt
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
Redo the null path thing
.
So long as there i
s
one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpenter
Clean up
.
Complicated is
j
ust a boolean
.
Set i
t
to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
r
p
ente
r
Arrays are compl
i
ca
t
ed so
t
hey shouldn't
b
e returned
b
y
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carp
e
nt
e
r
If we call set_s
t
a
te
f
rom
i
nside a cond
i
t
ion then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If the pointer
is initi
a
lize
d
to
non-n
u
ll then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpen
t
er
ignore the smatch binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpent
e
r
When
w
e
merge 2 slist
s
w
e
need to de
a
l
w
ith t
h
e case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Da
n
C
arp
e
nter
Cle
a
n
ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
Carpent
e
r
Add nu
l
lify the p
a
th
when
y
o
u
have for
(
;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
a
n Carpenter
Merge
branch 'ls' into
u
ltratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Ca
r
p
e
nter
Merge branch 'unnullify'
into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Lots of do while(0) loop
s
don'
t
call break s
o
it doe
s
n
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
an Carpenter
Remov
e
unneeded ch
e
ck
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Car
p
enter
Fix
o
r_
s
list_stack()
.
Before it ju
s
t s
a
ved one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpente
r
crap cra
p
crap
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Clean ups and add some __unnullify_path stuff
.
Hopefully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpen
t
er
Small
cl
e
anup
.
goto_stack sh
o
uld on
l
y b
e
used in smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Da
n
C
arpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
Carpent
e
r
Fix bug
s
a
ving
t
he fa
l
se_on
l
y sta
c
k
.
Before c
o
de like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
This is
the s
t
art of
the smatch_extr
a
stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix overwri
t
e
_sl
i
st() so
it ta
k
e
s a pointer to a pointe
r
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an Carpenter
Make smatch_extra depe
n
d
on smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan
Carpenter
Move is_zero() t
o
smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
Carpenter
F
ix a
big b
u
g
.
get_state_s
l
ist() was alw
a
ys getting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge
.
.
/
.
.
/sm
a
tch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carpenter
M
e
rge br
a
nch
'dev
e
l'
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Ca
r
pente
r
Save
the pre
c
on
d
itions inside the conditions
so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carpenter
Th
e
m
a
i
n ch
a
nge here
w
a
s to completel
y
rewrite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carp
e
nter
B
r
e
a
k things out i
n
t
o
f
unction
s
a bit
.
C
lean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
D
an Carp
e
nter
H
andle wh
i
le an
d
f
or
l
o
op
s
slightly bet
t
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I removed nullify_path() earlier but that was a
m
istake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
I don'
t
think the spec
i
al_kernel_
m
acro
s
() fu
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpenter
A
d
d a fu
n
ct
i
on t
o
do a strc
m
p
()
w
ith a symbol
n
ame
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpent
e
r
Remove everything
t
o do
w
ith path_id's
.
I co
u
ldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Car
p
e
n
t
er
Rep
l
ac
e
the va
r
ia
b
le __
n
egat
e
w
i
th t
h
e function __negat
e
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n C
a
r
p
enter
Small clean
up
.
Move the passing t
h
e w
h
ol
e
condi
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Crap
.
I meant to merge thi
s
ea
r
lie
r
w
h
e
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 Carpenter
Move
d
all the
l
ogic fo
r
handling
c
ondit
i
o
ns into
a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Oops
.
I g
u
ess I deleted the wrong list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpe
n
t
e
r
Don
'
t pass the contents
o
f sizeof() to the client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
an Carpent
e
r
Improve how the debug
info
f
o
r
merging
states get
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
The ma
i
n
th
i
n
g
is
t
o h
a
ndle
z
e
ro compa
r
isons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpent
e
r
Remove u
n
need
e
d
code
.
This stuff is handled
i
n smatch_fl
o
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
a
rpent
e
r
We need to be able to b
r
eak down (foo != 0)
f
or BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpen
t
er
Identi
f
y fo
r
(;;) type loops as f
o
rever lo
o
ps
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
Add
support for BUG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nter
What I've
s
een is stuff like this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
Carpenter
A
nything t
h
at we
don't handle is obvi
o
usly compl
i
cate
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Car
p
e
n
ter
Merge branch 'devel
'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
Add a comment to
g
et
_
var
i
able_fr
o
m_expr_simp
l
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carp
e
nter
Add a com
m
ent to get_variable_from_expr_s
i
m
p
le()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
The n
u
llify_path() h
e
re is a bug
.
I
t
over-writes all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next