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
"while ((1)) {" is a forever loop. Call strip_expr().
2009-02-18
Dan Ca
r
penter
"while ((1)) {" i
s
a forever l
o
op
.
Call strip
_
expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Ca
r
pente
r
fixes to the -> possible setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Merg
e
br
a
nch 'maste
r
'
i
nt
o
nul
l
_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add valida
t
ion script for check_
n
ull_
d
e
r
ef
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan
C
arpenter
Clean up
.
new->
p
ossible is always nu
l
l here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpenter
Oo
p
s
.
->poss
i
bles wasn
'
t g
e
tting set corr
e
ctl
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
Carpe
n
t
e
r
Use strip
_
exp
r
() in spl
i
t_co
n
di
t
ions() instead reproduc
i
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpe
n
ter
A
d
d some
m
o
re operat
i
ons
t
o get_
v
alue()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
er
Return &mer
g
ed instead
o
f
&undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
mak
e
get_value
(
) return a va
l
ue fo
r
bitwise or
e
xpressions
.
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpenter
T
r
y aga
i
n removing states
from pool
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
R
e
vert "Rem
o
ve a state from it's ->pools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
E
l
iminate
a
warning
.
Probably the wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
C
lean ups
.
C
o
mments
.
Rena
m
e
s
l
ist_s
t
ack
to na
m
ed_
s
tac
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha
h
a
.
I sti
l
l suck a
t
pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
nter
Cleanups
.
Com
m
en
t
s
.
Remove debugging code from filter(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Clean up
.
Also pr
e
serve t
h
e ->pool
s
in one p
a
th of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Ca
r
penter
Clean up get_state_s
l
ist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
e
nter
Remove
__ove
r
writ
e
_cur_slis
t
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
e
nter
The
r
e was d
e
b
u
gging output
that
acc
i
dentally got
c
ommit
t
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Rem
o
ve a state from it's ->pools whe
n
set_s
t
ate() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
D
on't
delete the ->poo
l
s on mergi
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an C
a
rpenter
Tr
y
und
e
r
s
t
a
n
d
the
i
mplications f
r
om compo
u
nd conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
C
reate a stat
e
&
m
erged
.
W
h
en we
merge s
t
uff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
O
k
.
This
time smat
c
h_implied _re
a
lly_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
I
g
nore c
s
c
ope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Sma
l
l
c
l
e
a
n
u
ps
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whitespace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some more lock
i
ng functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carp
e
nte
r
F
i
x
implied pools so that at
least it
d
oes som
e
thing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpe
n
ter
It seemed like tracker_
l
i
s
t would
b
e
useful
i
n a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add a README desc
r
ibing smat
c
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Add script to find NULL d
e
references betwe
e
n funct
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix usage mes
s
age
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check f
o
r malloc()
as well
as k
m
a
l
loc
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
Fix segfault
w
hen handling implicitly decla
r
ed fu
n
ctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
an Ca
r
pe
n
ter
W
a
rn when we don't acquire lock
s
when callin
g
certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
pe
n
ter
Tr
y
(and fail) to find memo
r
y leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpen
t
e
r
Al
m
ost p
r
in
t
a me
s
sage when you come
t
o
unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpe
n
ter
Add check to l
o
ok for double f
r
e
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
d
d
checking for l
o
ck_kernel()/unlock
_
kern
e
l()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Car
p
enter
Make check_locking check both sp
i
n
locks an
d
s
e
m
a
phores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Ad
d
a
n
e
w
function slist_has_state(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
I
f
there is an i++
t
hen
t
he value of 'i' is undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
ter
Add
a ne
w
chec
k
_loc
k
in
g
script that c
h
ecks
s
pinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Ca
r
penter
Save the possible states
i
nstead o
f
just merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpe
n
t
er
I
g
n
o
r
e
emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Ca
r
p
e
nter
Merge
branch 'master'
i
nto pools
5
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpent
e
r
Add a comm
e
nt s
h
owing where
the
t
est
s
a
re s
u
ppose
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpenter
This is left ov
e
r from
O
ctober as
pa
r
t
of
t
he impl
i
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
en
t
e
r
Add get_possible_sta
t
es()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpent
e
r
Stuff
left over f
r
om Oc
t
ober
.
I
mplied p
o
ols work
.
commit
|
commitdiff
|
tree
2008-10-19
D
a
n Ca
r
penter
We could save some memory by not allocating
n
e
w
mem
o
ry
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory leak
.
Add more
c
ommen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
Add
a mer
g
e
hook
.
Handle th
e
s
i
tuations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
s
t
rcmp()
d
o
esn't acc
e
pt N
U
L
L
ar
g
um
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
re
n
a
m
e two functions:
get_var
i
a
ble_from_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
ge
t
_variable_from_expr() use
s
a
s
tati
c
buffe
r
and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a
check_templ
a
te
.
c
example
s
c
ript
t
hat looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
e
nter
Make get
_
all_stat
e
s() not segfault ev
e
ry
t
ime
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_val
u
e
() to return negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
W
e
o
nly ever pass one paramet
e
r into get_value(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
Fix get_all_states() to m
a
tch t
h
e fu
n
ction d
e
finition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
R
e
m
ove add_state() and
s
tat
e
_define
d
() definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpente
r
C
lean up
.
Fix
leak
.
M
y
problem is that
I
don't unders
t
and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Car
p
enter
Initial commit of the "implied s
t
a
te pool
s
" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
D
o
h
.
We haven't been
u
s
ing sm
a
tch_extra f
o
r a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpenter
Get rid
of path_history
.
It's ne
v
e
r go
i
ng
t
o be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make goto
_
stack static
.
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpenter
Speed
u
p
merge
_
slist now that
t
h
e slists ar
e
ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
p
e
nter
Insert stuff o
n
to
l
ists
i
n a s
o
rted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
an C
a
rpenter
Dele
t
e an un
u
sed functi
o
n merg
e
_state_stack
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
D
an Carpenter
fix: if (*foo)
{ (*
f
oo)-
>
b
a
r;
}
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmalloc() a
n
d friends don
'
t
always ret
u
rn
a
non
-
null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
D
a
n Carp
e
nter
The checks
f
rom
h
ere
got merged
into che
c
k_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpenter
Move the stuff from
chec
k
_de
r
efed_params
.
c into chec
k
_nu
l
l_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arpenter
Fix b
u
g in or_slist_st
a
ck(
)
.
i
f (a
&& b) wasn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carp
e
n
ter
Add a hook at
t
he end of
a
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpe
n
ter
Forgot
ano
t
her s
t
r
i
p
_exp
r
() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Handle
a
ssi
g
nm
e
ents inside cond
i
ti
o
ns
bet
t
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
C
arpen
t
er
Onl
y
print some
t
hing for a->foo and
no
t
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
ations
.
Those c
a
n't be
N
ULL o
b
viou
s
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpent
e
r
Make
cur
_
slist
s
tatic
.
It's only used in smat
c
h_
s
tates
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpenter
Whit
e
s
pac
e
changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use m
e
rge_
s
list() instead of tr
y
ing to han
d
le it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
_
_proce
s
s
_
con
t
inues() is supposed to
b
e
basicall
y
th
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpenter
N
ew smatch_ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n
C
a
rpen
t
e
r
(foo) = 1 is the same as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generalize stip_casts(
)
.
It's now ca
l
led str
i
p_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
an Carpenter
Ignore
c
asts
.
f
oo((int *)&bar) i
s
the sam
e
as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
C
r
eated show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n C
a
rpenter
I
gnore stuff like foo
.
bar
.
We on
l
y c
a
r
e
about foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpent
e
r
What happe
n
s before
is that parameters would get ass
i
g
n
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpenter
Mi
s
sed a crashing bug in
t
h
e
int => struct
c
o
nversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan C
a
rpente
r
I
can't believe I was doi
n
g stacks wro
n
g this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
C
han
g
ed smatch
sta
t
e
fro
m
be
i
ng an int to
b
eing po
i
nter
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
en
t
er
I want to reuse th
e
name smatch_state
.
T
h
e current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carp
e
nte
r
Redo the n
u
l
l
pat
h
t
h
ing
.
So l
o
n
g
as there i
s
one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
ar
p
ent
e
r
Clean up
.
Complicated is
j
u
st a b
o
olean
.
Set i
t
to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carpente
r
M
er
g
e branch 'devel'
commit
|
commitdiff
|
tree
next