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 Carpenter
Almost print a message
when you c
o
me to unreac
h
a
bl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n
Carp
e
n
t
e
r
Ad
d
check to
l
oo
k
for do
u
ble
fre
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
an Car
p
ente
r
A
d
d chec
k
i
n
g fo
r
l
ock
_
ker
n
el()/unloc
k
_kernel
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
Make c
h
eck_locking chec
k
b
oth spi
n
locks
a
nd semap
h
o
r
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpente
r
Add a
n
ew
fun
c
t
ion slist_has
_
sta
t
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpe
n
ter
If t
h
er
e
i
s an i+
+
the
n
the value of 'i' is
undefin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rp
e
nter
A
dd a new check_locking scr
i
pt
that checks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpente
r
Save the poss
i
ble states instead o
f
just merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan
Carpen
t
er
Ignore emacs
g
a
r
bage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merg
e
branch '
m
aster' into poo
l
s5
commit
|
commitdiff
|
tree
2009-01-20
Dan Ca
r
penter
F
ix likely
(
) an
d
unlikely(
)
handli
n
g
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Da
n
Carpenter
Add single quotes
a
r
ound the variabl
e
for consi
s
tency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Da
n
Carp
e
n
t
er
We could save some mem
o
ry by not allocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Ad
d
a comme
n
t sho
w
ing
w
he
r
e t
h
e tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
a
rpe
n
ter
This is left
o
v
e
r from October as pa
r
t of th
e
implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nte
r
Add ge
t
_p
o
ss
i
ble_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff le
f
t over from
O
ctob
e
r
.
Impl
i
ed pool
s
w
or
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could save so
m
e memory by not
a
llocatin
g
new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpe
n
t
e
r
Fix memory
le
a
k
.
Add mor
e
comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
A
d
d
a
mer
g
e ho
o
k
.
Handle
t
he sit
u
ation
s
lik
e
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp() doesn't accept NULL a
r
guments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
e
r
rename two fu
n
ctions:
get_variable_from
_
e
x
pr_simpl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get
_
variable_
f
rom_
e
x
pr() u
s
es a stati
c
buffe
r
a
nd y
o
u
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
n
t
er
Create
a
check
_
templat
e
.
c exa
m
ple
sc
r
ipt that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpente
r
Make get_
a
l
l_stat
e
s
(
) not
s
egfault every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
Fix g
e
t_value() to return neg
a
tiv
e
v
alu
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only ever
pa
s
s one
p
aram
e
ter in
t
o get_v
a
lu
e
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpe
n
ter
Fix get_all_state
s
()
t
o m
a
tch the fun
c
tion
definit
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nter
R
emove
a
dd_state
(
) and state_defined(
)
d
e
f
initions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
a
rpenter
Clean up
.
Fix leak
.
My
p
robl
e
m
is th
a
t I
don't understa
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initial comm
i
t of the "impl
i
ed
s
t
a
te pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We haven't been
u
sing sm
a
tch_extr
a
for a whil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
G
et rid of path_his
t
o
r
y
.
I
t's never goin
g
to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpente
r
Make goto_stack st
a
t
i
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed up merge_
s
l
ist now t
h
at th
e
sl
i
sts are
o
rdered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan C
a
rpenter
Insert stuff on
t
o lists in a sorte
d
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_s
t
ate_stack(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan
C
arpente
r
fix: if (*foo)
{ (*
f
oo)->bar;
}
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmalloc() and friends don't alwa
y
s
r
eturn a non
-
n
ull
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
D
an
C
arpen
t
e
r
The checks fr
o
m here got merged
in
t
o
c
heck_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Ca
r
p
enter
Mov
e
the s
t
uff from c
h
eck_derefed_params
.
c i
n
to check_nu
l
l_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
a
r
penter
Fix bug in or_
s
l
ist
_
sta
c
k
(
)
.
if
(
a
&& b)
wasn't
b
eing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Da
n
C
ar
p
enter
Add a hook at the
end
of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n
Carpenter
Forgot
a
nother strip_e
x
pr() cal
l
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpenter
Handle
a
ssignmeents i
n
side con
d
iti
o
ns b
e
tter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arp
e
nter
Only print something for a->foo
a
nd not a
.
f
o
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
D
a
n Carpent
e
r
Ignore arra
y
declarations
.
Those can
'
t be NULL ob
v
iously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carp
e
nter
Make cur_slist static
.
I
t
'
s only us
e
d in smat
c
h_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpe
n
te
r
Whit
e
space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpen
t
e
r
Use me
r
g
e
_slist
(
) inst
e
ad of trying to handle it yoursel
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
enter
_
_pro
c
ess_cont
i
nue
s
() is
s
up
p
osed to
b
e basicall
y
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
N
ew smatc
h
_i
g
nore
.
c
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(fo
o
) = 1 is the
same as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
G
e
nera
l
i
z
e
stip_casts()
.
It's now
c
alled strip
_
e
x
pr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
I
g
n
o
r
e casts
.
foo((int *)&bar) is the
same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpen
t
er
Created show_s
t
ate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpe
n
t
e
r
Ignore s
t
uff lik
e
foo
.
bar
.
We
o
nly care
a
bout foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
en
t
e
r
Wha
t
happens before i
s
that para
m
eters
would get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpent
e
r
M
issed a crashin
g
bug
i
n the int => struct
c
onversio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Car
p
enter
I ca
n
't believe
I wa
s
doing stacks wrong this whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
nter
Change
d
smatch state from be
i
ng
an int to
b
eing pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpe
n
ter
I want to reu
s
e the name smatch_state
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
r
penter
Redo the null
path thing
.
S
o lo
n
g
a
s
there is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clean up
.
Compl
i
cated is just a boolea
n
.
Set it
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
Ar
r
ays are complicate
d
so they shouldn't b
e
returned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpen
t
er
If
w
e call set_state from inside a
co
n
dition then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Ca
r
p
ente
r
I
f the poi
n
ter is initializ
e
d to non-null then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
D
an Carpenter
ig
n
ore t
h
e
s
m
atch binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
D
an Ca
r
pen
t
er
When we merge
2
s
l
ists we need
t
o deal
w
it
h
t
h
e
case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Car
p
enter
C
l
e
a
n ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
C
arpent
e
r
Add
n
ulli
f
y the path whe
n
you have
for(;;
)
;
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge
branch 'ls
'
i
nto ult
r
atmp
commit
|
commitdiff
|
tree
2008-09-13
D
a
n Carpenter
Merge branch
'
u
nnullify
'
into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan
C
arpenter
Lo
t
s of do while(0) loops do
n
't call brea
k
so
it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
a
n Carpenter
Remove unne
e
d
ed check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpe
n
ter
Fix or_slist_stack()
.
Before it just saved one
s
tac
k
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
a
n Carpent
e
r
crap crap 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 Carpenter
Small cleanup
.
go
t
o_stack sho
u
ld only be used in smatc
h
_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpen
t
e
r
F
i
x
bu
g
saving the false_only stack
.
Before c
o
de lik
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
Carpenter
This is the start of th
e
smatch_extra st
u
ff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix over
w
rite_slist() so i
t
takes
a
p
o
i
nter t
o
a poin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
Carpe
n
ter
Make s
m
atch_extra depend on smat
c
h
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan
C
arpenter
M
o
ve
is_
z
ero() to smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
rpenter
Fix a big
b
ug
.
get_sta
t
e_slist() was
a
lways ge
t
t
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Me
r
g
e
.
.
/
.
.
/smatch/d
e
vel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carp
e
nter
Mer
g
e b
r
a
nch 'de
v
el'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Save th
e
pre conditio
n
s inside the conditi
o
ns so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
enter
The
main chang
e
here was to completely rewrite h
o
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
B
r
eak
t
hing
s
o
u
t into f
u
nctions a
b
i
t
.
Clea
n
ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
H
a
nd
l
e
w
h
il
e
and for loops sl
i
ghtly better
.
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 mi
s
take
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
I don't
t
hink the speci
a
l_kernel_
m
acros() function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an C
a
r
p
e
n
ter
Add a fu
n
ct
i
on to do a strcmp
(
) with a symbol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpent
e
r
Remove everythi
n
g to
do
wi
t
h path_id's
.
I
c
ouldn
'
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Replace the v
a
ri
a
ble
__n
e
gate with the function __negate(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Small clean up
.
Mo
v
e the passing th
e
wh
o
le condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Crap
.
I m
e
ant
t
o merge
t
his
e
arlier when
I
divi
d
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
enter
Add a comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next