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 'or'ing states.
2009-02-05
Dan Carpenter
Fix segfault when handling imp
l
ic
i
tly decl
a
re
d
functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carp
e
nter
Warn
w
hen
w
e do
n
't acquire
l
ocks when calling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
rpenter
Try
(
and fail)
t
o
find memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost print a mess
a
g
e
w
hen you c
o
me to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n
C
arpe
n
ter
Add check to
l
ook for double fre
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
enter
A
dd checkin
g
for
lock_kernel()/unlock_ke
r
nel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Ca
r
penter
Make check_locking
check both spinlocks and semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carpenter
Add a new function slist_h
a
s_
s
tate
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
ter
If
t
he
r
e
i
s
an i
+
+ then the
v
alue of 'i'
is
undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
Add a new che
c
k_locking
script that ch
e
cks sp
i
nlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carp
e
nter
Save the p
o
ssi
b
l
e
state
s
instea
d
of j
u
s
t merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan C
a
r
pen
t
er
Ignore emacs g
a
r
bage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
arpenter
Merge branch 'm
a
ster' i
n
to pools5
commit
|
commitdiff
|
tree
2009-01-20
D
a
n Carp
e
nt
e
r
Fix like
l
y() and
u
n
l
ike
l
y() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Add single quotes around the variabl
e
f
or consi
s
tency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
D
an Carpenter
We cou
l
d
save some memory by not allo
c
at
i
ng new memor
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a
c
o
mment showing w
h
e
re the tests are suppose
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
pent
e
r
Thi
s
is left ov
e
r
f
rom October
as part of
t
h
e
imp
l
ied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
a
r
penter
Add get_possible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
C
a
rpenter
Stuff le
f
t
over f
r
o
m
October
.
Implied pools
w
ork
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We coul
d
sav
e
s
o
m
e m
e
m
o
ry b
y
no
t
allocat
i
ng ne
w
m
emory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Car
p
enter
Fix memory leak
.
Add more
co
m
ment
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
A
d
d a merge hook
.
Handle
t
he situations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
s
t
r
c
mp() doesn't accept NULL arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nt
e
r
r
e
nam
e
two
f
u
n
ctions
:
get_v
a
riable_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
r
pent
e
r
g
et_variab
l
e_
f
rom_ex
p
r() uses a static bu
f
fer and
y
ou
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
C
r
eate a
c
heck_template
.
c example script tha
t
loo
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
e
nter
Make get_al
l
_stat
e
s() not se
g
fault every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
pe
n
t
e
r
Fix get
_
v
a
l
u
e() to r
e
turn negative valu
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
We only
ever pa
s
s one paramete
r
into get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
Fix get
_
all_s
t
ates() to match the function d
e
finition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an C
a
r
p
enter
Rem
o
ve add_stat
e
() and state_
d
e
f
i
n
e
d
(
)
d
efi
n
i
t
i
o
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
Fix leak
.
My prob
l
em is
t
h
at I don't und
e
rstan
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
I
n
it
i
al commit of the "i
m
plied state pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
enter
Doh
.
We haven
'
t been usin
g
smatch_
e
x
tra for a
w
hile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
enter
Get r
i
d
of path_history
.
It's
n
ever going to be us
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
er
Make g
o
to_stack s
t
atic
.
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpenter
Speed up m
e
rge_slist n
o
w that the slists
ar
e
ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Insert stuff onto lists
i
n a sor
t
e
d order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan C
a
rpent
e
r
De
l
e
t
e an
u
nused
function merge_
s
tat
e
_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix:
i
f (*foo) { (*foo
)
->bar;
}
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n
Ca
r
penter
kmalloc() and frie
n
ds don't a
l
w
ays
r
eturn a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan
Carpenter
The checks
f
r
o
m here got merge
d
i
n
t
o
chec
k
_nul
l
_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n
C
arpen
t
er
Mo
v
e the
stuff from check_derefed_pa
r
ams
.
c into chec
k
_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
an Carpen
t
er
Fix bug
in or_sli
s
t_s
t
ack()
.
i
f
(
a &
&
b) wa
s
n't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpe
n
t
e
r
A
dd a hook at
t
he end of a f
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpe
n
ter
Forgot another strip_
e
xpr() call
.
.
.
:
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
an Ca
r
penter
Handle
a
ssi
g
nmeents i
n
side conditions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
ar
p
enter
Only print
somet
h
in
g
for a
-
>
f
oo and
not
a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
D
a
n Carpenter
Ignore ar
r
a
y
d
ec
l
arations
.
Those can't be NU
L
L
o
bviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carp
e
nter
Mak
e
cur_slist static
.
It's only
u
sed in smatch
_
state
s
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
r
penter
White space
changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use m
e
rge_sli
s
t()
i
nstead of tr
y
ing to handle it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpenter
_
_proc
e
ss_continues() is su
p
posed
to be
basi
c
ally the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New smatch
_
ignor
e
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(foo)
=
1 is the
s
a
m
e
as foo =
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carp
e
nter
Gen
e
r
alize st
i
p_casts()
.
I
t'
s
now called st
r
i
p_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
penter
Ignore casts
.
fo
o
((int
*)&bar) is th
e
same as fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
an Carp
e
nter
Created sh
o
w_st
a
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
an Carpent
e
r
Ignore stuff like foo
.
bar
.
We on
l
y care about fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
W
hat
happ
e
ns
before is that param
e
ters would get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Missed
a crashing bug in th
e
int => s
t
ruct c
o
nversi
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpenter
I
can
'
t believe I was do
i
ng s
t
acks w
r
ong
thi
s
who
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Changed
s
matc
h
state from bei
n
g an
i
nt to
being poin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpenter
I wa
n
t
to
reuse the name smat
c
h
_
state
.
The cu
r
r
ent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an C
a
rpenter
Redo th
e
null p
a
th thing
.
So long as there is o
n
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpen
t
er
C
lea
n
u
p
.
Compl
i
cate
d
is just
a
boolean
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Arra
y
s are com
p
licated so the
y
shouldn't be
r
eturned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
If we c
a
ll se
t
_state f
r
om in
s
ide a condit
i
on t
h
en it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpenter
If the pointer is init
i
a
l
ized
to non-n
u
ll then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
D
a
n Carpenter
ignor
e
t
he smatch binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
When
we merge 2 sli
s
t
s
w
e
need to deal with the case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Ca
r
p
e
nter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
rpenter
Add nullif
y
t
he
p
ath
w
h
en
y
o
u have
f
o
r(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Carpenter
Mer
g
e bra
n
ch 'ls' into ultr
a
tmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Car
p
enter
M
e
rge branch 'unnullify' into ls
commit
|
commitdiff
|
tree
2008-09-13
D
an Carpe
n
ter
Lots of do while(0) loops don't c
a
ll
break
s
o
it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Re
m
ove unneeded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan
C
arpent
e
r
F
i
x or_slist_stack(
)
.
Before
it just saved one stac
k
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpen
t
er
crap crap
c
r
ap
.
do
n
ot use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpente
r
Cl
e
an
ups a
n
d add some __u
n
nullify
_
path stuff
.
Hopeful
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
Carpente
r
Small cl
e
anup
.
g
oto_stack should onl
y
b
e
use
d
in s
m
atch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
a
n Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
F
i
x bug
saving t
h
e false_
o
nly s
t
ack
.
Before co
d
e
like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Ca
r
penter
Th
i
s is the
start of t
h
e smatch_extra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n Carpenter
F
ix ove
r
write_sli
s
t(
)
s
o
it takes a
p
ointe
r
t
o
a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an Carpenter
M
a
k
e
smatch_
e
xtra depend
o
n
s
matc
h
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carpenter
Move
i
s_zero() to smatc
h
_he
l
per
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpen
t
er
Fix
a big
bug
.
get_st
a
te_slist
(
)
w
a
s
a
lwa
y
s g
e
tting
.
.
.
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
an Carpen
t
er
M
e
r
ge branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
rpenter
Sa
v
e the pre conditi
o
ns inside the conditions so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
T
h
e main change here was to c
o
m
p
let
e
ly rewrite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
D
a
n
Carp
e
nter
B
r
eak things out into f
u
nctions a bit
.
Cl
e
an ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
D
an Car
p
ent
e
r
Handle while
and
f
or
l
oops sli
g
htly better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
D
a
n Carp
e
n
t
e
r
I removed nulli
f
y_path() earlier but that was a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
t
e
r
I don't think the spec
i
al_kernel_ma
c
ros()
functio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Add a fu
n
c
tion to do a s
t
rcmp
(
) with a
s
y
m
bol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
R
e
move everything to
d
o with
p
a
th_
i
d's
.
I
couldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Repla
c
e the
variab
l
e __negate w
i
t
h
the funct
i
o
n
__negate
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next