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
Add some more operations to get_value().
2009-02-14
Dan Carp
e
nter
Add some more
o
perations to get_val
u
e()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
R
e
turn &merged inste
a
d of &und
e
fined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpen
t
er
make get_value() retur
n
a value for bi
t
wise or exp
r
es
s
io
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpenter
Try again
r
e
moving states fro
m
po
o
ls
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
R
evert "Re
m
ove a st
a
te f
r
om it's ->pools whe
n
set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Eli
m
inat
e
a warnin
g
.
Proba
b
ly
the wrong w
a
y t
o
do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clea
n
ups
.
Com
m
ents
.
Rename sli
s
t
_stack
t
o
n
amed_stac
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
r
pe
n
ter
Ha
h
a
.
I stil
l
suck at poi
n
ters
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carp
e
nt
e
r
Cleanups
.
C
omme
n
ts
.
Remove debugging
c
o
d
e
f
rom fi
l
t
er()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean
u
p
.
Als
o
preser
v
e the
->pools in one p
a
th
of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
p
e
n
ter
Clean up get_state_slist
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n C
a
rpenter
R
e
move __overwrite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There was d
e
bugging output that accidentall
y
got committe
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Re
m
ove
a
s
t
ate fr
o
m
i
t's ->pools when set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don'
t
delete the ->po
o
ls on mergin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Try understand
the imp
l
ications f
r
om compound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpen
t
e
r
Create a s
t
ate
&merged
.
When we merg
e
stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
Th
i
s time smatch_imp
l
ied _really_ does som
e
thing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
I
g
no
r
e cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Small clea
n
ups
.
(White spac
e
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Car
p
enter
Whitespace cha
n
g
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
arpenter
Add some mor
e
locking functio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpente
r
Fix implied p
o
ols s
o
that at least
i
t do
e
s something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpen
t
e
r
It seemed like tracker_
l
ist would be useful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
A
d
d a
R
EADME des
c
ribing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add script to find N
U
L
L
derefer
e
nces bet
w
een functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpe
n
t
er
Fix u
s
age m
e
s
sage
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an
C
a
r
penter
Che
c
k for malloc() as
w
ell as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fi
x
segfault when handling implicitly de
c
l
ared functi
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Ca
r
penter
Warn wh
e
n we don't acquire locks when calling c
e
r
t
ain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Car
p
e
nter
Try (and fail)
to f
i
nd memo
r
y l
e
aks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost print a message wh
e
n you c
o
me to
unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpe
n
ter
Add check to look
f
o
r dou
b
le frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
an
Carpenter
Add c
h
ecki
n
g for lock_kern
e
l()/
u
nloc
k
_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpe
n
ter
Make che
c
k_locking check bot
h
s
p
inloc
k
s and semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpe
n
ter
A
d
d
a new functi
o
n
slist_has
_
state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
C
a
rpenter
If there is an i+
+
th
e
n the val
u
e
o
f 'i' is undefi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nte
r
Add a ne
w
chec
k
_locking
s
crip
t
that che
c
k
s
spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
Sa
v
e the po
s
s
ible state
s
instead of just
m
e
rging
t
hem
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan
Carpenter
I
g
nore emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge branc
h
'master' into pools5
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a comment showing where
t
h
e
t
e
sts are su
p
pose
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is left over from
O
c
to
b
er as part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
Add get_
p
os
s
ible_
s
tates()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff
le
f
t
over from October
.
Implied pool
s
work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpente
r
We could save s
o
me memory by not allo
c
ati
n
g ne
w
memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
D
an
C
arpenter
Fix memory leak
.
Add
m
ore comme
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
pe
n
ter
A
dd a merge hook
.
Handle the sit
u
ati
o
ns like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp() doe
s
n't acce
p
t
NU
L
L arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
r
penter
rename two fu
n
ct
i
ons:
get_variab
l
e_fro
m
_expr
_
s
imple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
ent
e
r
ge
t
_variable_from_expr() uses
a
static buffer
a
nd
you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpent
e
r
Create a ch
e
ck_template
.
c examp
l
e script th
a
t look
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
M
ak
e
get_a
l
l_states()
not segfault
e
v
ery tim
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Ca
r
pent
e
r
F
ix get_value() to r
e
turn neg
a
ti
v
e va
l
ues
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We on
l
y ever pass one
parameter
i
nto get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
Fix
g
et_all_states() to matc
h
the function defi
n
ition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove add_state() and sta
t
e_def
i
ned() definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpenter
Clean up
.
Fi
x
leak
.
My prob
l
em is that I don
'
t understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
pent
e
r
I
n
itial
c
ommit o
f
the "impli
e
d state pools" stu
f
f
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpente
r
Doh
.
We hav
e
n't been
usin
g
smatch_extra
f
o
r a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
enter
Get rid of path_history
.
It'
s
never goin
g
to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
enter
M
ake got
o
_sta
c
k
static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Spe
e
d up merge_s
l
ist now th
a
t the s
l
ists are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpente
r
Insert st
u
ff ont
o
lists
i
n a sorted
or
d
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpent
e
r
D
e
lete an unused
f
unction merge_state_s
t
ack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Da
n
Carpenter
f
i
x:
if
(
*foo) { (*foo
)
->bar;
}
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpe
n
t
e
r
kmalloc() and
frie
n
ds don'
t
always r
e
turn a n
o
n
-
null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan
Carpen
t
er
The checks from here g
o
t merged into check_
n
ull_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
M
o
ve the
s
tuff from check_derefe
d
_par
a
ms
.
c in
t
o check_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n Car
p
e
n
ter
Fix bug in or_
s
list
_
s
t
a
ck()
.
if (
a
&& b
)
w
a
sn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
A
dd a hook at
t
h
e
e
nd of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forg
o
t
an
o
ther strip_expr() c
a
ll
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpenter
Handl
e
assignmeents i
n
si
d
e c
o
nditions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpenter
Only
print s
o
mething fo
r
a->
f
oo and
not
a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Ca
r
p
e
n
ter
Igno
r
e
array dec
l
a
ra
t
ion
s
.
T
hose
can't be
N
U
L
L obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make cur_slist sta
t
ic
.
It's only used in
s
match_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
White spac
e
changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
C
a
rp
e
nter
U
s
e me
r
g
e
_slist()
i
nstea
d
o
f trying to
handl
e
it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
enter
__proce
s
s_
c
ont
i
n
ues
(
)
is su
p
p
o
s
ed
t
o
be basically t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New s
m
atch_ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(foo) = 1 i
s
the same
a
s
foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
General
i
ze stip_c
a
s
t
s()
.
It's now called strip_exp
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
enter
I
g
nore cast
s
.
foo(
(
int
*
)&bar) is the same as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpent
e
r
Created show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpe
n
te
r
Ignore stu
f
f
like f
o
o
.
bar
.
We
only
care about foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What h
a
ppen
s
before is that parameters would get assig
n
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Misse
d
a crash
i
n
g bug in the int => s
t
r
u
c
t
c
onversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpent
e
r
I can't
b
elieve
I
was
d
oing sta
c
ks wrong thi
s
whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
C
h
anged
smatch s
t
ate fro
m
bei
n
g an int to bei
n
g pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
enter
I want to reuse t
h
e name
s
match_state
.
The curre
n
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
C
a
rp
e
nter
R
e
do the
n
ul
l
path
t
hing
.
So long as there is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
C
l
ean up
.
Complicate
d
is just a boo
l
ean
.
Set it
t
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carpenter
Me
r
ge
b
r
anch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
rpenter
S
a
v
e the
pre conditions in
s
id
e
the condi
t
ions so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
n
t
er
The main c
h
ange here was to
c
ompletel
y
rewrite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Da
n
Carpenter
B
r
eak thing
s
out into fun
c
tions a bit
.
Clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpen
t
er
Handle while
a
nd for loop
s
slightly bet
t
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan
C
ar
p
enter
I
removed
nullify_pa
t
h() e
a
rl
i
e
r
bu
t
that was a mis
t
a
k
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I don't think the
special_ke
r
nel_macros()
f
un
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an
Carpenter
Add a
f
unction to
do
a st
r
cm
p
() with
a
symbol
name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next