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
Almost print a message when you come to unreachable code.
2009-02-03
D
a
n Carpente
r
Almost p
r
in
t
a
message when you come to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add c
h
eck to look for do
u
ble f
r
e
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
enter
A
dd checki
n
g f
o
r
loc
k
_kernel()/unlock_k
e
rnel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
rp
e
n
ter
M
a
ke check_locking
che
c
k both spinlocks and semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new fun
c
t
ion slist_has_
s
tate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
If there i
s
an i++ then the va
l
u
e of 'i' is un
d
e
f
i
n
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nter
Add a new check_lo
c
k
ing scr
i
pt that
c
hecks
spinlock
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
S
ave
t
he possible states instead of just merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carp
e
nter
Ignor
e
emacs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
an
Carpenter
Merge bran
c
h 'master' into
pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
F
i
x
lik
e
l
y() and unlikely()
h
and
l
ing
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan
C
a
r
pe
n
t
e
r
Add single
q
uotes
arou
n
d the var
i
able
for consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We
c
o
u
ld save
s
o
me memory
by not allo
c
a
t
ing new m
e
m
ory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
enter
Add a c
o
mment showing where the tests
are sup
p
osed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
T
his is
left ov
e
r from October as part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
enter
A
dd g
e
t_possible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
Car
p
e
nter
Stuff
l
ef
t
over from
O
ctober
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
C
a
rpenter
We could save so
m
e memory by not
a
l
locati
n
g new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory leak
.
A
d
d
more
c
o
mme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a
mer
g
e hook
.
Handle the situati
o
n
s
like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
p
enter
strcmp() doesn
'
t accept NULL a
r
gume
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
r
e
name
two functi
o
n
s
: get_variable_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
C
a
rpent
e
r
get_variab
l
e
_from_expr() uses a sta
t
ic buffer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpe
n
ter
C
r
eate a check_template
.
c examp
l
e script that loo
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpente
r
Make get_all_states() not s
e
gfaul
t
e
v
ery t
i
me
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
ent
e
r
Fix get
_
valu
e
()
to return
negat
i
ve values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We onl
y
e
v
er pass one p
a
rame
t
er into get
_
value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpen
t
er
Fi
x
ge
t
_all_stat
e
s() to
m
atch
t
he function definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remo
v
e add_
s
tate
(
) and state_define
d
() defi
n
itions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpenter
Clean up
.
F
i
x leak
.
My
pr
o
b
l
em is th
a
t I don't under
s
tand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carp
e
nter
Ini
t
i
al
commit of the "implied
state pools" stu
f
f
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n
Carpenter
Doh
.
We haven't been using sma
t
ch_ext
r
a
fo
r
a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpenter
Get r
i
d of path_hi
s
tor
y
.
It's
n
ever
g
o
i
n
g
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
D
a
n Carpen
t
er
S
peed up merge_
s
list
n
ow that the sl
i
sts are or
d
ered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpen
t
e
r
Ins
e
r
t
stuff onto lists i
n
a sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Delete an unused
fun
c
t
i
o
n
merge_sta
t
e_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpen
t
er
fix: if (
*
foo) { (*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmalloc() and
f
riends don't
a
lways
r
eturn a
n
o
n
-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpe
n
ter
The ch
e
c
k
s fr
o
m
here
g
o
t merged i
n
to che
c
k_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Mov
e
the
stuff from che
c
k
_
d
erefed_params
.
c
i
n
t
o
ch
e
ck_nul
l
_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix
b
ug in o
r
_slist_stack()
.
if (a && b)
wa
s
n't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
D
an Carpenter
Add a
h
o
o
k at the end of a fi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
a
r
penter
Forgot anothe
r
s
t
rip_expr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Handle assignm
e
ents inside conditions b
e
tter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Only print something for a->foo and not
a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
D
an Ca
r
penter
Ignore array decla
r
a
t
ions
.
Thos
e
c
an't
be NULL obvi
o
usly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan C
a
rpenter
Ma
k
e c
u
r_slist
static
.
It's
o
nly us
e
d in smatch
_
states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
W
h
i
te space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
U
se
merge_sl
i
st() instea
d
of trying to handl
e
it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
nter
__proces
s
_continues() is supposed to be
basically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carp
e
n
ter
New
s
match_ignore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpent
e
r
(foo) = 1 is the same
a
s foo =
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generalize st
i
p_casts
(
)
.
It's now called s
t
ri
p
_e
x
pr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpenter
Ig
n
ore casts
.
foo(
(
i
n
t
*)&bar) is
t
he sa
m
e as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Crea
t
ed show_state(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carp
e
n
t
e
r
I
g
no
r
e stuf
f
like foo
.
bar
.
We only ca
r
e ab
o
ut foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rpenter
What hap
p
ens before is that p
a
ramete
r
s would get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
nter
Missed a cra
s
hing bu
g
in
t
h
e int => struct conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpenter
I can't b
e
l
i
e
ve
I was doing stacks wrong
t
his whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n
C
arpenter
Changed smatch state
from being an int
to
b
e
i
ng pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpent
e
r
I want
t
o reuse
t
h
e
name smatch
_
state
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rpenter
Red
o
the n
u
ll path thing
.
S
o
long
as there is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an C
a
rpenter
C
l
e
a
n up
.
Co
m
plicated i
s
j
ust a bool
e
a
n
.
Set it
to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
C
a
rpente
r
Arrays
a
re complicated s
o
they shouldn't be
r
et
u
rned
b
y
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpenter
If we
cal
l
set_state from inside a condition the
n
it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carp
e
nter
If
t
h
e
p
o
i
n
t
e
r is initialized to no
n
-null then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
ignor
e
the
sma
t
c
h bin
a
ry
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carp
e
nter
When we merge 2 sli
s
ts we need to
d
eal with the case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan
C
arpent
e
r
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Car
p
enter
A
dd nullify the pa
t
h when
y
o
u have for(;
;
);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
M
e
rge branch 'ls'
i
nto ult
r
atm
p
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge branch 'unnullify'
i
n
to ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpen
t
e
r
Lots of do while
(
0) loops d
o
n't call break so it
doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carp
e
n
ter
Remove unneeded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpent
e
r
Fix or_slist_st
a
ck()
.
Before i
t
just saved
o
n
e stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
crap crap crap
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
Da
n
Carpen
t
er
Cl
e
a
n
ups and ad
d
some __unnullify_path stuf
f
.
Hopef
u
lly
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpent
e
r
Small cleanup
.
goto_stack should on
l
y be used
in
s
match_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
a
n Ca
r
penter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n
Carpenter
Fix bug
saving the
f
alse_only stack
.
Befor
e
code
like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n Carpenter
This is the
s
t
a
r
t of the smatch_extra s
t
uff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
Carp
e
nter
Fix overwrite_slist() so it takes a poi
n
ter to a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an Carpenter
Make smatch_extra
depend o
n
smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
D
a
n
Carpenter
Move is_zero() to smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
e
n
ter
Fix a big bug
.
get_state_slis
t
() was alw
a
ys gett
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
p
e
nter
Merg
e
.
.
/
.
.
/smat
c
h/
d
e
v
el
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
rpe
n
ter
M
erge b
r
anch '
d
evel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpe
n
ter
Save the pre co
n
di
t
ions inside the conditions so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
arpen
t
er
The m
a
i
n
ch
a
nge h
e
re was to complet
e
ly
re
w
rite
h
o
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Break things o
u
t in
t
o functions a bit
.
Clean
u
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Ca
r
p
e
nter
Han
d
l
e
whi
l
e an
d
f
or loops s
l
ightly b
e
tter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Da
n
Car
p
enter
I removed
n
ullify_path()
earlier but
that was a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
enter
I don
'
t think the
special_ke
r
nel_macros() functio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
e
n
ter
Add a fun
c
tion to do a strcmp
(
)
with a symbol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
Remove ever
y
thing to do with
path_
i
d's
.
I cou
l
d
n
'
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Re
p
lace t
h
e v
a
riable __nega
t
e w
i
th the
f
unction __negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an
C
arpenter
Small clean up
.
M
o
v
e th
e
passing the whole condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
n
t
e
r
Cra
p
.
I meant
t
o merge t
h
is earlie
r
when I
d
ivided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
A
d
d
a co
m
m
e
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next